Abstract
The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) [1], 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 [3].
Supported by an Australia Research Council (ARC) Discovery Grant (DP0451092).
Chapter PDF
References
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/
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)
Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Informatica 39(3), 143–209 (2003)
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)
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
Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany (2004)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnozing workflow processes using Woflan. The Computer Journal 44(4), 246–279 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M. (2005). WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds) Service-Oriented Computing - ICSOC 2005. ICSOC 2005. Lecture Notes in Computer Science, vol 3826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596141_37
Download citation
DOI: https://doi.org/10.1007/11596141_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30817-1
Online ISBN: 978-3-540-32294-8
eBook Packages: Computer ScienceComputer Science (R0)