Semantics of BPEL4WS-Like Fault and Compensation Handling

BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we prese...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Qiu, Zongyan, Wang, Shuling, Pu, Geguang, Zhao, Xiangpeng
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences BPEL4WS Business Process Compensation handling Computer science control theory systems Exact sciences and technology Fault handling Language Semantics Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially, the compensation closure and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.
ISSN:	0302-9743 1611-3349
DOI:	10.1007/11526841_24