Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
نویسندگان
چکیده
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transactions, which makes exceptional handling and finalization very important features in modeling choreography. A projection is a procedure which takes a choreography and generates a set of processes in the orchestration level. Given a choreography, how to project exceptional handling and finalization constructs is still an open problem. This paper aims to study exception handling and transactionality in choreographies from a projection view. We propose formal languages for both choreography and orchestration with trace semantics, and give a projection with discussion about its correctness.
منابع مشابه
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transactions, which makes exceptional handling and finalization very important features in modelling choreography. A projection is a procedure which takes a choreography and generates a set of processes in the orchestration l...
متن کاملA Framework for Generic Error Handling in Business Processes
Recently the term Web Services Choreography has been introduced to address some issues related to Web Services Composition. Several proposals for describing Choreography for Business Processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and compensations for coping with error handling. BPEL4WS, the most accredited candidate...
متن کاملA Survey of Web services Orchestration and Choreography with Formal Models
The service-oriented architecture (SOA) promises a new generation of information systems applications based on a new set of standards for enabling self-describing interoperable Web services. Web service orchestration and choreography are both concerned with the composition of Web services to meet the needs of business processes. There are two important standards for modeling and implementing wo...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملWeb Services Orchestration and Choreography
Web Services Orchestration and Choreography I n a recent Computer Sciences Corporation survey , 1 senior information technology executives ranked " connecting to customers, suppliers, or partners electronically " as the top global IT management issue. Web services offer standards based mechanisms for addressing this issue. However, existing methods for creating business processes are not design...
متن کامل