From BPEL Processes to YAWL Workflows

  • Antonio Brogi
  • Razvan Popescu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4184)


BPEL is currently the most widespread language for composing Web services, but it lacks formal semantics. YAWL is a workflow language with a well defined formal semantics that implements the most common workflow patterns. In this paper we provide a methodology for translating BPEL processes into YAWL workflows, thus paving the way for the formal analysis, aggregation and adaptation of BPEL processes. The approach we propose defines a YAWL pattern for each BPEL activity. The translation of a BPEL process reduces then to suitably instantiating and interconnecting the patterns of its activities.


Business Process Formal Semantic Great Common Divisor Guard Condition BPEL Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arias-Fisteus, J., Fernández, L.S., Kloos, C.D.: Formal Verification of BPEL4WS Business Collaborations. In: Bauknecht, K., Bichler, M., Pröll, B. (eds.) EC-Web 2004. LNCS, vol. 3182, pp. 76–85. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    BPEL4WS Coalition. Business Process Execution Language for Web Services (BPEL4WS) Version 1.1,
  3. 3.
    Brogi, A., Popescu, R.: Service Adaptation through Trace Inspection. In: Gagnon, S., Ludwig, H., Pistore, M., Sadiq, W. (eds.) Proceedings of SOBPI 2005, pp. 44–58 (2005),
  4. 4.
    Brogi, A., Popescu, R.: Towards Semi-automated Workflow-Based Aggregation of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 214–227. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., et al. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Koshkina, M., van Breugel, F.: Verification of business processes for Web services. Technical Report CS-2003-11, York University (October 2003),
  7. 7.
    Ouyang, C., Verbeek, E., van der Aalst, W.M., Breutel, S., Dumas, M., ter Hofstede, A.H.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical Report 2174, Queensland University of Technology (February 2006), Available from:
  8. 8.
    OWL-S Coalition. OWL-S: Semantic Markup for Web Services Version 1.1,
  9. 9.
    Papazoglou, M.P., Georgakopoulos, D.: Service-Oriented Computing. Communication of the ACM 46(10), 24–28 (2003)CrossRefGoogle Scholar
  10. 10.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Inf. Syst. 30(4), 245–275 (2005)CrossRefGoogle Scholar
  11. 11.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distrib. Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  12. 12.
    WSDL Coalition. Web Service Description Language (WSDL) version 1.1,

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Antonio Brogi
    • 1
  • Razvan Popescu
    • 1
  1. 1.Computer Science DepartmentUniversity of PisaItaly

Personalised recommendations