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.

0 GNU BPEL2oWFN Reviews

Rate this app:

Free

0.0

App requirements: 
  • Intel 32
  • PPC 32
  • Mac OS X 10.3.9 or later
Developer Website: 
Download(1 MB)MacUpdateInstall with MacUpdate

Downloaded & Installed 997 times