本プロジェクトでは、Pi微積分に基づくウェブサービスの組成の公式検証と、BPELとpi-微積分の変換のためのツールを提案する。このツールは、2 種類の正式な検証手法を統合し、自動的に検証できます。
バージョン履歴
- バージョン webjetCheck1.0_src.zip に転記 2006-12-13
いくつかの修正と更新 - バージョン webjetCheck1.0_src.zip に転記 2006-12-13
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: webjetchecker.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.0
- プラットフォーム: windows