2006 | OriginalPaper | Buchkapitel
Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service
verfasst von : Geguang Pu, Huibiao Zhu, Zongyan Qiu, Shuling Wang, Xiangpeng Zhao, Jifeng He
Erschienen in: Formal Methods for Open Object-Based Distributed Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.