GNU BPEL2oWFN

2.0.3 22 Apr 2007

Uses static analysis for Petri net models.

0

Developer website: Niels Lohmann

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.

Requirements

Mac OS X 10.3 or later

Ratings

Overall
(0)
Current Version (2.x)
(0)

Details

Downloads
927
Version Downloads
85
Type
Education / Teaching Tools
License
Free
Date
22 Apr 2007
Platform
OS X / PPC 32 / Intel 32
Price
Free