GNU BPEL2oWFN

GNU BPEL2oWFN project translates a web service expressed in WS-BPEL into an oWFN.
Download

GNU BPEL2oWFN Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Price:
  • FREE
  • Publisher Name:
  • Niels Lohmann
  • Publisher web site:
  • http://www.gnu.org/software/bpel2owfn/

GNU BPEL2oWFN Tags


GNU BPEL2oWFN Description

GNU BPEL2oWFN project translates a web service expressed in WS-BPEL into an oWFN. GNU BPEL2oWFN project 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.


GNU BPEL2oWFN Related Software

About SoftwareSea