「Stage for Alloy」の編集履歴（バックアップ）一覧に戻る
Stage for Alloy - (2010/06/13 (日) 02:27:19) の編集履歴(バックアップ)
Stage for Alloy
概要
Stage for Alloy は、状態遷移図を書いて、検査することができるソフトウェアです。
(StageはState TrAnsition Graph Editorの略)
状態遷移図は、ソフトウェア内部ではAlloy言語で表現されています。
ユーザは図面＋Alloy言語で状態遷移図を書きます。
大まかな状態遷移は図面上で書いて、状態変数の定義や遷移の事後条件などの細かい部分はAlloy言語で書きます。
書いた状態遷移図は、Alloyの機能を使って検査することができます。
利用イメージ
使い方
ダウンロード
ご注意
このソフトウェアによって何が起きても責任は負いません。
Javaが動作する環境が必要です。
制限事項
Instanceを探すときのsigの数は、現在3固定です。変更できません。
