3-Level Behavioural Models for Semantic Web Services

There are two types of behavioural models 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. This paper presents 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.

[1]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[2]  Jos de Bruijn,et al.  Enabling Semantic Web Services: The Web Service Modeling Ontology , 2006 .

[3]  Jos de Bruijn,et al.  Enabling Semantic Web Services , 2007 .

[4]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[5]  Armin Haller,et al.  WSMX - a semantic service-oriented architecture , 2005, IEEE International Conference on Web Services (ICWS'05).

[6]  Wil M. P. van der Aalst,et al.  From BPMN Process Models to BPEL Web Services , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[7]  Patrick Albert,et al.  Configuration based workflow composition , 2005, IEEE International Conference on Web Services (ICWS'05).

[8]  Patrick Albert,et al.  A Constrained Object Model for Configuration Based Workflow Composition , 2005, Business Process Management Workshops.

[9]  Wil M. P. van der Aalst,et al.  Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams , 2005, ER.

[10]  Laurent Henocque,et al.  Modeling Object Oriented Constraint Programs in Z , 2003, ArXiv.

[11]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[12]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[13]  Dieter Fensel,et al.  Semantic business process management: a vision towards using semantic Web services for business process management , 2005, IEEE International Conference on e-Business Engineering (ICEBE'05).

[14]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[15]  Michael Mendler,et al.  A Compositional Semantic Theory for Synchronous Component-based Design , 2003, CONCUR.

[16]  Barry Norton.  Experiences with OWL-S, Directions for Service Composition: The Cashew Position , 2005, OWLED.

[17]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[18]  John Domingue,et al.  IRS-III: A Broker for Semantic Web Services Based Applications , 2006, International Semantic Web Conference.

[19]  Carlos Pedrinaci,et al.  Ontology for Web Services Choreography and Orchestration , 2007 .

[20]  Marlon Dumas,et al.  Pattern-based analysis of UML activity diagrams , 2004 .

[21]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[22]  Jos de Bruijn,et al.  The Web Service Modeling Ontology , 2008 .

[23]  Anupriya Ankolekar,et al.  Concurrent Semantics for the Web Services Specification Language DAML-S , 2002, COORDINATION.

[24]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .