Alloy modeling language

  • 本家

http://alloy.mit.edu/community/

  • Allpy v3 vs v4

http://alloy.mit.edu/alloy4/book.html

  • 国内

Alloy Analyzer で形式仕様記述
http://www23.atwiki.jp/alloy/pages/1.html


連載：モデリング技術の新しい動向 第3回 形式手法とモデリング - AlloyAnalyzerを中心に
http://thinkit.co.jp/story/2010/09/22/1766


Alloy によるモデリング
http://www.kumikomi.net/interface/sample/200912/if12_168.pdf


Alloy の基本概念 – ドラフト –大村伸一2006 年 1 月 29 日
http://homepage3.nifty.com/avidya/alloy/docs/alloychap00.pdf


Formal Methods Forum
http://groups.google.co.jp/group/fm-forum

  • 論文

Comparison of Model Checking Tools for Information Systems, Marc Frappier, Benoît Fraikin, Romain Chossart Raphaël, Chane-Yack-Fa, Mohammed Ouenzar, ICFEM2010 China, Nov 16 2010
http://pages.usherbrooke.ca/gril/TR/TR-GRIL-1006-29.pdf


Comparison of the Modeling Languages Alloy and UML


Alloy: A Lightweight Object Modelling Notation (2001)
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4127

  • 番外

CheatSheet
http://staff.science.uva.nl/~sminica/alloy-cheat-sheet.pdf


アジャイルモデリング?
http://www.ogis-ri.co.jp/otc/swec/process/am-res/am/index.html