Semantics of BPEL4WS-Like fault and compensation handling

Authors:
Zongyan Qiu;Shuling Wang;Geguang Pu;Xiangpeng Zhao
Affiliations:
LMAM and Department of Informatics, School of Math., Peking University, Beijing, China;LMAM and Department of Informatics, School of Math., Peking University, Beijing, China;LMAM and Department of Informatics, School of Math., Peking University, Beijing, China;LMAM and Department of Informatics, School of Math., Peking University, Beijing, China
Venue:
FM'05 Proceedings of the 2005 international conference on Formal Methods
Year:
2005

Citing 5
Cited 20

Sagas

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Web Service Composition Languages: Old Wine in New Bottles?

EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Theoretical foundations for compensations in flow composition languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards a Formal Foundation to Orchestration Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Generic Error Handling in Business Processes

Electronic Notes in Theoretical Computer Science (ENTCS)

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies

TrustBus '08 Proceedings of the 5th international conference on Trust, Privacy and Security in Digital Business
Modular verification of web services using efficient symbolic encoding and summarization

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Specifying and Verifying Business Processes Using PPML

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards the Semantics and Verification of BPEL4WS

Electronic Notes in Theoretical Computer Science (ENTCS)
UTP semantics for web services

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A formal account of WS-BPEL

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Compensable programs

Formal methods and hybrid real-time systems
Linking denotational semantics with operational semantics for web services

Innovations in Systems and Software Engineering
Transaction calculus

UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A probabilistic BPEL-like language

UTP'10 Proceedings of the Third international conference on Unifying theories of programming
A WSDL-based type system for asynchronous WS-BPEL processes

Formal Methods in System Design
Algebraic approach to linking the semantics of web services

Innovations in Systems and Software Engineering
Towards the semantics for web service choreography description language

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Using formal methods to develop WS-BPEL applications

Science of Computer Programming
Towards the formal model and verification of web service choreography description language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Theoretical foundations of scope-based compensable flow language for web service

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
An operational semantics of BPEL orchestrations integrating web services resource framework

WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
An aggregation composition compensation method based on paired net

International Journal of Automation and Computing
The rely/guarantee approach to verifying concurrent BPEL programs

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.