Какие идиомы используются в моделировании?

Question

На странице 195 книги "Программные абстракции" написано:

Alloy не имеет фиксированной идиомы для моделей, поэтому вы можете использовать любую идиому, которая лучше всего подходит для данной модели.

Книга дает прекрасный пример использования "идиомы событий" для моделирования операций отеля, которые включают такие события, как регистрация, проверка и вход в номер.

Я считаю, что существует "объектно-ориентированная идиома", верно? Какие еще идиомы используются в моделировании?

Answer 1

Я не думаю, что "объектно-ориентированный" - это идиома Alloy сама по себе, потому что все модели Alloy имеют немного этого объектно-ориентированного вида (сигмы выглядят как классы, сигмы могут иметь поля, и вы даже можете добавлять факты к где вы можете использовать this ключевое слово).

Кроме идиомы событий, я не знаю ни одной другой устоявшейся идиомы Alloy с мгновенно узнаваемым именем.