3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services
نویسندگان
چکیده
There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service’s behaviour as a composition of existing parts, a choreography is intended to document the conversation of messages exchanged with a single client. In this paper we present a three-level model for behavioural descriptions, and how the Cashew workflow model fits into this, building on existing work in, and establishing connections with, semantic web services, workflow, and software engineering design.
منابع مشابه
3-Level Behavioural Models for Semantic Web Services
There are two types of behavioural model in the WSMO semantic description of services: an orchestration and a choreography, together called the interface. While an orchestration defines a service’s behaviour as a composition of existing parts, a choreography is intended to document the conversation of messages exchanged with its client. In this paper we present a three-level model for behaviour...
متن کامل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...
متن کاملExperiences with OWL-S, Directions for Service Composition: The Cashew Position
Having used OWL-S for some time, both in the form of the ‘Virtual Machine’ [12] and our own experimental implementation [7], the Cashew project has drawn a number of conclusions about its existing process model which we assert as follow: 1. OWL-S is not service composition; 2. OWL-S defines orchestration but not choreography; 3. OWL-S is incompatible with choreography; 4. OWL-S is insufficientl...
متن کاملReasoning Tasks and Mediation on Choreography and Orchestration in WSMO
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...
متن کاملFormal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography
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...
متن کامل