 | BPEL2OWFN.BPEL2OWFNは、BPEL（Webサービスのビジネスプロセス実行言語）で表現されたWebサービスをOWFNに変換します。 |
| 今すぐダウンロード | |
BPEL2OWFN. ランキングとまとめ
広告
- ライセンス:
- Freeware
- 価格:
- FREE
- 出版社名:
- Niels Lohmann
- 出版社のWebサイト:
- http://www.gnu.org/software/bpel2owfn
- オペレーティングシステム:
- Mac OS 10.4 or later
- ファイルサイズ:
- 996 KB
BPEL2OWFN. タグ
BPEL2OWFN. 説明
BPEL2OWFNは、BPEL（Webサービスのビジネスプロセス実行言語）で表現されたWebサービスをOWFNに変換します。 BPEL2OWFNは、BPEL（Webサービスのビジネスプロセス実行言語）で表現されたWebサービスをOWFN（Open Workflow Net）に変換します。 このOWFNは次のことができます。・制御性をチェックすることも、FIONAを使用して動作ガイドラインを生成するか、デッドロックまたはその他のペトリネットプロパティを使用して、または・任意の時間論理式をチェックしてください。さまざまなモデルチェックツールを確認します。 生成されたOWFNをできるだけコンパクトにして、選択されたプロパティを分析します。 この能力は柔軟なモデル生成と呼ばれます。 このリリースの新機能： ・GNU GPLバージョン3を採用しました ・小さな変更とバグ修正
BPEL2OWFN. 関連ソフトウェア
