Advertisement

Automatic Composition of E-services That Export Their Behavior

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

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.

Keywords

State Machine Service Composition Finite State Machine Atomic Proposition Internal Schema 
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

  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. CUP, Cambridge (2003)zbMATHGoogle Scholar
  4. 4.
    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
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in Expressive Description Logics. In: Handbook of Automated Reasoning, ESP (2001)Google Scholar
  9. 9.
    Casati, F., Shan, M.C.: Dynamic and Adaptive Composition of e-Services. Information Systems 6(3) (2001)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proc. of PODS 2003 (2003)Google Scholar
  12. 12.
    Kozen, D., Tiuryn, J.: Logics of programs. In: Handbook of Theoretical Computer Science — Formal Models and Semantics, ESP (1990)Google Scholar
  13. 13.
    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
  14. 14.
    Mecella, M., Pernici, B., Craca, P.: Compatibility of e-Services in a Cooperative Multi-Platform Environment. In: Proc. of VLDB-TES 2001 (2001)Google Scholar
  15. 15.
    Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of WWW 2002 (2002)Google Scholar
  16. 16.
    Papazoglou, M.: Agent-Oriented Technology in Support of e-Business. Communications of the ACM 44(4), 71–77 (2001)CrossRefGoogle Scholar
  17. 17.
    Pilioura, T., Tsalgatidou, A.: e-Services: Current Technologies and Open Issues. In: Proc. of VLDB-TES 2001 (2001)Google Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    Shegalov, G., Gillmann, M., Weikum, G.: XML-enabled Workflow Management for e-Services across Heterogeneous Platforms. VLDB Journal 10(1) (2001)Google Scholar
  20. 20.
    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)CrossRefGoogle Scholar
  21. 21.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Daniela Berardi
    • 1
  • Diego Calvanese
    • 1
  • Giuseppe De Giacomo
    • 1
  • Maurizio Lenzerini
    • 1
  • Massimo Mecella
    • 1
  1. 1.Dipartimento di Informatica e SistemisticaUniversità di Roma “La Sapienza”RomaItaly

Personalised recommendations