Thank you for your review
0.00 Free
Developer website: 
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
More...

Requirements

Mac OS X 10.3 or later

Similar Software

Suggest other similar software
Create a collection and add  to it.
Like this app? Be the first to add it to a collection! Create a Collection by bringing together complementary apps that have a common theme or purpose, then share it and discover new collections! + Create a Collection

GNU BPEL2oWFN User Discussion

Ratings

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

Details

Downloads 904
Version Downloads 62
License Free
Date 22 Apr 2007
Platform OS X / PPC 32 / Intel 32
Price Free
To leave a comment, you need to be logged in.
reviews_anchor
Sort by: Time | Smiles
GNU BPEL2oWFN needs a review. Be the first to review this app and get the discussion started!
GNU BPEL2oWFN needs a rating. Be the first to rate this app and get the discussion started!
MacUpdate Promo