\(\mathcal {ESC}\): A Tool for Automatic Composition of e-Services Based on Logics of Programs

  • Daniela Berardi
  • Diego Calvanese
  • Giuseppe De Giacomo
  • Maurizio Lenzerini
  • Massimo Mecella
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3324)


In this paper we discuss an effective technique for automatic service composition and we present the prototype software that implements it. In particular, we characterize the behavior of a service in terms of a finite state machine. In this setting we discuss a technique based on satisfiability in a variant of Propositional Dynamic Logic that solves the automatic composition problem. Specifically, given (i) a client specification of his desired service, i.e., the service he would like to interact with, and (ii) a set of available services, our technique synthesizes the orchestration schema of a composite service that uses only the available services and fully realizes the client specification. The developed system is an open-source software tool, called \(\mathcal {ESC}\) (e-service composer), that implements our composition technique starting from services, each of them described in terms of a WSDL specification and a behavioral description expressed in any language that can capture finite state machines.


Service Composition Description Logic Composite Service Behavioral Description Service Orient Computing 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Concepts, Architectures and Applications. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  2. 2.
    Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services (Version 1.1) (May 2004),
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  4. 4.
    Batini, C., Mecella, M.: Enabling Italian e-Government Through a Cooperative Architecture. IEEE Computer 34(2) (2001)Google Scholar
  5. 5.
    Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Service Composition by Description Logic Based Reasoning. In: Proceedings of the Int. Workshop on Description Logics (DL 2003), Rome, Italy (2003)Google Scholar
  6. 6.
    Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: Automatic composition of e-services. Technical Report 22-03, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza” (2003)Google Scholar
  7. 7.
    Berardi, D., Calvanese, D., Giacomo, G.D., 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
  8. 8.
    Berardi, D., Calvanese, D., Giacomo, G.D., Lenzerini, M., Mecella, M.: A foundational vision of e-services. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol. 3095, pp. 28–40. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Berardi, D., De Rosa, F., De Santis, L., Mecella, M.: Finite State Automata as Conceptual Model for e-Services. Journal of Integrated Design and Process Science (2004) (to appear)Google Scholar
  10. 10.
    Buchheit, M., Donini, F.M., Schaerf, A.: Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research 1, 109–138 (1993)zbMATHMathSciNetGoogle Scholar
  11. 11.
    Bultan, T., Fu, X., Hull, R., Su, J.: Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In: Proceedings of the WWW 2003 Conference (2003)Google Scholar
  12. 12.
    Colombo, E., Francalanci, C., Pernici, B., Plebani, P., Mecella, M., De Antonellis, V., Melchiori, M.: Cooperative Information Systems in Virtual Districts: the VISPO Approach. IEEE Data Engineering Bulletin 25(4) (2002)Google Scholar
  13. 13.
    Kuno, A.K.H., Lemon, M., Beringer, D.: Conversations + Interfaces = Business Logic. In: Casati, F., Georgakopoulos, D., Shan, M.-C. (eds.) TES 2001. LNCS, vol. 2193, p. 30. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  14. 14.
    Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–705. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  15. 15.
    Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)zbMATHGoogle Scholar
  16. 16.
    Horrocks, I.: The FaCT System. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  17. 17.
    Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proceedings of the PODS 2003 Conference, San Diego, CA, USA (2003)Google Scholar
  18. 18.
    McIlraith, S., Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2) (2001)Google Scholar
  19. 19.
    Papazoglou, M., Georgakopoulos, D.: Service Oriented Computing (special issue). Communications of the ACM 46(10) (October 2003)Google Scholar
  20. 20.
    Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and Monitoring Web Service Composition. In: Proc. of ICAPS Workshop on Planning for Web and Grid Service, P4WGS 2004 (2004)Google Scholar
  21. 21.
    Katz, R.H.: Contemporany Logic Design. Benjamin Commings/Addison Wesley Publishing Company (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Daniela Berardi
    • 1
  • Diego Calvanese
    • 2
  • Giuseppe De Giacomo
    • 1
  • Maurizio Lenzerini
    • 1
  • Massimo Mecella
    • 1
  1. 1.Dipartimento di Informatica e Sistemistica “Antonio Ruberti”Università di Roma “La Sapienza”RomaItaly
  2. 2.Facoltà di Scienze e Tecnologie InformaticheLibera Università di Bolzano/BozenBolzano/BozenItaly

Personalised recommendations