ESC: A tool for automatic composition of e-services based on logics of programs

Lecture Notes in Computer Science

Volumn 3324, Issue , 2005, Pages 80-94

  Berardi, Daniela ^a   Calvanese, Diego ^b   De Giacomo, Giuseppe ^a   Lenzerini, Maurizio ^a   Mecella, Massimo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPOSITION; COMPUTER SOFTWARE; OPEN SYSTEMS; PROBLEM SOLVING; SPECIFICATIONS;

AUTOMATIC COMPOSITION; AUTOMATIC SERVICE; COMPOSITION TECHNIQUE; FINITE STATE MACHINE;

TELECOMMUNICATION SERVICES;

EID: 23944516249     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31811-8_7     Document Type: Conference Paper

References (21)

1. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer-Verlag, 2004.
2. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services (Version 1.1). http://www-106.ibm. com/developerworks/library/ws-bpel/, May 2004.
3. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
4. C. Batini and M. Mecella. Enabling Italian e-Government Through a Cooperative Architecture. IEEE Computer, 34(2), 2001.
5. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. service Composition by Description Logic Based Reasoning. In Proceedings of the Int. Workshop on Description Logics (DL03), Rome, Italy 2003.
6. D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services. Technical Report 22-03, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2003.
7. D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. of the 1st Int. Conf. on Service Oriented Computing (ICSOC2003), 2003.
8. D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella. A foundational vision of e-services. In Proc. of the CAiSE 2003 Workshop on Web Services, e-Business, and the Semantic Web (WES 2003), 2003.
9. D. Berardi, F. De Rosa, L. De Santis, and M. Mecella. Finite State Automata as Conceptual Model for e-Services. In Journal of Integrated Design and Process Science, 2004. To appear.
10. M. Buchheit, F. M. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. J. of Artificial Intelligence Research, 1:109-138, 1993.
11. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of E-Service Composition. In Proceedings of the WWW 2003 Conference, Budapest, Hungary, 2003.
12. E. Colombo, C. Francalanci, B. Pernici, P. Plebani, M. Mecella, V. De Antonellis, and M. Melchiori. Cooperative Information Systems in Virtual Districts: the VISPO Approach. IEEE Data Engineering Bulletin, 25(4), 2002.
13. A. K. H. Kuno, M. Lemon and D. Beringer. Conversations + Interfaces = Business Logic. In Proceedings of the 2nd VLDB International Workshop on Technologies for e-Services (VLDB-TES 2001), Rome, Italy, 2001.
14. V. Haarslev and R. Möller. RACER System Description. In Proc. of IJGAR 2001, volume 2083 of LNAI, pages 701-705. Springer-Verlag, 2001.
15. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, 2000.
16. I. Horrocks. The FaCT System. In H. de Swart, editor, Proc. of TABLEAUX'98, volume 1397 of LNAI, pages 307-312. Springer-Verlag, 1998.
17. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: A Look Behind the Curtain. In Proceedings of the PODS 2005 Conference, San Diego, CA, USA, 2003.
18. S. McIlraith, T. Son, and H. Zeng. Semantic web services. IEEE Intelligent Systems, 16(2), 2001.
19. M. Papazoglou and D. Georgakopoulos. Service Oriented Computing (special issue). Communications of the ACM, 46(10), October 2003.
20. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverse. Planning and Monitoring Web Service Composition. In Proc. of ICAPS Workshop on Planning for Web and Grid Service (P4WGS 2004), 2004.
21. R.H. Katz. Contemporany Logic Design. Benjamin Commings/Addison Wesley Publishing Company, 1993.