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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Farahbod, R., Glässer, U., & Vajihollahi, M. (2005). An abstract machine architecture for Web service based Business Process management. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3812 LNCS, pp. 144–157). https://doi.org/10.1007/11678564_13
Mendeley helps you to discover research relevant for your work.