Automatic service composition based on behavioral descriptions

International Journal of Cooperative Information Systems

Volumn 14, Issue 4, 2005, Pages 333-376

  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

Automated reasoning; Behavior; Composition; Service; Synthesis

Indexed keywords

EID: 22944452100     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843005001201     Document Type: Article

References (62)

1. M. Aiello, M. P. Papazoglou, J. Yang, M. Carman, M. Pistore, L. Serafini and P. Traverso, A request language for web-services based on planning and constraint satisfaction, in Proc. 3rd VLDB Int. Workshop on Technologies for e-Services (VLDB-TES 2002), Hong Kong, China (2002).
2. G. Alonso, F. Casati, H. Kuno and V. Machiraju, Web Services. Concepts, Architectures and Applications (Springer-Verlag, 2004).
3. J. L. Ambite and J. Blythe, ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (P4WGS 2004) (2004), http://www.isi.edu/ ikcap/icaps04-workshop/.
4. 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) (May 2004), http://www106.ibm.com/developerworks/library/ws-bpel/.
5. A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne and K. Sycara, DAML-S: Web service description for the semantic web, in Proc. 1st Int. Semantic Web Conference (ISWC 2002), Chia, Sardegna, Italy (2002).
6. A. Arkin, S. Askary, S. Fordin, W. Jekeli, K. Kawaguchi, D. Orchard, S. Pogliani, K. Riemer, S. Struble, P. Takacsi-Nagy, I. Trickovic and S. Zimek, Web Service Choreography Interface (WSCI) 1.0. W3C Note (8 August 2002), http://www.w3.org/TR/wsci/.
7. F. Baader, D. Calvanese, D. McGuinness, D. Nardi and P. F. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation and Applications (Cambridge University Press, 2003).
8. K. Baïna, B. Benatallah, F. Casati and F. Toumani, Model-driven web service development, in Proc. 16th Int. Conf. Advanced Information Systems Engineering (CAiSE 2004), Lectures Notes in Computer Science, Vol. 3084 (Springer-Verlag, 2004), pp. 290-300.
9. C. Batini and M. Mecella, Enabling Italian e-government through a cooperative architecture, IEEE Computer 34(2) (2001).
10. M. Ben-Ari, J. Y. Halpern and A. Pnueli, Deterministic, propositional dynamic logic: Finite models, complexity, and completeness, J. Computer and System Sciences 25 (1982) 402-417.
11. B. Benatallah, Q. Z. Sheng and M. Dumas, The self-serv environment for web services composition, IEEE Internet Computing 7(1) (2003).
12. B. Benatallah, F. Casati, F. Toumani and R. Hamadi, Conceptual modeling of web service conversations, in Proc. 15th Int. Conf. Advanced Information Systems Engineering (CAiSE 2003) (Springer-Verlag, 2003), pp. 449-467.
13. B. Benatallah, M. S. Hacid, C. Rey and F. Toumani, Request rewriting-based web service discovery, in Proc. Int. Semantic Web Conf. (2003).
14. D. Berardi, Automatic, service composition. Models, techniques and tools, PhD thesis, Università di Roma "La Sapienza" (2005).
15. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini and M. Mecella, Service composition by description logic based reasoning, in Proc. Int. Workshop on Description Logics (DL03), Rome, Italy (2003).
16. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini and M. Mecella. ESC: A tool for automatic composition of e-services based on logics of programs, in Proc. 5th VLDB Int. Workshop on Technologies for e-Services (VLDB-TES 2004) (2004), to appear as Post-Proceedings.
17. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini and M. Mecella, A foundational vision of services, in Proc. CAiSE 2009 Workshop on Web Services, e-Business, and the Semantic Web (WES 2003), Velden, Austria (2003).
18. D. Berardi, F. De Rosa, L. De Santis and M. Mecella, Finite state automata as conceptual model for e-services, J. Integrated Design and Process Science (2004), to appear.
19. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini and M. Mecella, Synthesis of underspecified composite e-services based on automated reasoning, in Proc. 2nd Int. Conf. Service Oriented Computing (ICSOC 2004) (2004).
20. M. Buchheit, F. M. Donini and A. Schaerf, Decidable reasoning in terminological knowledge representation systems, J. Artificial Intelligence Research 1 (1993) 109-138.
21. T. Bultan, X. Fu, R. Hull and J. Su, Conversation specification: A new approach to design and analysis of e-service composition, in Proc. WWW 2003 Conference, Budapest, Hungary (2003).
22. F. Casati and M. C. Shan, Dynamic and adaptive composition of e-Services, Information Systems 6(3) (2001).
23. D. K. W. Chiu, K. Karlapalem and Q. Li, E-ADOME: A framework for enacting e-services, in Proc. 1st VLDB Int. Workshop on Technologies for e-Services (VLDB-TES 2000), Cairo, Egypt (2000).
24. E. Christensen, F. Curbera, G. Meredith and S. Weerawarana, Web Services Description Language (WSDL) 1.1. W3C Note (15 March 2001), http://www.w3.org/TR/ wsdl.
25. V. Christophides, R. Hull, G. Karvounarakis, A. Kumar, G. Tong and M. Xiong, Beyond discrete e-services: Composing session-oriented services in telecommunications, in Proc. 2nd VLDB Int. Workshop on Technologies for e-Services (VLDB-TES 2001), Rome, Italy (2001).
26. 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).
27. G. De Giacomo and F. Massacci, Combining deduction and model checking into tableaux and algorithms for converse-PDL, Information and Computation 160(1-2) (2000) 117-137.
28. A. Deutsch, L. Sui and V. Vianu, Specification and verification of data-driven web services, Symp. Principles of Database Systems (PODS04) (2004).
29. M. J. Fischer and R. E. Ladner, Propositional dynamic logic of regular programs, J. Computer and System Sciences 18 (1979) 194-211.
30. X. Fu, T. Bultan and J. Su, Analysis of interacting BPEL web services, in Proc. WWW 2004 (May 2004).
31. M. Ghallab, D. Nau and P. Traverso, Automated Task Planning: Theory & Practice (Morgan Kaufmann, 2004).
32. S. Ghandeharizadeh, C. A. Knoblock, C. Papadopoulos, C. Shahabi, E. Alwagait, J. L. Ambite, M. Cai, C. Chen, P. Pol, R. R. Schmidt, S. Song, S. Thakkar and R. Zhou, Proteus: A system for dynamically composing and intelligently executing web services, in Proc. Int. Conf. Web Services (ICWS'03) (2003).
33. A. Karp, H. Kuno, M. Lemon and D. Beringer, Conversations + interfaces = business logic, in Proc. 2nd VLDB Int. Workshop on Technologies for e-Services (VLDB-TES 2001), Rome, Italy (2001).
34. V. Haarslev and R. Möller, RACER, system description, in Proc. IJCAR 2001, Lecture Notes in Computer Science, Vol. 2083 (Springer-Verlag 2001), pp. 701-705.
35. A. Y. Halevy, Answering queries using views: A survey, Very Large Database J, 10(4) (2001) 270-294.
36. D. Harel, D. Kozen and J. Tiuryn, Dynamic Logic (The MIT Press, 2000).
37. I. Horrocks, The FaCT System, in ed. Harrie de Swart, in Proc. TABLEAUX'98, Vol. 1397 (Springer-Verlag, 1998), pp. 307-312.
38. R. Hull, M. Benedikt, V. Christophides and J. Su, E-Services: A look behind the curtain, in Proc. PODS 2003 Conf., San Diego, CA, USA (2003).
39. N. Kavantzas, D. Burdett and G. Ritzinger, Web Services Choreography Description Language (WS-CDL) 1.0. W3C Working Draft, (27 April 2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/.
40. D. Kozen and J. Tiuryn, Logics of programs, in Handbook of Theoretical Computer Science - Formal Models and Semantics, ed. J. Van Leeuwen (Elsevier Science Publishers, North-Holland, Amsterdam, 1990).
41. U. Kuter, E. Sirin, D. Nau, B. Parsia and J. Hendler, Information gathering during planning for web service composition, in Proc. ICAPS-P4WGS 2004 (2004).
42. A. Lazcano, G. Alonso, H. Schuldt and C. Schuler, The WISE approach to electronic commerce, Int. J. Computer Systems Science & Engineering 15(5) (2000).
43. A. Lazovik, M. Aiello and M. P. Papazoglou, Planning and monitoring the execution of web service requests, in Proc. 1st Int. Conf. Service Oriented Computing (ICSOC 2003), Lecture Notes in Computer Science, Vol. 2910 (Springer-Verlag, 2003), pp. 335-350.
44. M. Lenzerini, Data integration: A theoretical perspective, in Proc. PODS 2002 (2002), pp. 233-246.
45. E. Martinez and Y. Lesperance, Web service composition as a planning task: Experiments using knowledge-based planning, in Proc. ICAPS-P4WGS 2004 (2004).
46. S. McIlraith and T. Son, Adapting golog for composition of semantic web services, in Proc. 8th Int. Conf. Knowledge Representation and Reasoning (KR 2002), Toulouse, France (2002).
47. S. McIlraith, T. C. Son and H. Zeng, Semantic web services, IEEE Intelligent Systems 16(2) (2001).
48. S. Narayanan and S. McIlraith, Simulation, verification and automated composition of web services, in Proc. 11th Int. Conf. World Wide Web, Hawaii, USA (2002).
49. M. P. Papazoglou and D. Georgakopoulos, Service oriented computing (special issue), Communications of the ACM 46(10) (2003).
50. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau and P. Traverso, Planning and monitoring web service composition, The 11th Int. Conf. Artificial Intelligence, Methodologies, Systems, and Applications (AIMSA04) (2004).
51. Also presented at the ICAPS'04 Workshop on Planning and Scheduling for Web and Grid Service (P4WGS 2004).
52. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (The MIT Press, 2001).
53. R. H. Katz, Contemporany Logic Design (Benjamin Commings/Addison Wesley Publishing Company, 1993).
54. C. Schmidt and M. Parashar, A peer-to-peer approach to web service discovery, World Wide Web Journal 7(2) (2004).
55. G. Shegalov, M. Gillmann and G. Weikum, XML-enabled workflow management for e-Services across heterogeneous platforms, Very Large Database J. 10(1) (2001).
56. P. Traverso and M. Pistore, Automated composition of semantic web services into executable processes, in Proc. 3rd Int. Semantic Web Conference (2004), pp. 380-394.
57. UDDI.org. UDDI Technical White Paper (2000) http://www.uddi.org/pubs/ Iru_UDDI_Technical_White-Paper.pdf).
58. W. J. van den Heuvel, J. Yang and M. P. Papazoglou, Service representation, discovery and composition for e-marketplaces, in Proc. 9th Int. Conf. Coop. Inf. Syst. (CoopIS 2001), Trento, Italy (2001).
59. W3C. XML Protocol, XML Protocol Working Group Web Page, http://www.w3.org/2000/xp/Group/.
60. Y. Wang and E. Stroulia, Flexible interface matching for web-service discovery, in Proc. 4th Int. Conf. Web Information System Engineering (WISE 2003) (2003).
61. J. Yang and M. P. Papazoglou, Service components for managing the life-cycle of service compositions, Information Systems 29(2) (2004).
62. J. Yang and M. P. Papazoglou, Web components: A substrate for web service reuse and composition, in Proc. 14th Int. Conf. Advanced Information Systems Engineering (CAiSE'02), Toronto, Canada (2002).