Towards the semantics for web service choreography description language

Authors:
Jing Li;Jifeng He;Geguang Pu;Huibiao Zhu
Affiliations:
Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China
Venue:
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Year:
2006

Citing 11
Cited 8

Sagas

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Communication and Concurrency

Communication and Concurrency
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
A Process Compensation Language

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Extending the concept of transaction compensation

IBM Systems Journal
Towards a formal framework for Choreography

WETICE '05 Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise
Formalizing Web Service Choreographies

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards the Semantics and Verification of BPEL4WS

Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of BPEL4WS-Like fault and compensation handling

FM'05 Proceedings of the 2005 international conference on Formal Methods
Executable semantics for compensating CSP

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
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

Towards trace semantics for WS-CDL with alignments

Proceedings of the 2008 ACM symposium on Applied computing
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
UTP semantics for web services

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Algebraic semantics for compensable transactions

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

A choreography is a multi-part contract which describes peer to peer collaboration of services regardless of any specific programming language or supporting platform. WS-CDL, issued from W3C, is the first language for describing choreography. In this paper, we propose a language CDL0 to capture the important features of WS-CDL, including choreography composition, compensation and exception handling. An adjunctive concept role reference is introduced with the aim of distinguishing multiple participants which provide the same kind of service within a choreography model. The semantics is given by an operational approach to provide a formal base for the choreography language. We believe this formalism work helps to clear ambiguous points in the WS-CDL specification and promote the usage of choreography languages.