| GNU BPEL2OWFN GNU BPEL2OWFNプロジェクトは、WS-BPELで表されたWebサービスをOWFNに変換します。 |
今すぐダウンロード |
GNU BPEL2OWFN ランキングとまとめ
- 出版社のWebサイト:
- http://www.gnu.org/software/bpel2owfn/
GNU BPEL2OWFN タグ
GNU BPEL2OWFN 説明
GNU BPEL2OWFNプロジェクトは、WS-BPELで表現されたWebサービスをOWFNに変換します。 GNU BPEL2OWFNプロジェクトWS-BPEL(Webサービスビジネスプロセス実行言語)で表現されたWebサービスをOWFN(Open Workflow Net)に変換します。 このOWFNは、次のことを行うことができます。・ツールFIONAを使用して、制御性を確認するか、ツールFIONAを使用して操作ガイドラインを生成することも、デッドロックまたはその他のペトリネットプロパティをチェックする、あるいは、さまざまなモデル検査ツールを使用して任意の時間論理式をチェックします。 静的分析により、生成されたペトリネットモデルをできるだけコンパクトにするために、選択されたプロパティを分析する。 これは柔軟なモデル生成と呼ばれます。 さらに、制御およびデータフロー分析を使用して、いくつかの設計欠陥を検出することができる。
GNU BPEL2OWFN 関連ソフトウェア