Advertisement

WofBPEL: A Tool for Automated Analysis of BPEL Processes

  • Chun Ouyang
  • Eric Verbeek
  • Wil M. P. van der Aalst
  • Stephan Breutel
  • Marlon Dumas
  • Arthur H. M. ter Hofstede
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3826)

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].

References

  1. 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. 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
  3. 3.
    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)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 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. 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. 6.
    Stahl, C.: Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany (2004)Google Scholar
  7. 7.
    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)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Chun Ouyang
    • 1
  • Eric Verbeek
    • 2
  • Wil M. P. van der Aalst
    • 1
    • 2
  • Stephan Breutel
    • 1
  • Marlon Dumas
    • 1
  • Arthur H. M. ter Hofstede
    • 1
  1. 1.Faculty of Information TechnologyQueensland University of TechnologyBrisbaneAustralia
  2. 2.Department of Technology ManagementEindhoven University of TechnologyThe Netherlands

Personalised recommendations