×

BPEL2oWFN

swMATH ID: 6956
Software Authors: Niels Lohmann
Description: 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.
Homepage: http://www.gnu.org/software/bpel2owfn/
Keywords: WS-BPEL; oWFN; Petri net
Related Software: COWS; BPEL2PN; Wendy; CADP; Uppaal; Orc; Oracle; XPath; PiDuce; Petrify; LOTOS; Quicksort; SynchAADL2Maude; Dist-Orc; Maude; JavaFAN; M-nets; Reo; Algorithm 447; Woflan
Referenced in: 25 Publications
Further Publications: http://www.gnu.org/software/bpel2owfn/publications.html

Referencing Publications by Year