Advertisement

An Abstract Machine Architecture for Web Service Based Business Process Management

  • Roozbeh Farahbod
  • Uwe Glässer
  • Mona Vajihollahi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3812)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Organization for the Advancement of Structured Information Standards (OASIS): WS BPEL issues list (2004), http://www.oasis-open.org
  3. 3.
    W3C: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), http://www.w3.org (last visited, May 2004)
  4. 4.
    Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)CrossRefzbMATHGoogle Scholar
  5. 5.
    Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Networks 42, 343–358 (2003)CrossRefzbMATHGoogle Scholar
  6. 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)CrossRefGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 8.
    Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1, 77–111 (2000)MathSciNetCrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 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. 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)CrossRefGoogle Scholar
  12. 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. 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. 14.
    Börger, E.: The ASM Refinement Method. Formal Aspects of Computing, 237–257 (2003)Google Scholar
  15. 15.
    Johnson, C.W.: Literate specifications. Software Engineering Journal 11, 225–237 (1996)CrossRefGoogle Scholar
  16. 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. 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. 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. 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. 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. 21.
    Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA 2002: Workshop on Object-Oriented Web Services (2002)Google Scholar
  22. 22.
    Martens, A.: Verteilte Geschftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt University of Berlin, Germany (2003)Google Scholar
  23. 23.
    Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University (2003)Google Scholar
  24. 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)CrossRefGoogle Scholar
  25. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Roozbeh Farahbod
    • 1
  • Uwe Glässer
    • 1
  • Mona Vajihollahi
    • 1
  1. 1.School of Computing ScienceSimon Fraser UniversityBurnabyCanada

Personalised recommendations