Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Concepts, Architectures and Applications. Springer, Heidelberg (2004)
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), http://www-106.ibm.com/developerworks/library/ws-bpel/
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)
Batini, C., Mecella, M.: Enabling Italian e-Government Through a Cooperative Architecture. IEEE Computer 34(2) (2001)
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)
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)
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)
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)
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)
Buchheit, M., Donini, F.M., Schaerf, A.: Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research 1, 109–138 (1993)
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)
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)
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)
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)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Horrocks, I.: The FaCT System. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)
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)
McIlraith, S., Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems 16(2) (2001)
Papazoglou, M., Georgakopoulos, D.: Service Oriented Computing (special issue). Communications of the ACM 46(10) (October 2003)
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)
Katz, R.H.: Contemporany Logic Design. Benjamin Commings/Addison Wesley Publishing Company (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M. (2005). \(\mathcal {ESC}\): A Tool for Automatic Composition of e-Services Based on Logics of Programs. In: Shan, MC., Dayal, U., Hsu, M. (eds) Technologies for E-Services. TES 2004. Lecture Notes in Computer Science, vol 3324. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31811-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-31811-8_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25049-4
Online ISBN: 978-3-540-31811-8
eBook Packages: Computer ScienceComputer Science (R0)