@inproceedings{414b0488e86941dcb7c277530674f3da,
title = "Modeling and analysis of the execution context in WS-BPEL",
abstract = "In order to better support the long-running transactions, Web Service Business Process Execution Language (WS-BPEL) provides some special exception handling and compensation mechanisms. To examine the availability of exception handling and compensation mechanisms in WS-BPEL process, the modeling and analysis for the execution context in WS-BPEL process should be done at first. In this paper, we analyze the state transitions and operational semantic in WSBPEL business workflow both in the case of correct execution and exceptional execution. Consequently, based on the state transition system we propose the state space models for three types of activities in WS-BPEL. In the end, we present a formal approach to model the execution context in WS-BPEL based on the state space model. Based on the formal model, the control flow result from the exception handler and compensation mechanism can be described and analyzed.",
keywords = "Compensation, Modeling, State transition, WS-BPEL",
author = "Zhao Wu and Naixue Xiong and Lei Yuan and Wei Xiong and Park, \{Jong Hyuk\}",
year = "2009",
doi = "10.1109/CSA.2009.5404271",
language = "English",
isbn = "9781424449460",
series = "Proceedings of the 2009 2nd International Conference on Computer Science and Its Applications, CSA 2009",
booktitle = "Proceedings of the 2009 2nd International Conference on Computer Science and Its Applications, CSA 2009",
note = "2009 2nd International Conference on Computer Science and Its Applications, CSA 2009 ; Conference date: 10-12-2009 Through 12-12-2009",
}