Skip to main content

An Abstract Machine Architecture for Web Service Based Business Process Management

  • Conference paper
Business Process Management Workshops (BPM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3812))

Included in the following conference series:

  • 2552 Accesses

Abstract

We define an abstract operational model of the Business Process Execution Language for Web Services (BPEL) based on the abstract state machine (ASM) formalism. That is, we abstractly model dynamic properties of the key language constructs through the construction of a BPEL abstract machine. Specifically, we present the process execution model and the underlying execution lifecycle of BPEL activities. The goal of our work is to provide a precise and well defined semantic framework for establishing the key language attributes. To this end, the BPEL abstract machine forms a comprehensive and robust formalization closely reflecting the view of the informal language definition.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Andrews, T., et al.: Business process execution language for web services version 1.1 (2003), http://ifr.sap.com/bpel4ws/ (last visited, February 2005)

  2. Organization for the Advancement of Structured Information Standards (OASIS): WS BPEL issues list (2004), http://www.oasis-open.org

  3. W3C: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), http://www.w3.org (last visited, May 2004)

  4. Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  5. Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Networks 42, 343–358 (2003)

    Article  MATH  Google Scholar 

  6. Börger, E., Glässer, U., Müller, W.: Formal Definition of an Abstract VHDL 1993 Simulator by EA-Machines. In: Delgado Kloos, C., Breuer, P.T. (eds.) Formal Semantics for VHDL, pp. 107–139. Kluwer Academic Publishers, Dordrecht (1995)

    Chapter  Google Scholar 

  7. Börger, E.: The ASM ground model method as a foundation of requirements engineering. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 145–160. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1, 77–111 (2000)

    Article  MathSciNet  Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. Farahbod, R.: Extending and refining an abstract operational semantics of the web services architecture for the business process execution language. Master’s thesis, Simon Fraser University, Burnaby, Canada (2004)

    Google Scholar 

  11. Glässer, U., Gurevich, Y., Veanes, M.: An abstract communication architecture for modeling distributed systems. IEEE Trans. on Soft. Eng. 30, 458–472 (2004)

    Article  Google Scholar 

  12. Vajihollahi, M.: High level specification and validation of the business process execution language for web services. Master’s thesis, Simon Fraser University, Burnaby, Canada (2004)

    Google Scholar 

  13. Farahbod, R., Glässer, U., Vajihollahi, M.: Abstract Operational Semantics of the Business Process Execution Language for Web Services. Technical Report SFU-CMPT-TR-2005-04, Simon Fraser University (2005) Revised version of SFUCMPT-TR-2004-03 (April 2004)

    Google Scholar 

  14. Börger, E.: The ASM Refinement Method. Formal Aspects of Computing, 237–257 (2003)

    Google Scholar 

  15. Johnson, C.W.: Literate specifications. Software Engineering Journal 11, 225–237 (1996)

    Article  Google Scholar 

  16. Martens, A.: Analysis and re-engineering of web services. In: 6th International Conference on Enterprise Information Systems, ICEIS 2004 (2004) (to appear)

    Google Scholar 

  17. Schmidt, K., Stahl, C.: A petri net semantic for BPEL4WS - validation and application. In: Kindler, E. (ed.) Proceedings of 11th Workshop on Algorithms and Tools for Petri Nets (2004)

    Google Scholar 

  18. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proc. of the 12th Int’l Workshop on Abstract State Machines (2005)

    Google Scholar 

  19. Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. Technical Report SFUCMPT- TR-2003-06, Simon Fraser University (2003)

    Google Scholar 

  20. Farahbod, R., Glässer, U., Vajihollahi, M.: A formal semantics for the business process execution language for Web Services. In: Bevinakoppa, S., et al. (eds.) Web Services and Model-Driven Enterprise Information Systems, Portugal, pp. 144–155. INSTICC Press (2005)

    Google Scholar 

  21. Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA 2002: Workshop on Object-Oriented Web Services (2002)

    Google Scholar 

  22. Martens, A.: Verteilte Geschftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt University of Berlin, Germany (2003)

    Google Scholar 

  23. Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University (2003)

    Google Scholar 

  24. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), pp. 738–741. IEEE Computer Society, Los Alamitos (2004)

    Chapter  Google Scholar 

  25. van der Aalst, W., Dumas, M., ter Hofstede, A., Wohed, P.: Analysis of web services composition languages: The case of bpel4ws. In: 1st Web Services Quality Workshop, WQW 2003 (2003)

    Google Scholar 

  26. van der Aalst, W., Dumas, M., ter Hofstede, A., Wohed, P.: Pattern-Based Analysis of BPML (and WSCI). Technical Report FIT-TR-2002-05, Queensland University of Technology (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Farahbod, R., Glässer, U., Vajihollahi, M. (2006). An Abstract Machine Architecture for Web Service Based Business Process Management. In: Bussler, C.J., Haller, A. (eds) Business Process Management Workshops. BPM 2005. Lecture Notes in Computer Science, vol 3812. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11678564_13

Download citation

  • DOI: https://doi.org/10.1007/11678564_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-32595-6

  • Online ISBN: 978-3-540-32596-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics