Как мы можем перевести правила Event-Condition-Action в Alloy (http://alloy.mit.edu/alloy/< /а>)
Как перевести правила Event-Condition-Action в Alloy
Ответы (1)
Вы можете просмотреть следующие слайды, чтобы узнать больше об идиоме событий в Alloy.
http://people.csail.mit.edu/dnj/talks/lipari05/lectures/lipari-lecture4.pdf
person
Aleksandar Milicevic
schedule
18.04.2013