Automated composition of Web services via planning in asynchronous domains

Artificial Intelligence

Volumn 174, Issue 3-4, 2010, Pages 316-361

  Bertoli, Piergiorgio ^a   Pistore, Marco ^a   Traverso, Paolo ^a  

^a FONDAZIONE BRUNO KESSLER   (Italy)

Author keywords

Automated program synthesis; Planning; Web services

Indexed keywords

AI PLANNING; ASYNCHRONOUS COMMUNICATION; AUTOMATED COMPOSITION; AUTOMATED PROGRAM SYNTHESIS; AUTOMATED SERVICE COMPOSITION; BUSINESS PROCESS; DISTRIBUTED APPLICATIONS; ERROR PRONES; INDUSTRIAL STANDARDS; PLANNING FRAMEWORK; PLANNING PROBLEM; PLANNING UNDER UNCERTAINTY; PROGRAM SYNTHESIS; SCALE-UP; SERVICE COMPOSITIONS; SERVICE ORIENTED; STEPPING STONE; TIME TO MARKET; WS-BPEL;

AUTOMATION; CONCURRENT ENGINEERING; LINGUISTICS; MODEL CHECKING; SOFTWARE AGENTS;

WEB SERVICES;

EID: 74449092659     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2009.12.002     Document Type: Article

References (101)

1. T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weeravarana, Business Process Execution Language for Web Services (version 1.1), 2003
2. Agarwal V., Chafle G., Dasgupta K., Karnik N., Kumar A., Mittal S., and Srivastava B.B. Synthy: A system for end to end composition of Web services. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3 4 (2005) 311-339
3. ActiveBPEL. The Open Source BPEL Engine. http://www.activebpel.org
4. J.L. Ambite, D. Kapoor, Automatically composing data workflows with relational descriptions and shim services, in: Proc. of ISWC'07, 2007
5. Asarin E., Maler O., Pnueli A., and Sifakis J. Controller synthesis for timed automata. IFAC Symposium on System Structure and Control (1998) 469-474
6. A. Ankolekar, DAML-S: Web service description for the semantic Web, in: Proc. ISWC'02, 2002
7. Arnold A. Finite Transition Systems: Semantics of Communicating Systems (1994), Prentice Hall International
8. Aggarwal R., Verma K., Miller J.A., and Milnor W. Constraint driven Web service composition in METEOR-S. Proc. of SCC'04 (2004), IEEE Computer Society 23-30
9. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, M. Mecella, Automatic composition of e-services that export their behaviour, in: Proc. ICSOC'03, 2003
10. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, M. Mecella, Automatic composition of transition-based semantic Web services with messaging, in: Proc. of VLDB'05, 2005, pp. 613-624
11. D. Berardi, D. Calvanese, G. De Giacomo, M. Mecella, Composition of services with nondeterministic observable behaviour, in: Proc. ICSOC'05, 2005
12. Berardi D., Cheikh F., De Giacomo G., and Patrizi F. Automatic service composition via simulation. Int. J. Found. Comput. Sci. 19 2 (2008) 429-451
13. 20 states and beyond. Information and Computation 98 2 (June 1992) 142-170
14. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, P. Traverso, MBP: a model based planner, in: Proc. of IJCAI'01 Workshop on Planning under Uncertainty and Incomplete Information, 2001
15. P. Bertoli, A. Cimatti, M. Pistore, P. Traverso, A framework, for planning with extended goals under partial observability, in: Proc. ICAPS'03, 2003
16. P. Bertoli, A. Cimatti, M. Roveri, P. Traverso, Planning in nondeterministic domains under partial observability via symbolic model checking, in: Proc. IJCAI'01, 2001
17. J. Blythe, E. Deelman, Y. Gil, Planning for workflow construction and maintenance on the grid, in: Proc. of ICAPS'03 Workshop on Planning for Web Services, 2003
18. B. Bonet, H. Geffner, Planning with incomplete information as heuristic search in belief space, in: Proc. of AIPS'00, 2000, pp. 52-61
19. Bacchus F., and Kabanza F. Using temporal logic to express search control knowledge for planning. Artificial Intelligence 116 1-2 (2000) 123-191
20. Bonakdarpour B., and Kulkarni S. Exploiting symbolic techniques in automated synthesis of distributed programs with large state space. Distributed Computing Systems (2007)
21. P. Bertoli, R. Kazhamiakin, M. Paolucci, M. Pistore, H. Raik, M. Wagner, Control flow requirements for automated service composition, in: Proc. of ICWS'09, 2009
22. A. Brogi, R. Popescu, Towards semi-automated workflow-based aggregation of Web services, in: Proc. ICSOC'05, 2005
23. A. Brogi, R. Popescu, Automated generation of BPEL adapters, in: Proc. of ICSOC'06, 2006, pp. 27-39
24. F. Bacchus, R. Petrick, Modeling an agents incomplete knowledge during planning and execution, in: Proc. of KR'08, 2008, pp. 432-443
25. K. Brace, R. Rudell, R. Bryant, Efficient implementation of a BDD package, in: Proceedings of the 27th ACM/IEEE Conference on Design Automation, 1990, pp. 40-45
26. Bryant R.E. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35 8 (1986) 677-691
27. Cimatti A., Clarke E.M., Giunchiglia F., and Roveri M. NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer (STTT) 2 4 (2000)
28. Christensen E., Curbera F., Meredith G., and Weerawarana S. Web Service Definition Language (WSDL 1.1) (2001). http://www.w3.org/TR/wsdl
29. G. Chafle, G. Das, K. Dasgupta, A. Kumar, S. Mittal, S. Mukherjea, B. Srivastava, An integrated development environment for Web service composition, in: Proc. of ICWS'07, 2007
30. OWL-S Coalition, OWL-S: Semantic markup for Web services, Technical White paper (OWL-S version 1.0), 2003
31. OASIS Web Services Business Process Execution Language (WSBPEL) Technical Committee, Web Services Business Process Execution Language Version 2.0 - OASIS Standard, 2007
32. Cimatti A., Pistore M., Roveri M., and Traverso P. Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147 1-2 (2003) 35-84
33. M.D. Denz, Charting the evolving eHealth ecosystem, in: Proc. of eHealth'08, 2008
34. D. Mc Dermott, Estimated-regression planning for interactions with Web services, in: Proc. AIPS'02, 2002, pp. 204-211
35. Dogac A., Laleci G.B., Kirbas S., Kabak Y., Sinir S., Yildiz A., and Gurcan Y. Artemis: deploying semantically enriched Web services in the healthcare domain. Information Systems 31 4-5 (2006) 321-339
36. U. Dal Lago, M. Pistore, P. Traverso, Planning with a language for extended goals, in: Proc. AAAI'02, 2002
37. Emerson E.A. Temporal and modal logic. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (1990), Elsevier
38. Fikes R.E., and Nilsson N.J. STRIPS: a new approach to theorem proving in problem solving. Journal of Artificial Intelligence 2 (1971) 189-208
39. H. Foster, S. Uchitel, J. Magee, J. Kramer, Model-based verification of Web service compositions, in: Proc. ASE'03, 2003
40. G. De Giacomo, M. de Leoni, M. Mecella, F. Patrizi, Automatic workflows composition of mobile services, in: Proc. of ICWS'07, 2007, pp. 823-830
41. G. De Giacomo, S. Sardina, Automatic synthesis of new behaviors from a library of available behaviors, in: Proc. of IJCAI'07, 2007, pp. 1866-1871
42. R. Hull, M. Benedikt, V. Christophides, J. Su, E-services: a look behind the curtain, in: Proc. PODS'03, 2003
43. J. Hoffmann, P. Bertoli, M. Pistore, Web service composition as planning, revisited: In between background theories and initial state uncertainty, in: Proc. of AAAI'07, 2007
44. Hoffmann J., and Nebel B. The FF planning system: fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14 (2001) 253-302
45. Holzmann G. The Spin Model Checker: Primer and Reference Manual (November 2003), Addison-Wesley. http://safari.ibmpressbooks.com/0321228626/app01?close=0 preview available at
46. R. Hull, Web services composition: a story of models, automata, and logics, in: Proc. of ICWS'05, 2005
47. B. Jobstmann, R. Bloem, Optimizations for LTL synthesis, in: Proc. of Formal Methods in Computer Aided Design (FMCAD'06), 2006, pp. 117-124
48. B. Jobstmann, S. Galler, M. Weiglhofer, R. Bloem, Anzu: a tool for property synthesis, in: Proc. of CAV'07, 2007, pp. 258-262
49. R. Kazhamiakin, Formal analysis of Web service compositions, PhD thesis, International Doctorate School in ICT - DIT University of Trento, Trento, Italy, March 2007
50. S. Kona, A. Bansal, G. Gupta, Automatic composition of semantic Web services, in: Proc. of ICWS'07, 2007
51. Zeng T., Kim K., and Bonk C.J. Surveying the future of workplace e-learning: the rise of blending, interactivity, and authentic learning. eLearn Magazine 2005 6 (2005). http://www.elearnmag.org/ available at
52. W.B. Korte, General practitioner use of ICT and eHealth in Europe 2002-2007 - Results from a pan-European survey, in: Proc. of eHealth'08, 2008
53. F. Kabanza, S. Thiebaux, Search control in planning for temporally extended goals, in: Proc. of 15th International Conference on Automated Planning and Scheduling (ICAPS-05), 2005, pp. 130-139
54. O. Kupferman, M. Vardi, Synthesis with incomplete information, in: Proc. of ICTL'97, 1997
55. Lee S.M., Hwang T., and Kim J. An analysis of diversity in electronic commerce research. International Journal of Electronic Commerce 12 1 (2007)
56. Lam S.S., and Shankar A.U. A relational notation for state transition systems. IEEE Transactions on Software Engineering 16 7 (1990) 755-775
57. A. Marconi, Automated process-level composition of Web services: From requirements specification to process run, PhD thesis, International Doctorate School in ICT - DIT University of Trento, Trento, Italy, April 2008
58. McMillan K.L. Symbolic Model Checking (1993), Kluwer Academic Publ.
59. S. McIlraith, R. Fadel, Planning with complex actions, in: Proc. NMR'02, 2002
60. A. Marconi, M. Pistore, P. Poccianti, P. Traverso, Automated Web service composition at work: the Amazon/MPS case study, in: Proc. ICWS'07, 2007
61. A. Marconi, M. Pistore, P. Traverso, Implicit vs. explicit data-flow requirements in Web service composition goals, in: Proc. ICSOC'06, 2006
62. A. Marconi, M. Pistore, P. Traverso, Specifying data-flow requirements for the automated composition of Web services, in: Proc. SEFM'06, 2006
63. Marconi A., Pistore M., and Traverso P. Process-level composition of Web services: a semi-automated iterative approach. Annals of Mathematics, Computing and Teleinformatics 1 5 (2007)
64. Marconi A., Pistore M., and Traverso P. Automated composition of Web services: the ASTRO approach. IEEE Data Eng. Bull. 31 (2008)
65. S. McIlraith, S. Son, Adapting Golog for composition of semantic Web services, in: Proc. KR'02, 2002
66. R.v.D. Meyden, M. Vardi, Synthesis from knowledge-based specifications, in: Proc. of CONCUR'98, 1998, pp. 34-49
67. S. Narayanan, S. McIlraith, Simulation, Verification and automated composition of Web services, in: Proc. WWW'02, 2002
68. G. Nemirovskij, M. Wolters, E. Heuel, Distributed study: a semantic Web services approach for modelling a common educational space, in: Proc. of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008, 2008
69. Oracle. Oracle BPEL Process Manager. http://www.oracle.com/products/ias/bpel/
70. R. Petrick, F. Bacchus, A knowledge-based approach, to planning with incomplete information and sensing, in: Proc. AIPS'02, 2002
71. M. Pistore, P. Bertoli, F. Barbon, D. Shaparau, P. Traverso, Planning and monitoring Web service composition, in: Proc. AIMSA'04, 2004
72. Pistore M., Braghieri P., Bertoli P., Biscaglia A., Marconi A., Pintarelli S., and Trainotti M. At Your Service: Service-Oriented Computing from an EU Perspective (2009), MIT Press (Chapter 8)
73. S. Ponnekanti, A. Fox, SWORD: A developer toolkit for Web service composition, in: Proc. WWW'02, 2002
74. M. Pistore, A. Marconi, P. Bertoli, P. Traverso, Automated composition of Web services by planning at the knowledge level, in: Proc. of IJCAI'05, 2005
75. N. Piterman, A. Pnueli, Y. Saar, Synthesis of reactive designs, in: Proc. of VMCAI, 2006, pp. 364-380
76. A. Pnueli, R. Rosner, On the synthesis of an asynchronous reactive module, in: Proc. ICALP'89, 1989
77. M. Pistore, P. Traverso, Planning as model checking for extended goals, in: Proc. IJCAI'01, 2001
78. M. Pistore, P. Traverso, P. Bertoli, Automated composition of Web services by planning in asynchronous domains, in: Proc. ICAPS'05, 2005
79. M. Pistore, P. Traverso, P. Bertoli, A. Marconi, Automated synthesis of composite BPEL4WS Web services, in: Proc. ICWS'05, 2005
80. Ruffolo R. The ultimate e-commerce software shopping list, Computer World on Line. available at (2008). http://www.computerworld.com.au/
81. Son T., and Baral C. Formalizing sensing actions: a transition function based approach. Artif. Intell. 125 1-2 (2001) 19-91
82. M. Schopper, Universal plans for robots in unpredictable environments, in: Proc. of 10th International Joint Conference on Artificial Intelligence (IJCAI'87), 1987, pp. 1039-1046
83. M. Sheshagiri, M. desJardins, T. Finin, A planner for composing services described in DAML-S, in: Proc. AAMAS'03, 2003
84. D. Skogan, R. Gronmo, I. Solheim, Web service composition in UML, in: Proc. EDOC'04, 2004
85. Somenzi F. CUDD: CU decision diagram package release 2.3.1. available at (2001). http://vlsi.colorado.edu/fabio/CUDD/
86. S. Sardina, F. Patrizi, G. De Giacomo, Automatic synthesis of a global behavior from multiple distributed behaviors, in: Proc. of AAAI'07, 2007, pp. 1063-1069
87. S. Sohrabi, N. Prokoshyna, S. McIlraith, Web service composition via generic procedures and customizing user preferences, in: Proc. of ISWC'06, 2006, pp. 597-611
88. A. Schumann, Y. Pencolè, S. Thièbaux, Diagnosis of discrete event systems using binary decision diagrams, in: Proc. of the 15th International Workshop on Principles of Diagnosis (DX'04), 2004
89. D. Shaparau, M. Pistore, P. Traverso, Fusing procedural and declarative planning goals for nondeterministic domains, in: Proc. of AAAI'08, 2008, pp. 983-990
90. Sirin E., Parsia B., Wu D., Hendler J., and Nau D. HTN planning for Web service composition using SHOP2. Journal of Web Semantics 1 4 (2004) 377-396
91. J. Sanghavi, R. Ranjan, R. Brayton, A. Sangiovanni-Vincentelli, High performance BDD package by exploiting memory hierarchy, in: Proceedings of the 33rd annual conference on Design automation, 1996, pp. 635-640
92. Sakkopoulos E., Sourla E., Tsakalidis A., and Lytras M.D. Integrated system for eHealth advisory Web services provision using broadband networks. International Journal of Social and Humanistic Computing 1 1 (2008) 36-52
93. L. Tuan, C. Baral, X. Zhang, T. Son, Regression with respect to sensing actions and partial states, in: Proc. of AAAI'04, 2004, pp. 556-561
94. S. Thakkar, C. Knoblock, J.L. Ambite, A view integration approach to dynamic composition of Web services, in: Proc. of ICAPS'03 Workshop on Planning for Web Services, 2003
95. P. Traverso, M. Pistore, Automated composition of semantic Web services into executable processes, in: Proc. ISWC'04, 2004
96. E. Tronci, Automatic synthesis of controllers from formal specifications, in: Proc. of Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), 1998
97. M.Y. Vardi, An automata-theoretic approach to fair realizability and synthesis, in: Proc. CAV'95, 1995
98. van der Aalst W.M.P., and ter Hofstede A.H.M. YAWL: yet another workflow language. Information Systems 30 4 (2005) 245-275
99. G. Vossen, P. Westerkamp, E-learning as a Web service, in: Proc. of IDEAS03, 2003
100. D. Wu, B. Parsia, E. Sirin, J. Hendler, D. Nau, Automating DAML-S Web services composition using SHOP2, in: Proc. ISWC'03, 2003
101. WSMO. The Web service modeling framework, SDK WSMO working group (2004). http://www.wsmo.org/