How to translate Event-Condition-Action rules to Alloy [closed]

问题

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.

Closed 6 years ago.

How can we translate Event-Condition-Action rules to Alloy (http://alloy.mit.edu/alloy/)

回答1:

You can look at the following slides to learn more about the event idiom in Alloy

http://people.csail.mit.edu/dnj/talks/lipari05/lectures/lipari-lecture4.pdf

来源：https://stackoverflow.com/questions/16077822/how-to-translate-event-condition-action-rules-to-alloy