昨日は形式仕様記述のお話を聞けて、
今日は Amazonから Catalysis本と OCL本が届いたので、
記念age

Alloy : MIT方面で開発されたものでしょうか？
　　　　もしかすると、ソフトウェア工学のゼミでは、
　　　　普通に扱う題目なんでしょうか？>>非FSMのモデルチェッキング
　　　　(漏れは専門外)

SQL:　　形式仕様記述に近いものだ、とお聞きしますが、
　　　　それはどのような意味でしょうか？(制約論理関連？)
　　　　＃EJB2.0でも、問合せ言語EQLとしてOCLを使うそうですが...