标签： alloy
我们如何将事件条件操作规则转换为Alloy（http://alloy.mit.edu/alloy/）
答案 0 :(得分：2)
您可以查看以下幻灯片，了解有关Alloy
http://people.csail.mit.edu/dnj/talks/lipari05/lectures/lipari-lecture4.pdf