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.
Similar content being viewed by others
References
Andrews, T., et al.: Business process execution language for web services version 1.1 (2003), http://ifr.sap.com/bpel4ws/ (last visited, February 2005)
Organization for the Advancement of Structured Information Standards (OASIS): WS BPEL issues list (2004), http://www.oasis-open.org
W3C: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), http://www.w3.org (last visited, May 2004)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Glässer, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Networks 42, 343–358 (2003)
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)
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)
Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1, 77–111 (2000)
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)
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)
Glässer, U., Gurevich, Y., Veanes, M.: An abstract communication architecture for modeling distributed systems. IEEE Trans. on Soft. Eng. 30, 458–472 (2004)
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)
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)
Börger, E.: The ASM Refinement Method. Formal Aspects of Computing, 237–257 (2003)
Johnson, C.W.: Literate specifications. Software Engineering Journal 11, 225–237 (1996)
Martens, A.: Analysis and re-engineering of web services. In: 6th International Conference on Enterprise Information Systems, ICEIS 2004 (2004) (to appear)
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)
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)
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)
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)
Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA 2002: Workshop on Object-Oriented Web Services (2002)
Martens, A.: Verteilte Geschftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt University of Berlin, Germany (2003)
Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University (2003)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)