建模中使用的成语有哪些？
What are the idioms used in modeling?
Software Abstractions 一书的第 195 页说：
Alloy doesn’t have a fixed idiom for models, so you are free to use
whatever idiom works best for the model at hand.
这本书给出了一个很好的例子，说明如何使用 "event idiom" 对酒店运营进行建模，其中涉及入住、结帐和房间进入等事件。
我相信有 "object-oriented idiom," 对吧？建模中还使用了哪些其他成语？
我不认为 "object-oriented" 本身就是一个 Alloy 习语，因为所有 Alloy 模型都有一点面向对象的味道（信号看起来像 类，sigs 可以有字段，你甚至可以将事实附加到 sigs，你可以在其中使用 this 关键字。
除了事件习语，我不知道还有任何其他公认的 Alloy 习语具有可立即识别的名称。
Software Abstractions 一书的第 195 页说：
Alloy doesn’t have a fixed idiom for models, so you are free to use whatever idiom works best for the model at hand.
这本书给出了一个很好的例子，说明如何使用 "event idiom" 对酒店运营进行建模，其中涉及入住、结帐和房间进入等事件。
我相信有 "object-oriented idiom," 对吧？建模中还使用了哪些其他成语？
我不认为 "object-oriented" 本身就是一个 Alloy 习语，因为所有 Alloy 模型都有一点面向对象的味道（信号看起来像 类，sigs 可以有字段，你甚至可以将事实附加到 sigs，你可以在其中使用 this 关键字。
除了事件习语，我不知道还有任何其他公认的 Alloy 习语具有可立即识别的名称。