WofBPEL: A Tool for Automated Analysis of BPEL Processes
The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) , is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack. In BPEL, the logic of the interactions between a given service and its environment is described as a composition of communication actions. These communication actions are interrelated by control-flow dependencies expressed through constructs close to those found in workflow definition languages. In particular, BPEL incorporates two sophisticated branching and synchronisation constructs, namely “control links” and “join conditions”, which can be found in a class of workflow models known as synchronising workflows formalised in terms of Petri nets in .
- 1.Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A. (eds.): Web Services Business Process Execution Language Version 2.0. WS-BPEL TC OASIS (May 2005), Available via http://www.oasis-open.org/committees/download.php/12791/
- 2.Dehnert, J.: A Methodology for Workflow Modelling: from Business Process Modelling towards Sound Workflow Specification. PhD thesis, Technische Universität Berlin, Berlin, Germany (August 2003)Google Scholar
- 4.Martens, A.: Verteilte Geschäftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services (In German). PhD thesis, Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany (2003)Google Scholar
- 5.Ouyang, C., Verbeek, H.M.W., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Technical Report BPM-05-15, BPMcenter.org (2005), Available via http://www.bpmcenter.org/reports/2005/BPM-05-15.pdf
- 6.Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany (2004)Google Scholar