a validating tool of BPEL programme 1.0

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 4.0/5 - ‎1 ‎投票

本プロジェクトでは、Pi微積分に基づくウェブサービスの組成の公式検証と、BPELとpi-微積分の変換のためのツールを提案する。このツールは、2 種類の正式な検証手法を統合し、自動的に検証できます。

バージョン履歴

  • バージョン webjetCheck1.0_src.zip に転記 2006-12-13
    いくつかの修正と更新
  • バージョン webjetCheck1.0_src.zip に転記 2006-12-13

プログラムの詳細