Advertisement

Service Composition with Directories

  • Ion Constantinescu
  • Walter Binder
  • Boi Faltings
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4089)

Abstract

This paper presents planning-based service composition algorithms that dynamically interact with a potentially large-scale directory of service advertisements in order to retrieve matching service advertisements on demand. We start with a simple algorithm for untyped services, similar to a STRIPS planner. This algorithm is refined in two steps, first to exploit type information, and second to support partial type matches. An evaluation confirms that the algorithms scale well with increasing size of the directory and that the support for partial type matches is essential to achieve a low failure rate.

Keywords

Service composition planning service discovery semantic web services 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bayardo Jr., R.J., Bohrer, W., Brice, R., Cichocki, A., Fowler, J., Helal, A., Kashyap, V., Ksiezyk, T., Martin, G., Nodine, M., Rashid, M., Rusinkiewicz, M., Shea, R., Unnikrishnan, C., Unruh, A., Woelk, D.: InfoSleuth: Agent-based semantic integration of information in open and dynamic environments. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, vol. 26(2), pp. 195–206. ACM Press, New York (1997)CrossRefGoogle Scholar
  2. 2.
    Benatallah, B., Sheng, Q.Z., Dumas, M.: The self-serv environment for web services composition. IEEE Internet Computing 7(1), 40–48 (2003)CrossRefGoogle Scholar
  3. 3.
    Binder, W., Constantinescu, I., Faltings, B.: Directory support for large-scale, automated service composition. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 57–66. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artificial Intelligence 90(1–2), 281–300 (1997)zbMATHCrossRefGoogle Scholar
  5. 5.
    BPEL4WS. Business process execution language for web services version 1.1, http://www.ibm.com/developerworks/library/ws-bpel/
  6. 6.
    Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.-C.: Adaptive and dynamic service composition in eFlow. Technical Report HPL-2000-39, Hewlett Packard Laboratories (2000)Google Scholar
  7. 7.
    Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1-2), 35–84 (2003)zbMATHMathSciNetGoogle Scholar
  8. 8.
    Constantinescu, I., Binder, W., Faltings, B.: An extensible directory enabling efficient semantic web service integration. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 605–619. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Constantinescu, I., Binder, W., Faltings, B.: Flexible and efficient matchmaking and ranking in service directories. In: 2005 IEEE International Conference on Web Services (ICWS-2005), Florida, pp. 5–12 (July 2005)Google Scholar
  10. 10.
    Constantinescu, I., Faltings, B.: Efficient matchmaking and directory services. In: The 2003 IEEE/WIC International Conference on Web Intelligence, pp. 75–81 (2003)Google Scholar
  11. 11.
    Constantinescu, I., Faltings, B., Binder, W.: Large scale testbed for type compatible service composition. In: ICAPS 2004 workshop on planning and scheduling for web and grid services (2004)Google Scholar
  12. 12.
    Constantinescu, I., Faltings, B., Binder, W.: Large scale, type-compatible service composition. In: IEEE International Conference on Web Services (ICWS-2004), San Diego, CA, USA, pp. 506–513 (July 2004)Google Scholar
  13. 13.
    Doan, A., Halevy, A.Y.: Efficiently ordering query plans for data integration. In: ICDE (2002)Google Scholar
  14. 14.
    Fensel, D., Wahlster, W., Lieberman, H. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2002)Google Scholar
  15. 15.
    Fikes, R., Nilsson, N.J.: Strips: A new approach to the application of theorem proving to problem solving. In: IJCAI, pp. 608–620 (1971)Google Scholar
  16. 16.
    Giunchiglia, F., Traverso, P.: Planning as model checking. In: European Conference on Planning, pp. 1–20 (1999)Google Scholar
  17. 17.
    International Conference on Planning and Scheduling. International Planning Competition, http://ipc.icaps-conference.org/
  18. 18.
    Kuter, U., Nau, D.S.: Forward-chaining planning in nondeterministic domains. In: AAAI, pp. 513–518 (2004)Google Scholar
  19. 19.
    Li, L., Horrocks, I.: A software framework for matchmaking based on semantic web technology. In: Proceedings of the 12th International Conference on the World Wide Web (2003)Google Scholar
  20. 20.
    McIlraith, S., Son, T., Zeng, H.: Mobilizing the semantic web with DAML-enabled web services. In: Proc. Second International Workshop on the Semantic Web (SemWeb-2001), Hongkong (2001)Google Scholar
  21. 21.
    McIlraith, S.A., Son, T.C.: Adapting Golog for composition of semantic web services. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M.-A. (eds.) Proceedings of the 8th International Conference on Principles and Knowledge Representation and Reasoning (KR 2002), pp. 482–496. Morgan Kaufmann, San Francisco (2002)Google Scholar
  22. 22.
  23. 23.
    Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 333. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  24. 24.
    Pednault, E.P.D.: ADL: Exploring the middle ground between strips and the situation calculus. In: Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR 1989), pp. 324–332. Morgan Kaufmann, San Francisco (1989)Google Scholar
  25. 25.
    Ponnekanti, S.R., Fox, A.: Sword: A developer toolkit for web service composition. In: 11th World Wide Web Conference (Web Engineering Track) (2002)Google Scholar
  26. 26.
    Thakkar, S., Knoblock, C.A., Ambite, J.L., Shahabi, C.: Dynamically composing web services from on-line sources. In: Proceeding of the AAAI-2002 Workshop on Intelligent Service Integration, Edmonton, Alberta, Canada, pp. 1–7 (July 2002)Google Scholar
  27. 27.
    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)CrossRefGoogle Scholar
  28. 28.
    W3C. OWL Web Ontology Language 1.0 Reference, http://www.w3.org/tr/owl-ref/
  29. 29.
  30. 30.
    W3C. XML Schema Part 2: Datatypes, http://www.w3.org/tr/xmlschema-2/
  31. 31.
    WSMO. Web Service Modeling Ontology, http://www.wsmo.org/
  32. 32.
    Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195–210. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ion Constantinescu
    • 1
  • Walter Binder
    • 1
  • Boi Faltings
    • 1
  1. 1.Artificial Intelligence LaboratoryEcole Polytechnique Fédérale de Lausanne (EPFL)LausanneSwitzerland

Personalised recommendations