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...

As the Web service domain is a fast growing and equally fast changing environment, this paper tries to provide a critical snapshot of currently available standards, particularly focusing on Web service orchestration and choreography. The trend over the last few years in the Web services area firmly points towards seamless business logic integration and inter-enterprise collaboration. In order t...

The notion of Choreography is intended to describe how to consume Web Services, i.e. making use of their functionality. Two approaches are currently discussed for Choreography description: the individual view approach and the common view approach. This paper argues that these are complementary and presents an approach for combing both views, including the concept of mediation for resolving poss...

Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and process integration. A huge amount of work has been done in the area of business process while web service composition languages have been the subject of intense research efforts recently. However the aspects of modeling these soft...

Web Service Composition creates new composite Web Services from the collection of existing ones to be composed further and embodies the added values and potential usages of Web Services. Web Service Composition includes two aspects: Web Service orchestration denoting a workflow-like composition pattern and Web Service choreography which represents an aggregate composition pattern. There were on...

Changing business environments are forcing organizations to develop flexible and adaptable enterprise systems. To accomplish this and to solve associated systems integration issues, many are moving towards web service technology. Two key ingredients of web services based solution are service composition and service choreography. While there has been lot of advancement in respect to service comp...

Technologies for web services choreography and orchestration are considered. These technologies and standards have appeared as a natural growth of web service technologies. The main features and elements of BPEL standard are presented, because of its wide acceptance. It can be used both for choreography and for orchestration. The set of major characteristics of software orchestration tools are ...

The Web Service Modelling Ontology (WSMO) semantically describes the core elements of Semantic Web Services, aiming at a framework for unambiguous formal descriptions on which inference mechanisms shall enable automated discovery, composition, execution and invocation of Web Services. Choreography and Orchestration are defined as sub-classes of service interface for describing how the functiona...

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 le...