Analyzing Interacting BPEL Processes

  • Niels Lohmann
  • Peter Massuthe
  • Christian Stahl
  • Daniela Weinberg
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4102)


This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). A case study demonstrates the value of this technology chain.


Business process modeling and analysis Formal models in business process management Process verification and validation Petri nets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: PODS 2003, pp. 1–14. ACM Press, New York (2003)CrossRefGoogle Scholar
  2. 2.
    Papazoglou, M.P.: Agent-Oriented Technology in Support of E-Business. Communications of the ACM 44(4), 71–77 (2001)CrossRefGoogle Scholar
  3. 3.
    Andrews, T., et al.: Business Process Execution Language for Web Services, Version 1.1. Technical report, BEA, IBM, Microsoft (2003)Google Scholar
  4. 4.
    Weinberg, D.: Reduction Rules for Interaction Graphs. Technical Report 198, Humboldt-Universität zu Berlin (2006)Google Scholar
  5. 5.
    Massuthe, P., Schmidt, K.: Operating Guidelines – An Automata-Theoretic Foundation for Service-Oriented Architectures. In: QSIC 2005, Melbourne, Australia, pp. 452–457. IEEE Computer Society, Los Alamitos (2005)Google Scholar
  6. 6.
    Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. AMCT 1(3), 35–43 (to appear, 2005)Google Scholar
  7. 7.
    Stahl, C.: A Petri Net Semantics for BPEL. Techn. Report 188, Humboldt-Universität zu Berlin (2005)Google Scholar
  8. 8.
    Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  9. 9.
    Schmidt, K.: Controllability of Open Workflow Nets. In: EMISA. LNI, pp. 236–249. Bonner Köllen Verlag (2005)Google Scholar
  10. 10.
    Aalst, W.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  11. 11.
    Ramadge, P., Wonham, W.: Supervisory Control of a Class of Discrete Event Processes. SIAM J. Control and Optimization 25(1), 206–230 (1987)CrossRefzbMATHMathSciNetGoogle Scholar
  12. 12.
    Massuthe, P., Schmidt, K.: Operating Guidelines – An Automata-Theoretic Foundation for Service-Oriented Architectures (to appear, 2006)Google Scholar
  13. 13.
    Martens, A.: Verteilte Geschäftsprozesse – Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt-Universität zu Berlin (2004)Google Scholar
  14. 14.
    Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis, 2nd edn. Springer, Heidelberg (2005)zbMATHGoogle Scholar
  15. 15.
    Schmidt, K.: LoLA: A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 465–474. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  16. 16.
    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
  17. 17.
    Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: WWW 2004, pp. 621–630. ACM Press, New York (2004)CrossRefGoogle Scholar
  18. 18.
    Ferrara, A.: Web Services: A Process Algebra Approach. In: ICSOC, pp. 242–251. ACM, New York (2004)CrossRefGoogle Scholar
  19. 19.
    Fahland, D., Reisig, W.: ASM-based Semantics for BPEL: The Negative Control Flow. In: ASM 2005, Paris XII, pp. 131–151 (2005)Google Scholar
  20. 20.
    Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78–94. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  21. 21.
    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 (revised version), Queensland University of Technology (2005)Google Scholar
  22. 22.
    Ouyang, C., Verbeek, E., Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484–489. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes – Towards a Business Process Analysis Framework in IBM’s Business Integration Tools. In: ICIW 2006. IEEE Computer Society Press, Los Alamitos (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Niels Lohmann
    • 1
  • Peter Massuthe
    • 1
  • Christian Stahl
    • 1
  • Daniela Weinberg
    • 1
  1. 1.Institut für InformatikHumboldt–Universität zu BerlinBerlinGermany

Personalised recommendations