Optimizing Causal Link Based Web Service Composition

Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptions, it becomes conceivable to exploit causal links i.e., semantic matching between their functional parameters (i.e., outputs and inputs). The semantic quality of causal links involved in a composition can be then used as a innovative and distinguishing criterion to estimate its overall semantic quality. Therefore non functional criteria such as quality of service (QoS) are no longer considered as the only criteria to rank compositions satisfying the same goal. In this paper we focus on semantic quality of causal link based semantic Web service composition. First of all, we present a general and extensible model to evaluate quality of both elementary and composition of causal links. From this, we introduce a global causal link selection based approach to retrieve the optimal composition. This problem is formulated as an optimization problem which is solved using efficient integer linear programming methods. The preliminary evaluation results showed that our global selection based approach is not only more suitable than the local approach but also outperforms the naive approach.

[1]  Freddy Lécué,et al.  A Formal Model for Semantic Web Service Composition , 2005, SEMWEB.

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

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

[4]  Ralf Küsters,et al.  Approximation and Difference in Description Logics , 2002, KR.

[5]  Gunnar Teege Making the Difference: A Subtraction Operation for Description Logics , 1994, KR.

[6]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[7]  Ismailcem Budak Arpinar,et al.  Ontology-driven Web services composition platform , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[8]  Amit P. Sheth,et al.  Adding Semantics to Web Services Standards , 2003, ICWS.

[9]  Christos H. Papadimitriou,et al.  On the complexity of integer programming , 1981, JACM.

[10]  Tao Yu,et al.  Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints , 2005, ICSOC.

[11]  Freddy Lécué,et al.  Making the Difference in Semantic Web Service Composition , 2007, AAAI.

[12]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.

[13]  Ralf Küsters Non-Standard Inferences in Description Logics , 2001, Lecture Notes in Computer Science.

[14]  G. Nemhauser,et al.  Integer Programming , 2020 .

[15]  Danilo Ardagna,et al.  Adaptive Service Composition in Flexible Processes , 2007, IEEE Transactions on Software Engineering.

[16]  Toru Ishida,et al.  A Constraint-Based Approach to Horizontal Web Service Composition , 2006, International Semantic Web Conference.

[17]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[18]  Maria Luisa Villani,et al.  An approach for QoS-aware service composition based on genetic algorithms , 2005, GECCO '05.

[19]  Francesco M. Donini,et al.  Concept Abduction and Contraction in Description Logics , 2003, Description Logics.

[20]  Ralf Steinmetz,et al.  Heuristics for QoS-aware Web Service Composition , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[21]  Ian Horrocks,et al.  A software framework for matchmaking based on semantic web technology , 2003, WWW '03.