 | フェイオナFiona - 特定のOWFNの相互作用を自動的に分析するためのツール |
| 今すぐダウンロード | |
フェイオナ ランキングとまとめ
広告
- ライセンス:
- GPL
- 価格:
- FREE
- 出版社名:
- Peter Massuthe and Daniela Weinberg
- 出版社のWebサイト:
- http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/
- オペレーティングシステム:
- Mac OS X
- ファイルサイズ:
- 670 KB
フェイオナ タグ
フェイオナ 説明
Fiona - 特定のOWFNの相互作用動作を自動的に分析するためのツール Fionaは、特定のOWFNの相互作用動作を自動的に分析するためのツールです。 2つの手法を提供します。インタラクションググラフを計算することによって、指定されたネットの制御性をチェックし、ネットの操作ガイドラインを計算します。 Fionaは、入力としてOWFNS（ツールBPEL2OWFNの出力）を使用します。 したがって、任意のBPELプロセスを容易に分析することができる。グラフノードの状態を計算するために、FIONAはモデル検査ツールLOLAで実施された効率的なアルゴリズムを使用する。
フェイオナ 関連ソフトウェア
