@inproceedings{218d5dd2c43e4c9db6158f474ee23403,
title = "An operational semantics of WS-BPEL based on abstract BPEL machine",
abstract = "It is very difficult to construct a correct BPEL engine, which is the runtime environment supporting the execution of BPEL processes. The main reason is the complexity of informal specification. It leads to that the programmers build the system without knowing precisely what they do. In this paper, we provide an operational semantics of BPEL based on Abstract BPEL Machine (ABM). ABM is a formal model that simulates the execution environment of BPEL. The functional behavior of a BPEL engine can be described as the input-output state transitions on ABM. It can be further divided into the execution behavior of each BPEL constructs, such as activities and handlers. The aim of our work is to provide the precise understanding on execution model of BPEL, and narrow the gap between BPEL specification and BPEL implementation. The result can be used as a formal specification to construct a correct BPEL engine.",
keywords = "BPEL, BPEL engine, Correctness, Operational semantics",
author = "Dou Sun and Yongwang Zhao and Hao Zeng and Dianfu Ma",
year = "2010",
doi = "10.1109/SOCA.2010.5707186",
language = "英语",
isbn = "9781424498017",
series = "Proceedings - 2010 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2010",
booktitle = "Proceedings - 2010 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2010",
note = "2010 IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2010 ; Conference date: 13-12-2010 Through 15-12-2010",
}