Message-Based Web service composition, integrity constraints, and planning under uncertainty: A new connection

Journal of Artificial Intelligence Research

Volumn 35, Issue , 2009, Pages 49-117

  Hoffmann, Jörg ^a   Bertoli, Piergiorgio ^b   Helmert, Malte ^c   Pistore, Marco ^b  

^a SAP RESEARCH   (Germany)

^b FONDAZIONE BRUNO KESSLER   (Italy)

^c UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ONTOLOGY; QUALITY OF SERVICE; WEBSITES;

AUTOMATED WEB SERVICE COMPOSITION; COMPUTATIONAL PROPERTIES; INTEGRITY CONSTRAINTS; PARTIAL MATCHES; PLANNING UNDER UNCERTAINTY; STANDARD REASONING; WEB SERVICE APPLICATIONS; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 68349110782     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2716     Document Type: Article

References (103)

1. 3DComplex.org (2008). A web server to browse protein complexes of known 3d structures. http://supfam.mrc-lmb.cam.ac.uk/elevy/3dcomplex/data/hierarchy 1/root.html.
2. Agarwal, V., Chafle, G., Dasgupta, K., Karnik, N., Kumar, A., Mittal, S., & Srivastava, B. (2005a). Synthy: A system for end to end composition of web services. Journal of Web Semantics, 3(4).
3. Agarwal, V., Dasgupta, K., Karnik, N., Kumar, A., Kundu, A., Mittal, S., & Srivastava, B. (2005b). A service creation environment based on end to end composition of web services. In 14th International Conference on the World Wide Web (WWW'05), pp. 128-137.
4. Akkiraju, R., Srivastava, B., Anca-Andreea, I., Goodwin, R., & Syeda-Mahmood, T. (2006). Semaplan: Combining planning with semantic matching to achieve web service composition. In 4th International Conference on Web Services (ICWS'06).
5. Ambite, J., & Kapoor, D. (2007). Automatically composing data workflows with relational descriptions and shim services. In 6th International Semantic Web Conference (ISWC'07).
6. Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Payne, T., & Sycara, K. (2002). DAML-S: Web service description for the semantic web. In 1st International Semantic Web Conference (ISWC'02).
7. Au, T.-C., Kuter, U., & Nau, D. (2005). Web service composition with volatile information. In 4th International Semantic Web Conference (ISWC'05).
8. Au, T.-C., & Nau, D. (2006). The incompleteness of planning with volatile external information. In 17th European Conference on Artificial Intelligence (ECAI'06).
9. Baader, F., Lutz, C., Milicic, M., Sattler, U., & Wolter, F. (2005). Integrating description logics and action formalisms: First results. In 20th National Conference on Artificial Intelligence (AAAI'05).
10. Bacchus, F. (2000). Subset of PDDL for the AIPS2000 Planning Competition. The AIPS-00 Planning Competition Committee.
11. Bertoli, P., Pistore, M., & Traverso, P. (2006). Automated web service composition by on-the-fly belief space search. In 16th International Conference on Automated Planning and Scheduling (ICAPS'06). (Pubitemid 44074231)
12. Bonet, B., & Geffner, H. (2000). Planning with incomplete information as heuristic search in belief space. In 5th International Conference on Artificial Intelligence Planning Systems (AIPS'00), pp. 52-61.
13. Bonet, B., & Geffner, H. (2001). Planning as heuristic search. Artificial Intelligence, 129(1-2), 5-33. (Pubitemid 32498414)
14. Branden, C., & Tooze, J. (1998). Introduction to Protein Structure: Second Edition. Garland Publishing Company, New York. ISBN 0815323050.
15. Brayton, R., Hachtel, G., McMullen, C., & Sangiovanni-Vincentelli, A. (1984). Logic Minimization Algorithms for VLSI Synthesis. Kluwer Academic Publishers.
16. Brewka, G., & Hertzberg, J. (1993). How to do things with worlds: On formalizing actions and plans. J. Logic and Computation, 3(5), 517-532.
17. Bryce, D., Kambhampati, S., & Smith, D. E. (2006). Planning graph heuristics for belief space search. Journal of Artificial Intelligence Research, 26, 35-99. (Pubitemid 44452207)
18. Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., Sirin, E., Srinivasan, N., Sycara, K., & Martin, D. (2004). OWL-S: Semantic Markup for Web Services. OWL-S 1.1. http://www.daml.org/services/owl-s/1.1/. Version 1.1.
19. Bylander, T. (1994). The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(1-2), 165-204.
20. Chasman, D. (Ed.). (2003). Protein Structure Determination, Analysis and Applications for Drug Discovery. Marcel Dekker Ltd. 0-8247-4032-4037
21. Chen, Y., Wah, B., & Hsu, C. (2006). Temporal planning using subgoal partitioning and resolution in SGPlan. Journal of Artificial Intelligence Research, 26, 323-369. (Pubitemid 44452214)
22. Cimatti, A., Roveri, M., & Bertoli, P. (2004). Conformant planning via symbolic model checking and heuristic search. Artificial Intelligence, 159(1-2), 127-206.
23. Constantinescu, I., & Faltings, B. (2003). Efficient matchmaking and directory services. In 2nd International Conference on Web Intelligence (WI'03).
24. Constantinescu, I., Faltings, B., & Binder, W. (2004a). Large scale, type-compatible service composition. In 2nd International Conference on Web Services (ICWS'04).
25. Constantinescu, I., Faltings, B., & Binder, W. (2004b). Typed Based Service Composition. In 13th International Conference on the World Wide Web (WWW'04).
26. de Giacomo, G., Lenzerini, M., Poggi, A., & Rosati, R. (2006). On the update of description logic ontologies at the instance level. In 21st National Conference on Artificial Intelligence (AAAI'06). (Pubitemid 44705449)
27. de Giacomo, G., Lenzerini, M., Poggi, A., & Rosati, R. (2007). On the approximation of instance level update and erasure in description logics. In 22nd National Conference of the American Association for Artificial Intelligence (AAAI'07).
28. de Jonge, M., van der Linden, W., & Willems, R. (2007). eServices for hospital equipment. In 6th International Conference on Service-Oriented Computing (ICSOC'07), pp. 391-397.
29. Edelkamp, S. (2003). Promela planning. In 10th International SPIN Workshop on Model Checking of Software (SPIN'03).
30. Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. (2003). A logic programming approach to knowledge-state planning, II: The DLVK system. Artificial Intelligence, 144(1-2), 157-211.
31. Eiter, T., Faber, W., Leone, N., Pfeifer, G., & Polleres, A. (2004). A logic programming approach to knowledge-state planning: Semantics and complexity. Transactions on Computational Logic, 5(2), 206-263.
32. Eiter, T., & Gottlob, G. (1992). On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence, 57(2-3), 227-270. (Pubitemid 23586698)
33. Fagin, R., Kuper, G., Ullman, J., & Vardi, M. (1988). Updating logical databases. Advances in Computing Research, 3, 1-18.
34. Fensel, D., Lausen, H., Polleres, A., de Bruijn, J., Stollberg, M., Roman, D., & Domingue, J. (2006). Enabling Semantic Web Services -The Web Service Modeling Ontology. Springer-Verlag.
35. Fersht, A. (1998). Structure and Mechanism in Protein Science: A Guide to Enzyme Catalysis and Protein Folding. MPS. ISBN-13 9780716732686.
36. Fox, M., & Long, D. (2003). PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20, 61-124. (Pubitemid 41530519)
37. Gerevini, A., Saetti, A., & Serina, I. (2003). Planning through stochastic local search and temporal action graphs. Journal of Artificial Intelligence Research, 20, 239-290. (Pubitemid 41530527)
38. Gerevini, A., Saetti, A., Serina, I., & Toninelli, P. (2005). Fast planning in domains with derived predicates: An approach based on rule-action graphs and local search. In 20th National Conference of the American Association for Artificial Intelligence (AAAI'05).
39. Ginsberg, M., & Smith, D. (1988). Reasoning about action I: A possible worlds approach. Artificial Intelligence, 35(2), 165-195. (Pubitemid 18623371)
40. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., & Turner, H. (2004). Nonmonotonic causal theories. Artificial Intelligence, 153(1-2), 49-104.
41. Giunchiglia, E., & Lifschitz, V. (1998). An action language based on causal explanation: Preliminary report. In 15th National Conference on Artificial Intelligence (AAAI'98).
42. Golden, K. (2002). DPADL: An action language for data processing domains. In Proc. of the 3rd International NASA Planning and Scheduling Workshop.
43. Golden, K. (2003). A domain description language for data processing. In Proc. of the Workshop on the Future of PDDL at ICAPS'03.
44. Golden, K., Pand, W., Nemani, R., & Votava, P. (2003). Automating the processing of earth observation data. In Proceedings of the 7th International Symposium on Artificial Intelligence, Robotics and Automation for Space.
45. Gomes, C., Selman, B., Crato, N., & Kautz, H. (2000). Heavy-tailed phenomena in satisfiability and constraint satisfaction problems. Journal of Automated Reasoning, 24(1/2), 67-100. (Pubitemid 30576096)
46. Helmert, M. (2002). Decidability and undecidability results for planning with numerical state variables. In 6th International Conference on Artificial Intelligence Planning Systems (AIPS'02).
47. Helmert, M. (2006). The Fast Downward planning system. Journal of Artificial Intelligence Research, 26, 191-246. (Pubitemid 44452211)
48. Herzig, A. (1996). The PMA revisited. In 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96).
49. Herzig, A., Lang, J., Marquis, P., & Polacsek, T. (2001). Updates, actions, and planning. In 17th International Joint Conference on Artificial Intelligence (IJCAI'01), pp. 119-124.
50. Herzig, A., & Rifi, O. (1999). Propositional belief base update and minimal change. Artificial Intelligence, 115(1), 107-138. (Pubitemid 30522973)
51. Hoffmann, J. (2005). Where 'ignoring delete lists' works: Local search topology in planning benchmarks. Journal of Artificial Intelligence Research, 24, 685-758. (Pubitemid 43130948)
52. Hoffmann, J., & Brafman, R. (2006). Conformant planning via heuristic forward search: A new approach. Artificial Intelligence, 170(6-7), 507-541.
53. Hoffmann, J., & Nebel, B. (2001). The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research, 14, 253-302. (Pubitemid 33738066)
54. Katzuno, H., & Mendelzon, A. (1991). On the difference between updating a knowledge base and revising it. In 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91).
55. Kona, S., Bansal, A., Gupta, G., & Hite, D. (2007). Automatic composition of semantic web services. In 5th International Conference on Web Services (ICWS'07).
56. Kumar, A., Neogi, A., Pragallapati, S., & Ram, J. (2007). Raising programming abstraction from objects to services. In 5th International Conference on Web Services (ICWS'07).
57. Kuter, U., Sirin, E., Nau, D., Parsia, B., & Hendler, J. (2005). Information gathering during planning for web service composition. Journal of Web Semantics, 3(2-3), 183-205. (Pubitemid 41336741)
58. Lecue, F., & Delteil, A. (2007). Making the difference in semantic web service composition. In 22nd National Conference of the American Association for Artificial Intelligence (AAAI'07).
59. Lecue, F., & Leger, A. (2006). A formal model for semantic web service composition. In 5th International Semantic Web Conference (ISWC'06).
60. Li, L., & Horrocks, I. (2003). A software framework for matchmaking based on semantic web technology. In 12th International Conference on the World Wide Web (WWW'03).
61. Liberatore, P. (2000). The complexity of belief update. Artificial Intelligence, 119(1-2), 141-190.
62. Lin, F., & Reiter, R. (1994). State constraints revisited. Journal of Logic and Computation, 4(5), 655-678.
63. Liu, H., Lutz, C., Milicic, M., & Wolter, F. (2006a). Reasoning about actions using description logics with general TBoxes. In 10th European Conference on Logics in Artificial Intelligence (JELIA 2006).
64. Liu, H., Lutz, C., Milicic, M., &Wolter, F. (2006b). Updating description logic ABoxes. In 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06).
65. Liu, Z., Ranganathan, A., & Riabov, A. (2007). A planning approach for message-oriented semantic web service composition. In 22nd National Conference of the American Association for Artificial Intelligence (AAAI'07).
66. Long, D., & Fox, M. (2003). The 3rd international planning competition: Results and analysis. Journal of Artificial Intelligence Research, 20, 1-59. (Pubitemid 41530518)
67. Lutz, C., & Sattler, U. (2002). A proposal for describing services with DLs. In International Workshop on Description Logics 2002 (DL'02).
68. McCain, N., & Turner, H. (1995). A causal theory of ramifications and qualifications. In 14th International Joint Conference on Artificial Intelligence (IJCAI-95), pp. 1978-1984.
69. McCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4, 463-502.
70. McDermott, D. (2002). Estimated-regression planning for interactions with web services. In 6th International Conference on Artificial Intelligence Planning Systems (AIPS'02).
71. McDermott, D., et al. (1998). The PDDL Planning Domain Definition Language. The AIPS-98 Planning Competition Committee.
72. McDermott, D. V. (1999). Using regression-match graphs to control search in planning. Artificial Intelligence, 109(1-2), 111-159.
73. McGeer, P., Sanghavi, J., Brayton, R. K., & Sangiovanni-Vincentelli, A. (1993). ESPRESSOSignature: A new exact minimizer for logic functions. In Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93).
74. McGuinness, D. L., & van Harmelen, F. (2004). OWL Web Ontology Language Overview (W3C Recommendation). online at http://www.w3.org/TR/owl- features/.
75. McIlraith, S., & Fadel, R. (2002). Planning with complex actions. In 9th International Workshop on Non-Monotonic Reasoning (NMR'02), pp. 356-364.
76. McIlraith, S., & Son, T. C. (2002). Adapting Golog for composition of semantic Web services. In 8th International Conference on the Principles of Knowledge Representation and Reasoning (KR'02).
77. Mediratta, A., & Srivastava, B. (2006). Applying planning in composition of web services with a user-driven contingent planner. Tech. rep. RI 06002, IBM Research.
78. Meyer, H., & Weske, M. (2006). Automated service composition using heuristic search. In 4th International Conference on Business Process Management (BPM'06).
79. Narayanan, S., & McIlraith, S. (2002). Simulation, verification and automated composition of web services. In 11th International Conference on the World Wide Web (WWW'02).
80. Palacios, H., & Geffner, H. (2007). From conformant into classical planning: Efficient translations that may be complete too. In 17th International Conference on Automated Planning and Scheduling (ICAPS'07).
81. Paolucci, M., Kawamura, T., Payne, T., & Sycara, K. (2002). Semantic matching of web services capabilities. In 1st International Semantic Web Conference (ISWC'02).
82. Pednault, E. P. (1989). ADL: Exploring the middle ground between STRIPS and the situation calculus. In 1st International Conference on the Principles of Knowledge Representation and Reasoning (KR'89).
83. Penberthy, J., & Weld, D. (1992). UCPOP: A sound, complete, partial order planner for ADL. In 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR'92), pp. 103-114.
84. Petsko, G. A., & Ringe, D. (2004). Protein Structure and Function. New Science Press. ISBN 1405119225, 9781405119221.
85. Pistore, M., Marconi, A., Bertoli, P., & Traverso, P. (2005a). Automated composition of web services by planning at the knowledge level. In 19th International Joint Conference on Artificial Intelligence (IJCAI'05).
86. Pistore, M., Traverso, P., & Bertoli, P. (2005b). Automated composition of web services by planning in asynchronous domains. In 15th International Conference on Automated Planning and Scheduling (ICAPS'05).
87. Pistore, M., Traverso, P., Bertoli, P., & Marconi, A. (2005c). Automated synthesis of composite BPEL4WS web services. In 3rd International Conference on Web Services (ICWS'05).
88. Ponnekanti, S., & Fox, A. (2002). SWORD: A developer toolkit for web services composition. In 11th International Conference on the World Wide Web (WWW'02).
89. Reiter, R. (1991). The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial intelligence and mathematical theory of computation: papers in honour of John McCarthy, pp. 359-380.
90. Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., & Fensel, D. (2005). Web Service Modeling Ontology. Applied Ontology, 1(1), 77-106.
91. Sheshagiri, M., desJardins, M., & Finin, T. (2003). A planner for composing services described in DAML-S. In Third Symposium on Adaptive Agents and Multi-agent Systems (AAMAS'03).
92. Sirin, E., Parsia, B., Wu, D., Hendler, J., & Nau, D. (2004). HTN planning for web service composition using SHOP2. Journal of Web Semantics, 1(4).
93. Sirin, E., Hendler, J., & Parsia, B. (2003). Semi-automatic composition of web services using semantic descriptions. In Workshop "Web Services" at ICEIS'03.
94. Sirin, E., & Parsia, B. (2004). Planning for semantic web services. In Workshop "Semantic Web Services" at ISWC'04.
95. Sirin, E., Parsia, B., & Hendler, J. (2004). Composition-driven filtering and selection of semantic web services. In AAAI Fall Symposium on Semantic Web Services.
96. Sirin, E., Parsia, B., & Hendler, J. (2006). Template-based composition of semantic web services. In AAAI Fall Symposium on Agents and Search.
97. Smith, D. E., & Weld, D. (1998). Conformant Graph plan. In 15th National Conference of the American Association for Artificial Intelligence (AAAI-98).
98. Srivastava, B. (2002). Automatic web services composition using planning. In Knowledge Based Computer Systems (KBCS'02), pp. 467-477.
99. Thakkar, S., Ambite, J. L., & Knoblock, C. (2005). Composing, optimizing, and executing plans for bioinformatics web services. VLDB Journal, Special Issue on Data Management, Analysis and Mining for Life Sciences, 14(3), 330-353. (Pubitemid 41396784)
100. Thíebaux, S., Hoffmann, J., & Nebel, B. (2005). In defense of PDDL axioms. Artificial Intelligence, 168(1-2), 38-69. (Pubitemid 41338771)
101. Winslett, M. (1988). Reasoning about actions using a possible models approach. In 7th National Conference of the American Association for Artificial Intelligence (AAAI'88).
102. Winslett, M. (1990). Updating Logical Databases. Cambridge University Press.
103. Zhan, R., Arpinar, B., & Aleman-Meza, B. (2003). Automatic composition of semantic web services. In 1st International Conference on Web Services (ICWS'03).