Как перевести правила Event-Condition-Action в Alloy

Как мы можем перевести правила Event-Condition-Action в Alloy (http://alloy.mit.edu/alloy/< /а>)


alloy
person Santa    schedule 18.04.2013    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Вы можете просмотреть следующие слайды, чтобы узнать больше об идиоме событий в Alloy.

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

person Aleksandar Milicevic    schedule 18.04.2013