Semantic Service Composition and Co-ordination in CASCOM

Web) services allow for a fine-grained description of the functionality of single services and highly facilitate the combination and composition of several services into pro- cesses. The traditional workflow and process management approach considers the definition of a process at build-time without taking into account the service instances that are actually available at run-time. Moreover, failures have to be anticipated in order to define appropriate failure han- dling strategies. In this paper, we present an agent-based approach where process execution is distributed among a set of agents. A dedicated planning component composes semantic services based on the particular goals of an ap- plication. In case of failures, the planner is re-invoked in order to define contingency execution strategies. Finally, instance matchmaking is done at run-time by choosing the most appropriate service provider (according to pre-defined quality-of-service constraints). The focus of this paper is on the interaction of planning, matchmaking, and execution of processes (compound services) consisting of invocations of semantic web services. In the EU-funded project CASCOM, these technologies are currently applied to the composition of semantic services from the healthcare domain in order to run individualized applications (processes), thereby provid- ing access to an eHealth digital library of services and data.

[1]  Amit P. Sheth,et al.  Meteor-s web service annotation framework , 2004, WWW '04.

[2]  Boi Faltings,et al.  Efficient matchmaking and directory services , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[3]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[4]  Bernhard Nebel,et al.  The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..

[5]  Francesco M. Donini,et al.  An Agency for Semantic-Based Automatic Discovery of Web Services , 2004, AIAI.

[6]  Farnoush Banaei Kashani,et al.  WSPDS: Web Services Peer-to-Peer Discovery Service , 2004, International Conference on Internet Computing.

[7]  Mark Klein,et al.  Towards High-Precision Service Retrieval , 2002, SEMWEB.

[8]  James A. Hendler,et al.  Automating DAML-S Web Services Composition Using SHOP2 , 2003, SEMWEB.

[9]  Heiko Schuldt,et al.  Peer-to-peer Execution of (transactional) Processes , 2005, Int. J. Cooperative Inf. Syst..

[10]  Sasu Tarkoma,et al.  Adaptive Agent-Based Service Composition for Wireless Terminals , 2003, CIA.

[11]  Timothy W. Finin,et al.  A Planner for Composing Services Described in DAML-S , 2003 .

[12]  Ian Foster,et al.  The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[13]  Heiko Schuldt,et al.  Infrastructure for Information Spaces , 2002, ADBIS.

[14]  José M. Vidal,et al.  Matchmaking of web services based on the DAML-S service model , 2003, AAMAS '03.

[15]  André Schiper,et al.  Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view , 2004, CSUR.

[16]  Ian Horrocks,et al.  A Software Framework for Matchmaking Based on Semantic Web Technology , 2004, Int. J. Electron. Commer..

[17]  Matthias Klusch,et al.  Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace , 2002, Autonomous Agents and Multi-Agent Systems.

[18]  Gustavo Alonso,et al.  Atomicity and isolation for transactional processes , 2002, TODS.

[19]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[20]  Matthias Klusch,et al.  Semantic Web Service Composition Planning with OWLS-Xplan , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[21]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[22]  Catriel Beeri,et al.  A Workflow System through Cooperating Agents for Control and Document Flow over the Internet , 2000, CoopIS.

[23]  Mark Klein,et al.  Massachusetts Institute of Technology Abraham Bernstein University of Zurich Toward High-Precision Service Retrieval , 2022 .

[24]  Boualem Benatallah,et al.  A Petri Net-based Model for Web Service Composition , 2003, ADC.

[25]  Claudio Bartolini,et al.  A Semantic Web Approach to Service Description for Matchmaking of Services , 2001, SWWS.

[26]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[27]  Birgitta König-Ries,et al.  Coupled Signature and Specification Matching for Automatic Service Binding , 2004, ECOWS.

[28]  Heiko Schuldt,et al.  Scalable peer-to-peer process management - the OSIRIS approach , 2004, Proceedings. IEEE International Conference on Web Services, 2004..