LTSAまとめサイト †
LTSAとは †
モデリング検査ツール
FSP(Finite State Processes)で書いた式から
状態遷移図をグラフィカルに生成して、イベントが起こるとどのステートに遷移するか手動で動かしてみることができる。
LTSAのモデルからprologのプログラムに変換するスクリプト †
※作者様の許可を頂いて掲載しております。ありがとうございます。
ダウンロード
LTSAのモデルからprologのプログラムに変換するスクリプト使用方法?
LTSAダウンロード先 †
http://www.doc.ic.ac.uk/~jnm/book/
こちらのhereをクリックし
download ltsaをクリックします
LTSA使い方 †
- 日本語による解説
- FSP Quick Reference
簡単な使い方 †
簡単な使い方?
プラグイン †
MSC †
シーケンス図から状態遷移図を作ってくれるLTSAプラグイン。ただしVer3.0では使えない
参考書籍 †
Counter: 437566,
today: 1273,
yesterday: 0