Two-Phase Web Service Discovery Based on Rich Functional Descriptions

  • Michael Stollberg
  • Uwe Keller
  • Holger Lausen
  • Stijn Heymans
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4519)


Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two extensions in continuation of previous works towards goal-based Web service discovery with sophisticated semantic matchmaking. At first, we distinguish goal templates as generic objective descriptions and goal instances that denote concrete requests as an instantiation of a goal template. Secondly, we formally describe requested and provided functionalities on the level of state transitions that denote executions of Web services, respectively solutions for goals. Upon this, we specify a two-phase discovery procedure along with semantic matchmaking techniques that allow to accurately determine the usability of a Web service. The techniques are defined in the Abstract State Space model that supports several languages for describing Web services.


Functional Description Matching Degree Abstract State Space Background Ontology Concrete Input 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Data-Centric Systems and Applications. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  2. 2.
    Benatallah, B., Hacid, M.-S., Leger, A., Rey, C., Toumani, F.: On Automating Web Services Discovery. VLDB Journal 14(1), 84–96 (2005)CrossRefGoogle Scholar
  3. 3.
    Bratman, M.E.: Intention, Plans and Practical Reason. Harvard University Press, Cambridge (1987)Google Scholar
  4. 4.
    Cabral, L., Domingue, J., Galizia, S., Gugliotta, A., Tanasescu, V., Pedrinaci, C., Norton, B.: IRS-III: A Broker for Semantic Web Services Based Applications. 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. 201–214. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Cimpian, E., Mocan, A., Stollberg, M.: Mediation Enabled Semantic Web Services Usage. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 459–473. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Dickinson, I., Wooldridge, M.: Agents are not (just) Web Services: Considering BDI Agents and Web Services. In: Proc. of the 2005 Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE’2005), Utrecht, The Netherlands (2005)Google Scholar
  7. 7.
    Hull, D., Zolin, E., Bovykin, A., Horrocks, I., Sattler, U., Stevens, R.: Deciding Semantic Matching of Stateless Services. In: Proc. of the 21st National Conference on Artificial Intelligence, AAAI’06 (2006)Google Scholar
  8. 8.
    Keller, U., Lara, R., Lausen, H., Fensel, D.: Semantic Web Service Discovery in the WSMO Framework. In: Cardoses, J. (ed.) Semantic Web: Theory, Tools and Applications, Idea Publishing Group, Hershey (2006)Google Scholar
  9. 9.
    Keller, U., Lara, R., Lausen, H., Polleres, A., Fensel, D.: Automatic Location of Services. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 1–16. Springer, Heidelberg (2005)Google Scholar
  10. 10.
    Keller, U., Lausen, H., Stollberg, M.: On the Semantics of Functional Descriptions of Web Services. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 605–619. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Lara, R.: Two-phased Web Service Discovery. In: Proc. of AI-Driven Technologies for Services-Oriented Computing Workshop at AAAI-06, Boston, USA (2006)Google Scholar
  12. 12.
    Lausen, H., Polleres, A., Roman, D. (eds.): Web Service Modeling Ontology (WSMO). W3C Member Submission 3 June (2005)Google Scholar
  13. 13.
    Li, L., Horrocks, I.: A Software Framework for Matchmaking based on Semantic Web Technology. In: Proc. of the 12th World Wide Web Conference, Budapest, Hungary (2003)Google Scholar
  14. 14.
    Martin, D.: OWL-S: Semantic Markup for Web Services. W3C Member Submission 22 November (2004), online:
  15. 15.
    Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1990)Google Scholar
  16. 16.
    Paolucci, M., Kawamura, T., Payne, T.R., Sycara, K.P.: Semantic Matching of Web Services Capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 333. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  17. 17.
    Preist, C.: A Conceptual Architecture for Semantic Web Services. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 395–409. Springer, Heidelberg (2004)Google Scholar
  18. 18.
    Riazanov, A., Voronkov, A.: The Design and Implementation of VAMPIRE. AI Communications (Special Issue on CASC) 15(2), 91–110 (2002)zbMATHGoogle Scholar
  19. 19.
    Smullyan, R.M.: First Order Logic. Springer, Heidelberg (1968)zbMATHGoogle Scholar
  20. 20.
    Stollberg, M., Keller, U.: Semantic Web Service Discovery. Technical report, DERI (2006)Google Scholar
  21. 21.
    Stollberg, M., Norton, B.: A Refined Goal Model for Semantic Web Services. In: Proc. of the 2nd International Conference on Internet and Web Applications and Services (ICIW 2007), Mauritius (2007)Google Scholar
  22. 22.
    Stollberg, M., Roman, D., Toma, I., Keller, U., Herzog, R., Zugmann, P., Fensel, D.: Semantic Web Fred – Automated Goal Resolution on the Semantic Web. In: Proc. of the 38th Hawaii International Conference on System Science, HICSS-38 (2005)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Michael Stollberg
    • 1
  • Uwe Keller
    • 1
  • Holger Lausen
    • 1
  • Stijn Heymans
    • 1
  1. 1.Digital Enterprise Research Institute Innsbruck (DERI Austria), Institute for Computer Science, University of Innsbruck, Technikerstrasse 21a, A-6020 InnsbruckAustria

Personalised recommendations