Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study

Several approaches have been proposed to tackle the selection of distributed processes described as semantic Web services. However, their practical applicability in real composition scenarios is still an open question. Addressing this problem requires on the one hand to deal with services described as stateful business processes and, on the other hand, to consider complex selection requirements concerning both the service interface and its behavior. In fact, in most existing approaches the selection is performed on the basis of the ldquofunctionalrdquo description of a service, i.e. in terms of its inputs, outputs, preconditions and effects. In this paper, we present our approach for the process-level service selection and evaluate it on a real world scenario that entails a high level of complexity: the eBay Web Services,the Amazon E-Commerce Services and the e-payment service offered by PayPal. The approach is based on a representation of services at the process level that is based on BPEL and WSDL specifications and that extends these standard specifications with minimal semantic annotations that permit to perform an efficient and yet useful, semantic reasoning for the process-level selection of Web services.

[1]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

[2]  Marco Pistore,et al.  Planning with a language for extended goals , 2002, AAAI/IAAI.

[3]  James A. Hendler,et al.  DAML+OIL: An Ontology Language for the Semantic Web , 2002, IEEE Intell. Syst..

[4]  Jeff Heflin,et al.  Document-Centric Query Answering for the Semantic Web , 2007, IEEE/WIC/ACM International Conference on Web Intelligence (WI'07).

[5]  Piergiorgio Bertoli,et al.  MBP: a Model Based Planner , 2001 .

[6]  Amit P. Sheth,et al.  Semantic annotation of web services , 2003 .

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

[8]  Luca Spalazzi,et al.  Semantic Annotation for Web Service Processes in Pervasive Computing , 2010, Pervasive Computing, Innovations in Intelligent Multimedia and Applications.

[9]  Sudhir Agarwal A Goal Specification Language for Automated Discovery and Composition of Web Services , 2007, IEEE/WIC/ACM International Conference on Web Intelligence (WI'07).

[10]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

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

[12]  Diego Calvanese,et al.  Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics , 2006, AAAI.

[13]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

[14]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[15]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[16]  Fausto Giunchiglia,et al.  NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.

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

[18]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

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

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

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

[22]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[23]  Marco Pistore,et al.  A Minimalist Approach to Semantic Annotations for Web Processes Compositions , 2006, SEBD.

[24]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

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

[26]  Marco Pistore,et al.  Web Service Discovery at Process-level Based on Semantic Annotation , 2007, SEBD.

[27]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.