GNU BPEL2oWFN
GNU BPEL2oWFN
2.0.3

0.0

GNU BPEL2oWFN free download for Mac

GNU BPEL2oWFN

2.0.3
22 April 2007

Uses static analysis for Petri net models.

Overview

GNU BPEL2oWFN translates a Web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to:
  • check for controllability or generate the operating guideline using the tool Fiona,
  • check for deadlocks or any other Petri net property, or
  • check any temporal logic formula with a variety of model checking tools.
GNU BPEL2oWFN uses static analysis to make the generated Petri net model as compact as possible to analyze a chosen property. This is called flexible model generation. Furthermore, several design flaws can be detected using control and data flow analysis.

Join over 500,000 subscribers.

Subscribe for our newsletter with best Mac offers from MacUpdate.

0 GNU BPEL2oWFN Reviews

Rate this app: