Alloy: A Lightweight Object Modelling Notation - 言語ゲームhttp://sdg.csail.mit.edu/pubs/2002/alloy-journal.pdf Alloy が難しく見えるのはオブジェクト指向っぽい文法とその意味に隔たりがあるからかも知れません。Alloy のアイデアが書かれてあるこの論文を読んで思いました。この論文のおすすめ読み方。 1. 導入を読む 記号が苦手じゃなければ 3.1, 3.2, 3.3 カーネル言語について読む 4. 5. 6. 他の言語との比較を読む 2. Example と残りを読む。 頭から順に読むとかなり意味不明でした。特に 3 章のはじめのカーネル言語の話が面白いので書きます。 Alloy の設計は二段構えになっています。単純で機能の少ないカーネル言語をオブジェクト指向風の文法で包む形になっています。文法は一見 Java のクラス定義っぽくて親しみやすいですが、細かい所で全然違うのでカーネル言語の性質
