A Minimalist Approach to Semantic Annotations for Web Processes Compositions

  • Marco Pistore
  • Luca Spalazzi
  • Paolo Traverso
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4011)


In this paper we propose a new approach to the automated composition of distributed processes described as semantic web services. Current approaches, such as those based on owl-s and wsmo, in spite of their expressive power, are hard to use in practice. Indeed, they require comprehensive and usually large ontological descriptions of the processes, and rather complex (and often inefficient) reasoning mechanisms. In our approach, we reduce to the minimum the usage of ontological descriptions of processes, so that we can perform a limited, but efficient and useful, semantic reasoning for composing web services. The key idea is to keep separate the procedural and the ontological descriptions, and to link them through semantic annotations. We define the formal framework, and propose a technique that can exploit simple reasoning mechanisms at the ontological level, integrated with effective reasoning mechanisms devised for procedural descriptions of web services.


Description Logic Composite Service Semantic Annotation Abstract State Machine Composition Problem 
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.
    Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services (version 1.1) (2003)Google Scholar
  2. 2.
    Baader, F., Nutt, W.: Basic Description Logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook, pp. 43–95. Cambridge University Press, Cambridge (2003)Google Scholar
  3. 3.
    Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    The OWL Services Coalition. OWL-S: Semantic Markup for Web Services (2003)Google Scholar
  5. 5.
    Constantinescu, I., Faltings, B., Binder, W.: Typed Based Service Composition. In: Proc. WWW 2004 (2004)Google Scholar
  6. 6.
    Donini, F.M.: Complexity of Reasoning. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook, pp. 96–136. Cambridge University Press, Cambridge (2003)Google Scholar
  7. 7.
    Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proc. PODS 2003 (2003)Google Scholar
  8. 8.
    Mandell, D., McIlraith, S.: Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 227–241. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language Overview. W3C Recommendation (2004)Google Scholar
  10. 10.
    Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. WWW 2002 (2002)Google Scholar
  11. 11.
    Paolucci, M., Sycara, K., Kawamura, T.: Delivering Semantic Web Services. In: Proc. WWW 2003 (2002)Google Scholar
  12. 12.
    Patil, A., Oundhakar, S., Sheth, A., Verma, K.: METEOR-S Web Service Annotation Framework. In: Proc. WWW 2004 (2004)Google Scholar
  13. 13.
    Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Proc. IJCAI 2005 (2005)Google Scholar
  14. 14.
    Pistore, M., Roberti, P., Traverso, P.: Process-level compositions of executable web services: on-the-fly versus once-for-all compositions. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 62–77. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: Proc. ICAPS 2005 (2005)Google Scholar
  16. 16.
    Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. ICWS 2005 (2005)Google Scholar
  17. 17.
    Schaerf, A.: Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Semantic Issues. Dottorato di Ricerca in Informatica, Università degli Studi di Roma, La Sapienza, Italia (1994)Google Scholar
  18. 18.
    Sheth, A., Verna, K., Miller, J., Rajasekaran, P.: Enhacing Web Service Descriptions using WSDL-S. In: EclipseCon (2005)Google Scholar
  19. 19.
    Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D thesis, RWTH Aachen (2001)Google Scholar
  20. 20.
    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
  21. 21.
    Verma, K., Mocan, A., Zarembra, M., Sheth, A., Miller, J.A.: Linking Semantic Web Service Efforts: Integrationg WSMX and METEOR-S. In: Proc. SDWP 2005 (2005)Google Scholar
  22. 22.
    SDK WSMO working group. The Web Service Modeling Framework, http://www.wsmo.org/
  23. 23.
    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

  • Marco Pistore
    • 1
  • Luca Spalazzi
    • 2
  • Paolo Traverso
    • 3
  1. 1.Università di TrentoPovo - TrentoItaly
  2. 2.Università Politecnica delle MarcheAnconaItaly
  3. 3.ITC-irstPovo - TrentoItaly

Personalised recommendations