Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables application integration within and across business organizations. One of the most important features of Web services is the idea of choreography which allows to capture collaborative processes involving multiple services. In this context, compatibility analysis of choreography is a central point to i...

Web service composition has been the subject of a number of standardisation initiatives. These initiatives have met various difficulties and had mixed degrees of success, and none of them has yet attained both de facto and de jure status. This paper reviews two of these initiatives with respect to a framework wherein service composition is approached from multiple interrelated perspectives. One...

objects, characterized by a signature, comprised of universes, functions, and relations. The universe or domain is a set of data containing partial functions and predicates (attributes and relations) which encapsulate the universe. Transition rules, in ASMs, are local functions which update the abstract states, and can be expressed as follows: f(t1, t2, ..., tn):= t where f is an n-ary function...

Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables application integration within and across business organizations. One of the most important features of Web services is the idea of choreography which allows to capture collaborative processes involving multiple services. In this context, compatibility analysis of choreography is a central point to i...

Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...

Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility of Web services based on the proposed notations. In this paper we presen...

The Web Service Choreography Description Language (WSCDL) is a specification for describing multi party collaboration based on Web Services from a global point of view. WS-CDL is designed to be used in conjunction with the Web Services Business Process Execution Language (WS-BPEL or BPEL). As WS-CDL is a new choreography language, there has been doubt on the feasibility of a transformation to B...

Current Web service choreography proposals, such as WSCI and BPEL, provide notations for describing the message flows in Web service collaborations. The kernel of WSCI consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronization, etc. Many efforts have been made on functional formalization and propert...

The purpose of this paper is to discuss an approach for the automated management of Virtual Organizations using Web Service Choreography and Software Agents. Web Service Choreography is important for the support and management of commonly agreed collaboration scenarios. In order for the scenarios to be understood and accepted by members of a VO, the scenarios need to be specified in a standard,...

The advent of Web services is enabling a move towards service– oriented computing. In order for this new computing paradigm to scale, choreography standards that enable one to aggregate or compose existing services into new services are critical. Such standards would allow third–parties to provide value–added services very much like in real–world service–oriented economies. In this paper, we ex...