BPEL2oWFN

BPEL2oWFN translates a web service expressed in BPEL (Business Process Execution Language for Web Services) into an oWFN.
Download

BPEL2oWFN Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Freeware
  • Price:
  • FREE
  • Publisher Name:
  • Niels Lohmann
  • Publisher web site:
  • http://www.gnu.org/software/bpel2owfn
  • Operating Systems:
  • Mac OS 10.4 or later
  • File Size:
  • 996 KB

BPEL2oWFN Tags


BPEL2oWFN Description

BPEL2oWFN translates a web service expressed in BPEL (Business Process Execution Language for Web Services) into an oWFN. BPEL2oWFN translates a web service expressed in BPEL (Business Process Execution Language for Web Services) into an oWFN (open Workflow Net). This oWFN can be used to:· check for controllability or generate the operating guideline using Fiona,· check for deadlocks or any other Petri net property, or· check any temporal logic formula with a variety of model checking tools.BPEL2oWFN uses static analysis to make the generated oWFN as compact as possible to analyze a chosen property. This ability is called flexible model generation. What's New in This Release: · adopted the GNU GPL Version 3 · minor changes and bug fixes


BPEL2oWFN Related Software

About SoftwareSea