Skip to main content

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

  • Chapter
Conceptual Modeling: Foundations and Applications

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5600))

Abstract

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.

An earlier version of this paper originally appeared as Web Service Composition via Generic Procedures and Customizing User Preferences in [1] and is reprinted in revised form with the permission of the publishers.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web service composition via generic procedures and customizing user preferences. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 597–611. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the 8th International Conference on Knowledge Representation and Reasoning (KR), Toulouse, France, pp. 482–493 (2002)

    Google Scholar 

  3. McDermott, D.V.: Estimated-regression planning for interactions with web services. In: Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling (AIPS), pp. 204–211 (2002)

    Google Scholar 

  4. Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 380–394. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  5. McIlraith, S., Son, T., Zeng, H.: Semantic Web services. IEEE Intelligent Systems (Special Issue on the Semantic Web) 16 (2001)

    Google Scholar 

  6. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  7. Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for web service composition using SHOP2. Journal of Web Semantics 1(4), 377–396 (2005)

    Article  Google Scholar 

  8. Bienvenu, M., Fritz, C., McIlraith, S.: Planning with qualitative temporal preferences. In: Proceedings of the 10th International Conference on Knowledge Representation and Reasoning (KR), pp. 134–144 (2006)

    Google Scholar 

  9. Bienvenu, M., Fritz, C., McIlraith, S.: Specifying and generating preferred plans (submitted for publication, 2009)

    Google Scholar 

  10. Horrocks, I., Patel-Schneider, P., van Harmelen, F.: From \(\mathcal{SHIQ}\) and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)

    Article  Google Scholar 

  11. Martin, D., Burstein, M., McDermott, D., McIlraith, S., Paolucci, M., Sycara, K., McGuinness, D., Sirin, E., Srinivasan, N.: Bringing semantics to web services with OWL-S. World Wide Web Journal 10(3), 243–277 (2007)

    Article  Google Scholar 

  12. Bruijn, J.D., Lausen, H., Polleres, A., Fensel, D.: The web service modeling language WSML: An overview. Technical report, DERI (2006)

    Google Scholar 

  13. Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: Semantic web service ontology (SWSO) first-order logic ontology for web services, FLOWS (2005), http://www.daml.org/services/swsl/report/

  14. Klusch, M., Gerber, A., Schmidt, M.: Semantic web service composition planning with OWLS-Xplan. In: AAAI 2005 Fall Symposium (2005)

    Google Scholar 

  15. McIlraith, S., Fadel, R.: Planning with complex actions. In: Proceedings of the 9th International Workshop on Non-Monotonic Reasoning NMR-2002, pp. 356–364 (2002)

    Google Scholar 

  16. Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. of the 11th International World Wide Web Conference, WWW 2002 (2002)

    Google Scholar 

  17. De Giacomo, G., Lespérance, Y., Levesque, H.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1–2), 109–169 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  18. Sirin, E., Parsia, B., Hendler, J.: Template-based composition of semantic web services. In: AAAI-2005 Fall Symposium on Agents and the Semantic Web (2005)

    Google Scholar 

  19. Fritz, C., McIlraith, S.: Decision-theoretic golog with qualitative preferences. In: Proceedings of the 10th International Conference on Knowledge Representation and Reasoning (KR), Lake District, UK, pp. 153–163 (2006)

    Google Scholar 

  20. Gerevini, A., Long, D.: Plan constraints and preferences for PDDL3. Technical Report 2005-08-07, Department of Electronics for Automation, University of Brescia, Brescia, Italy (2005)

    Google Scholar 

  21. Lin, N., Kuter, U., Sirin, E.: Web service composition with user preferences. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 629–643. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  22. Sohrabi, S., McIlraith, S.A.: On planning with preferences in HTN. In: 12th International Workshop on Non-Monotonic Reasoning (NMR-2008), Sydney, Australia, pp. 241–248 (2008)

    Google Scholar 

  23. Sohrabi, S., Baier, J., McIlraith, S.: HTN planning with preferences. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Sohrabi, S., Prokoshyna, N., McIlraith, S.A. (2009). Web Service Composition via the Customization of Golog Programs with User Preferences. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds) Conceptual Modeling: Foundations and Applications. Lecture Notes in Computer Science, vol 5600. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02463-4_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02463-4_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02462-7

  • Online ISBN: 978-3-642-02463-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics