Skip to main content
SpringerLink
Log in

Life After BPEL?

  • Conference paper
Formal Techniques for Computer Systems and Business Processes (EPEW 2005, WS-FM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3670))

Abstract

The Business Process Execution Language for Web Services (BPEL) has emerged as a standard for specifying and executing processes. It is supported by vendors such as IBM and Microsoft and positioned as the “process language of the Internet”. This paper provides a critical analysis of BPEL based on the so-called workflow patterns. It also discusses the need for languages like BPEL. Finally, the paper addresses several challenges not directly addressed by BPEL but highly relevant to the support of web services.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P.: Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control? Information Technology and Management Journal 4(4), 345–389 (2003)

    Article  Google Scholar 

  2. van der Aalst., W.M.P.: Business Alignment: Using Process Mining as a Tool for Delta Analysis and Conformance Testing. Requirements Engineering Journal (2005) (to appear)

    Google Scholar 

  3. van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Web Service Composition Languages: Old Wine in New Bottles? In: Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, pp. 298–305. IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

  4. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

    Google Scholar 

  5. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)

    Article  Google Scholar 

  6. van der Aalst, W.M.P., Lassen, K.B.: Translating Workflow Nets to BPEL4WS. BETA Working Paper Series. Eindhoven University of Technology, Eindhoven (2005)

    Google Scholar 

  7. van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering 47(2), 237–267 (2003)

    Article  Google Scholar 

  8. Altenhofen, M., Boerger, E., Lemcke, J.: An execution semantics for mediation patterns. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation (2003)

    Google Scholar 

  10. Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service Interaction Patterns: Towards a Reference Framework for Service-based Business Process Interconnection. QUT Technical report, FIT-TR-2005-012, Queensland University of Technology, Brisbane (To appear in BPM (2005)

    Google Scholar 

  11. Benatallah, B., Casati, F., Grigori, D., Motahari-Nezhad, H., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 415–429. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001), http://www.w3.org/TR/wsdl

  13. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems. Wiley, Chichester (2005)

    Book  Google Scholar 

  14. Dustdar, S., Gombotz, R., Baina, K.: Web Services Interaction Mining. Technical Report TUV-1841-2004-16, Information Systems Institute, Vienna University of Technology, Wien, Austria (2004)

    Google Scholar 

  15. Ellis, C.A.: Information Control Nets: A Mathematical Model of Office Information Flow. In: Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, Colorado, pp. 225–240. ACM Press, New York (1979)

    Google Scholar 

  16. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proc. 12th International Workshop on Abstract State Machines, Paris, France, pp. 131–151 (2005)

    Google Scholar 

  17. 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. 79–94. Springer, Heidelberg (2004)

    Google Scholar 

  18. Ferrara, A.: Web services: A process algebra approach. In: Proceedings of the 2nd international conference on Service oriented computing, pp. 242–251. ACM Press, New York (2004)

    Chapter  Google Scholar 

  19. Fisteus, J.A., 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. 79–94. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  20. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Composition. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), Montreal, Canada, October 2003, pp. 152–161 (2003)

    Google Scholar 

  21. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: International World Wide Web Conference: Proceedings of the 13th international conference on World Wide Web, pp. 621–630. ACM Press, New York (2004)

    Google Scholar 

  22. Gaaloul, W., Bhiri, S., Godart, C.: Discovering Workflow Transactional Behavior from Event-Based Log. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 3–18. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. Giannakopoulou, D., Havelund, K.: Automata-Based Verification of Temporal Properties on Running Programs. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 412–416. IEEE Computer Society Press, Providence (2001)

    Chapter  Google Scholar 

  24. Havelund, K., Rosu, G.: Monitoring Programs Using Rewriting. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 135–143. IEEE Computer Society Press, Providence (2001)

    Chapter  Google Scholar 

  25. Havelund, K., Rosu, G.: Synthesizing Monitors for Safety Properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 342–356. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  26. Hohpe, G., Woolf, B.: Enterprise Integration Patterns. Addison-Wesley Professional, Reading (2003)

    Google Scholar 

  27. Holt, A.W.: Coordination Technology and Petri Nets. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol. 222, pp. 278–296. Springer, Heidelberg (1986)

    Chapter  Google Scholar 

  28. Schmidt, H.W., Reussner, R.H.: Generating adapters for concurrent component protocol synchronisation. In: Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Enschede, The Netherlands, March 2002. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  29. Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web Services Choreography Description Language, Version 1.0. W3C Working Draft 17-12-04 (2004)

    Google Scholar 

  30. Koehler, J., Hauser, R.: Untangling Unstructured Cyclic Flows A Solution Based on Continuations. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 121–138. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  31. Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical report CS-2003-11, York University (October 2003), Available from, http://www.cs.yorku.ca/techreports/2003/

  32. Leymann, F.: Web Services Flow Language, Version 1.0 (2001)

    Google Scholar 

  33. Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River (1999)

    Google Scholar 

  34. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1991)

    MATH  Google Scholar 

  35. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  36. Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  37. Muehelen, M.Z.: Workflow-based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems. Logos, Berlin (2004)

    Google Scholar 

  38. Mulyar, N.A., van der Aalst, W.M.P.: Patterns in Colored Petri Nets. BETA Working Paper Series, WP 139. Eindhoven University of Technology, Eindhoven (2005)

    Google Scholar 

  39. Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-13, BPMcenter.org (2005)

    Google Scholar 

  40. Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pp. 46–57. IEEE Computer Society Press, Providence (1977)

    Google Scholar 

  41. Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  42. Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: Identification, representation and tool support. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 216–232. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  43. Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow Data Patterns: Identification, Representation and Tool Support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, Ó. (eds.) ER 2005. LNCS, vol. 3716, pp. 353–368. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  44. Stahl, C.: Transformation von BPEL4WS in Petrinetze. Master’s thesis, Humboldt University, Berlin, Germany (2004) (in German)

    Google Scholar 

  45. Thatte, S.: XLANG Web Services for Business Process Design (2001)

    Google Scholar 

  46. White, S.: Using BPMN to Model a BPEL Process. BPTrends 3(3), 1–18 (2005)

    Google Scholar 

  47. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  48. Zisman, M.D.: Representation, Specification and Automation of Office Procedures. PhD thesis, University of Pennsylvania, Warton School of Business (1977)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    W. M. P. van der Aalst & H. M. W. Verbeek

  2. Queensland University of Technology, Brisbane, Australia

    W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede & N. Russell

  3. Université Henri Poincaré, Nancy, France

    P. Wohed

Authors
  1. W. M. P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Dumas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. H. M. ter Hofstede
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. N. Russell
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. H. M. W. Verbeek
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. P. Wohed
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Bologna,  

    Mario Bravetti

  2. PRiSM, Université de Versailles, 45, Av. des Etats-Unis, 78000, Versailles

    Leïla Kloul

  3. Dip. Scienze dell’Informazione, Università di Bologna, Italy

    Gianluigi Zavattaro

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P. (2005). Life After BPEL?. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds) Formal Techniques for Computer Systems and Business Processes. EPEW WS-FM 2005 2005. Lecture Notes in Computer Science, vol 3670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11549970_4

Download citation

  • DOI: https://doi.org/10.1007/11549970_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28701-8

  • Online ISBN: 978-3-540-31903-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation