@inproceedings{9e189c225b6c499483cd76685795d11e,
title = "Theoretical foundations of scope-based compensable flow language for web service",
abstract = "Web Services have become more and more important in these years, and BPEL4WS is a de facto standard for the web service composition and orchestration. In this paper, we propose a language BPEL0 to capture the important features of BPEL4WS, with the scope-based compensation handling mechanism, which allow the users to specify the compensation behaviors of processes in application-specific manners. The operational semantics of BPEL0 is formalized, with some key concepts related to compensation handling, i.e., the compensation closure and compensation context. Based on the achieved semantics, the concept of bisimulation in hierarchy structure is investigated, which is used to define the equivalence between BPEL0 programs.",
author = "Geguang Pu and Huibiao Zhu and Zongyan Qiu and Shuling Wang and Xiangpeng Zhao and Jifeng He",
year = "2006",
doi = "10.1007/11768869\_19",
language = "英语",
isbn = "354034893X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "251--266",
editor = "Heike Wehrheim and Roberto Gorrieri",
booktitle = "Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference, FMOODS 2006, Proceedings",
address = "德国",
note = "8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006 ; Conference date: 14-06-2006 Through 16-06-2006",
}