Model-Driven Semantic Service Matchmaking for Collaborative Business Processes

Business process modelling and execution in a collaborative environment requires a set of methodologies and tools which support the transition from an analysis to an execution level. Integrating the process with a pre-existing IT infrastructure leads to typical interoperability problems. Service-oriented architectures are today's favorite answer to solve these interoperability issues. To tackle them, the recent trend is to use the principles of model driven-design. In this paper, we apply these principles to Semantic Web service technology to assist a business orchestrator finding suitable services at design time, and composing workflows for agent-based execution. We describe a formal approach to preserve the content of the semantic annotations in the model and code transformations.

[1]  Jana Koehler,et al.  The Role of Visual Modeling and Model Transformations in Business-driven Development , 2008, GT-VMT@ETAPS.

[2]  Jun Sun,et al.  A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[3]  Roy Grønmo,et al.  Transformations Between UML and OWL-S , 2005, ECMDA-FA.

[4]  Esperanza Marcos,et al.  Modeling semantic web services: a case study , 2006, ICWE '06.

[5]  Heiko Schuldt,et al.  CASCOM: Intelligent Service Coordination in the Semantic Web , 2008 .

[6]  Alex Borgiday.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996 .

[7]  Roberto Chinnici,et al.  Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language , 2007 .

[8]  D4.2v0.1 Formal Mapping and Tool to OWL-S , 2004 .

[9]  Francisco Curbera,et al.  Web services description language (wsdl) version 1. 2 , 2001 .

[10]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[11]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[12]  Dragan Djuric,et al.  MDA-based ontology infrastructure , 2004, Comput. Sci. Inf. Syst..

[13]  Terry R. Payne,et al.  Formal Specification of OWL-S with Object-Z: the Static Aspect , 2007 .

[14]  Matthias Klusch,et al.  WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker , 2006, 2006 European Conference on Web Services (ECOWS'06).

[15]  Jos de Bruijn,et al.  Translating Ontologies from Predicate-based to Frame-based Languages , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[16]  Raphael Volz,et al.  Visual Modeling of OWL DL Ontologies Using UML , 2004, International Semantic Web Conference.

[17]  Gerald C. Gannod,et al.  Facilitating the Specification of Semantic Web Services Using Model-Driven Development , 2006, Int. J. Web Serv. Res..

[18]  Roger Duke,et al.  Formal Object Oriented Specification Using Object-Z , 2000 .

[19]  Bernhard Bauer,et al.  Creating a Meta-Model for Semantic Web Service Standards , 2007, WEBIST.