「Stage for Alloy」の編集履歴（バックアップ）一覧に戻る

Stage for Alloy - (2010/06/13 (日) 02:23:59) のソース

*Stage for Alloy
#image(screen.png,width=500)

** 概要
Stage for Alloy は、状態遷移図を書いて、検査することができるソフトウェアです。
(StageはState TrAnsition Graph Editorの略)

状態遷移図は、ソフトウェア内部ではAlloy言語で表現されています。
ユーザは図面＋Alloy言語で状態遷移図を書きます。
大まかな状態遷移は図面上で書いて、状態変数の定義や遷移の事後条件などの細かい部分はAlloy言語で書きます。
書いた状態遷移図は、Alloyの機能を使って検査することができます。

*** 利用イメージ
#image(help-1.png,width=500)

** ダウンロード
[[Mac版>http://www23.atwiki.jp/alloy/pub/Stage%20for%20Alloy%20for%20Mac.zip]]
[[その他OS版>http://www23.atwiki.jp/alloy/pub/Stage%20for%20Alloy.zip]]

*** ご注意
このソフトウェアによって何が起きても責任は負いません。
Javaが動作する環境が必要です。

** 制限事項
Instanceを探すときのsigの数は、現在3固定です。変更できません。










----