Configuration of Web Services as Parametric Design

The configuration of composite Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely to be complex services, that will require adaptation for each specific use. We propose a knowledge-intensive brokering approach to the creation of composite Web services. In our approach, we describe a complex Web service as a fixed template, which must be configured for each specific use. Web service configuration can then be regarded as parametric design, in which the parameters of the fixed template have to be instantiated with appropriate component services. During the configuration process, we exploit detailed knowledge about the template and the components, to obtain the required composite web service. Our approach exploits the knowledge engineering literature, and in particular the problem solving methods work of the last decade. We illustrate our proposal by applying it to a specific family of Web services, namely "classification services". We have implemented a prototype of our knowledge-intensive broker and describe its execution in a concrete scenario.

[1]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[2]  James A. Hendler,et al.  Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.

[3]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[4]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[5]  Sheila A. McIlraith,et al.  Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation , 2003, SEMWEB.

[6]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[7]  James A. Hendler,et al.  The Semantic Web — ISWC 2002 , 2002, Lecture Notes in Computer Science.

[8]  Enrico Motta,et al.  A Library of Components for Classification Problem Solving , 2000 .

[9]  William P. Birmingham,et al.  Editorial: the Sisyphus-VT initiative , 1996, Int. J. Hum. Comput. Stud..

[10]  M. G. Jansen Formal explorations of knowledge intensive tasks , 2003 .

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

[12]  Andre Valente,et al.  A library of system-derived problem-solving methods for plannin , 1998, Int. J. Hum. Comput. Stud..

[13]  A. T. Schreiber,et al.  The Sisyphus-VT initiative , 1996 .

[14]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

[15]  Frank van Harmelen,et al.  Construction of problem-solving methods as parametric design , 1998, Int. J. Hum. Comput. Stud..

[16]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[17]  Frances M. T. Brazier,et al.  Configuring Web services, using structuring and techniques from agent configuration , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[18]  James A. Hendler,et al.  Automatic Web Services Composition Using SHOP2 , 2003, WWW.

[19]  B. Chandrasekaran,et al.  Generic tasks as building blocks for knowledge-based systems: the diagnosis and routine design examples , 1988, The Knowledge Engineering Review.

[20]  David C. Brown,et al.  Design Problem Solving: Knowledge Structures and Control Strategies , 1989 .

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

[22]  Marta Sabou,et al.  An experience report on using DAML-S , 2003, WWW 2003.

[23]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.