Abstract
The main focus of this paper is on automatic e-Service composition. We start by developing a framework in which the exported behavior of an e-Service is described in terms of its possible executions (execution trees). Then we specialize the framework to the case in which such exported behavior (i.e., the execution tree of the e-Service) is represented by a finite state machine. In this specific setting, we analyze the complexity of synthesizing a composition, and develop sound and complete algorithms to check the existence of a composition and to return one such a composition if one exists. To the best of our knowledge, our work is the first attempt to provide an algorithm for the automatic synthesis of e-Service composition, that is both proved to be correct, and has an associated computational complexity characterization.
This work has been partially supported by MIUR through the “Fondo Strategico 2000” Project VISPO and the “FIRB 2001” Project MAIS. The work of Massimo Mecella has been also partially supported by the European Commission under Contract No. IST-2001-35217, Project EU-PUBLI.com.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Aiello, M., Papazoglou, M.P., Yang, J., Carman, M., Pistore, M., Serafini, L., Traverso, P.: A Request Language for Web-Services Based on Planning and Constraint Satisfaction. In: Proc. of VLDB-TES (2002)
Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Payne, T., Sycara, K.: DAML-S: Web Service Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 348. Springer, Heidelberg (2002)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. CUP, Cambridge (2003)
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of e-Services. Technical Report DIS 22–03, http://www.dis.uniroma1.it/~berardi/publications/techRep/TR-22-03.pdf
Berardi, D., Calvanese, D., De Giacomo, G., 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. In: Proc. of IDPT 2003 (2003) (to appear)
Bultan, T., Fu, X., Hull, R., Su, J.: Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In: Proc. of WWW 2003 (2003)
Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in Expressive Description Logics. In: Handbook of Automated Reasoning, ESP (2001)
Casati, F., Shan, M.C.: Dynamic and Adaptive Composition of e-Services. Information Systems 6(3) (2001)
Fauvet, M.C., Dumas, M., Benatallah, B., Paik, H.Y.: Peer-to-Peer Traced Execution of Composite Services. In: Proc. of VLDB-TES 2001 (2001)
Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proc. of PODS 2003 (2003)
Kozen, D., Tiuryn, J.: Logics of programs. In: Handbook of Theoretical Computer Science — Formal Models and Semantics, ESP (1990)
Mecella, M., Pernici, B.: Building Flexible and Cooperative Applications Based on e-Services. Technical Report DIS 21–(2002), http://www.dis.uniroma1.it/~mecella/publications/mp_techreport_212002.pdf
Mecella, M., Pernici, B., Craca, P.: Compatibility of e-Services in a Cooperative Multi-Platform Environment. In: Proc. of VLDB-TES 2001 (2001)
Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of WWW 2002 (2002)
Papazoglou, M.: Agent-Oriented Technology in Support of e-Business. Communications of the ACM 44(4), 71–77 (2001)
Pilioura, T., Tsalgatidou, A.: e-Services: Current Technologies and Open Issues. In: Proc. of VLDB-TES 2001 (2001)
Schuster, H., Georgakopoulos, D., Cichocki, A., Baker, D.: Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, p. 247. Springer, Heidelberg (2000)
Shegalov, G., Gillmann, M., Weikum, G.: XML-enabled Workflow Management for e-Services across Heterogeneous Platforms. VLDB Journal 10(1) (2001)
Yang, J., Papazoglou, M.P.: Web Components: A Substrate for Web Service Reuse and Composition. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, p. 21. Springer, Heidelberg (2002)
Yang, J., van den Heuvel, W.J., Papazoglou, M.P.: Tackling the Challenges of Service Composition in e-Marketplaces. In: Proc. of RIDE-2EC 2002 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M. (2003). Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds) Service-Oriented Computing - ICSOC 2003. ICSOC 2003. Lecture Notes in Computer Science, vol 2910. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24593-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-24593-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20681-1
Online ISBN: 978-3-540-24593-3
eBook Packages: Springer Book Archive