Web Service Composition via the Customization of Golog Programs with User Preferences

We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of specifying and intergrating user preferences into Web service composition. To this end, we propose a means of performing automated Web service composition by exploiting a flexible template of the composition in the form of a generic procedure. This template is augmented by a rich specification of user preferences that guide the instantiation of the template. We exploit the agent programming language Golog to represent our templates as Golog generic procedures and we exploit a first-order preference language to represent rich qualitative temporally-extended user preferences. From these we generate Web service compositions that realize a given generic procedure, satisfying the user's hard constraints and optimizing for the user's preferences. We prove our approach is sound and optimal. Our system, GologPref, is implemented and interacting with services on the Web. The language and techniques proposed in this paper can be integrated into a variety of approaches to Web or Grid service composition.

[1]  Sheila A. McIlraith,et al.  On Planning with Preferences in HTN , 2009, ArXiv.

[2]  Sheila A. McIlraith,et al.  Web Service Composition Via Generic Procedures and Customizing User Preferences , 2006, SEMWEB.

[3]  Evren Sirin,et al.  Web Service Composition with User Preferences , 2008, ESWC.

[4]  Deborah L. McGuinness,et al.  Bringing Semantics to Web Services with OWL-S , 2007, World Wide Web.

[5]  Sheila A. McIlraith,et al.  Planning with complex actions , 2002, NMR.

[6]  Jean Oh,et al.  Mixed-initiative, multi-source information assistants , 2001, WWW '01.

[7]  Jos de Bruijn,et al.  The Web Service Modeling Language WSML: An Overview , 2006, ESWC.

[8]  Karen L. Myers.  Strategic Advice for Hierarchical Planners , 1996, KR.

[9]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[10]  Diego Calvanese,et al.  Automatic Service Composition and Synthesis: the Roman Model , 2008, IEEE Data Eng. Bull..

[11]  James A. Hendler,et al.  Template-based Composition of Semantic Web Services , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[12]  Karen L. Myers.  Planning with Conflicting Advice , 2000, AIPS.

[13]  Matthias Klusch,et al.  Evaluation of Service Composition Planning with OWLS-XPlan , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops.

[14]  Drew McDermott,et al.  Estimated-Regression Planning for Interactions with Web Services , 2002, AIPS.

[15]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[16]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[17]  Sheila A. McIlraith,et al.  Decision-Theoretic GOLOG with Qualitative Preferences , 2006, KR.

[18]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[19]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[20]  Jorge A. Baier,et al.  HTN Planning with Preferences , 2009, IJCAI.

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

[22]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[23]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

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

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

[26]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

[27]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[28]  Sheila A. McIlraith,et al.  Optimizing Web Service Composition While Enforcing Regulations , 2009, SEMWEB.

[29]  Sheila A. McIlraith,et al.  Planning with Qualitative Temporal Preferences , 2006, KR.

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

[31]  Michael Wooldridge,et al.  Proceedings of the 21st International Joint Conference on Artificial Intelligence , 2009 .

[32]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.