3-Level Behavioural Models for Semantic Web Services

Abstract

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 behavioural descriptions, and how UML Activity Diagrams and the Cashew workflow model fit into this, building on existing work on the use of Abstract State Machines to define behaviour in WSMO.