Synthesis and composition of web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5569 LNCS, Issue , 2009, Pages 89-157

  Marconi, Annapaola ^a   Pistore, Marco ^a  

^a FONDAZIONE BRUNO KESSLER   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED SYNTHESIS; BUSINESS GOALS; COMPLEX COMPOSITIONS; COMPOSITE SERVICES; COMPOSITION DOMAINS; ERROR PRONES; FORMAL FRAMEWORK; NEW SERVICES; REAL-WORLD; WEB SERVICE COMPOSITION;

COMPLEXATION; COMPUTER SOFTWARE; DESIGN; SYNTHESIS (CHEMICAL); WEB SERVICES;

FORMAL METHODS;

EID: 77952267271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01918-0_3     Document Type: Conference Paper

References (86)

1. ActiveBPEL. The Open Source BPEL Engine, http://www.activebpel.org
2. Akkiraju, R., Srivastava, B., Ivan, A., Goodwin, R., Syeda-Mahmood, T.: Semaplan: Combining planning with semantic matching to achieve web service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2006 (2006)
3. Amazon Services. AWSECommerceService WSDL Specification (2006), http://aws.amazon.com/
4. Amazon Services. Amazon E-Commerce Service - Developer Guide (2007), http://developer.amazonwebservices.com/
5. Ambite, J.L., Kapoor, D.: Argos: a framework for automatically generating data processing workflows. In: Proc. of the 8th annual international conference on Digital government research, dg.o 2007 (2007)
6. Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services, version 1.1 (2003)
7. Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., Mcllraith, S., Narayanan, S.: DAML-S: semantic markup for web services. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 348. Springer, Heidelberg (2002)
8. Ardagna, D., Pernici, B.: Dynamic web service composition with QoS constraints. International Journal of Business Process Integration and Management 1(4), 233-243 (2006)
9. ASTRO. Project ASTRO: Supporting the Composition of Distributed Business Processes, http://astroproject.org
10. Baresi, L., Maurino, A., Modalfieri, S.: Workflow partitioning in mobile information systems. In: Proc. of IFIP TC8 Working Conference on Mobile Systems (2004)
11. Benatallah, B., Dumas, M., Fauvet, M., Rabhi, F.: Towards patterns of web services composition (2002)
12. Benatallah, B., Dumas, M., Sheng, Q., Ngu, A.: Declarative composition and peer-to-peer provisioning of dynamic web services. In: Proc. of the International Conference on Data Engineering, ICDE 2002 (2002)
13. Berardi, D.: Automatic Service Composition: Models, Techniques and Tools. Ph.D Thesis (2005)
14. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: Proc. of the 31st VLDB Conference, VLDB 2005 (2005)
15. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of E-Services that export their behaviour. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43-58. Springer, Heidelberg (2003)
16. Berardi, D., Calvanese, D., De Giacomo, G., Mecella, M.: Composition of Services with Nondeterministic Observable Behaviour. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 520-526. Springer, Heidelberg (2005)
17. Berge, C.: Graphs and Hypergraphs. North-Holland, Amsterdam (1973)
18. Berge, C.: Hypergraphs: Combinatorics of Finite Sets. North-Holland, Amsterdam (1989)
19. Berglund, A., Boag, S., Chamberlin, D., Ferndez, M.F., Kay, M., Robie, J., Siméon, J.: XML Path Language, XPath 2.0 (2007), http://www.w3.org/ TR/xpath20/
20. Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a Model Based Planner. In: Proc. of IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (2001)
21. Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. ICAPS 2003 (2003)
22. Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Proc. IJCAI 2001 (2001)
23. Boley, H.: Directed recursive labelnode hypergraphs: a new representation language. Artificial Intelligence 9, 49-85 (1977)
24. Brogi, A., Popescu, R.: Towards Semi-automated Workflow-Based Aggregation of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 214-227. Springer, Heidelberg (2005)
25. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 8(C-35), 677-691 (1986)
26. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: In Proc. of the 12th international conference on World Wide Web (WWW2003), pp. 403-410 (2003)
27. 20 states and beyond. In: Proc. of Symp. Logic in Computer Science, pp. 428-439 (1990)
28. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Service Description Language (WSDL), version 1.1 (2001)
29. Cimatti, A., Giunchiglia, F., Giunchiglia, E., Traverso, P.: Planning via model checking: A decision procedure for ar. In: Steel, S. (ed.) ECP 1997. LNCS, vol. 1348, pp. 130-142. Springer, Heidelberg (1997)
30. Cimatti, A., Giunchiglia, F., Giunchiglia, E., Traverso, P.: Planning as model checking. In: Proc. of ECP, pp. 1-20 (1999)
31. Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence 147(1-2), 35-84 (2003)
32. Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. AAAI 2002 (2002)
33. ActiveBPEL Designer. The Active Endpoints BPEL Designer, http://www.active-endpoints.com
34. Dustdar, S., Schreiner, W.: A survey on web services composition.. Int. J. Web and Grid Services 1, 1-30 (2005)
35. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B. Elsevier, Amsterdam (1990)
36. Erol, K., Hendler, J., Nau, D.: Semantics for HTN planning (1994)
37. Erol, K., Hendler, J., Nau, D.: UMCP: A sound and complete procedure for hierarchical task-network planning. In: Proc. Artificial Intelligence Planning Systems Symposium, pp. 249-254 (1994)
38. W3C Semantic Annotations for Web Service Description Language Working Group. Semantic Annotations for WSDL and XML Schema, SAWSDL (2007), http://www.w3.org/TR/sawsdl/
39. Fujii, K., Suda, T.: Dynamic service composition using semantic information. In: Proc. of International Conference on Service Oriented Computing, ICSOC 2004 (2004)
40. De Giacomo, G., Lesperance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2), 109-169 (2000)
41. Gnesi, S., Montanari, U., Martelli, A.: Dynamic programming as graph searching: an algebraic approach. J. Assoc. Comp. Mach. 28, 737-751 (1981)
42. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proc. PODS 2003 (2003)
43. Kazhamiakin, R.: Formal Analysis of Web Service Compositions. Ph.D Thesis (2007)
44. Khalaf, R., Mukhi, N., Weerawarana, S.: Service Oriented Composition in BPEL4WS. In: Proc. WWW2003 (2003)
45. Koehler, J., Srivastava, B.: Web Service Composition: Current Solutions and Open Problems. In: Proc. of ICAPS 2003 Workshop on Planning for Web Services (2003)
46. Kuster, U., Stern, M., Konig-Ries, B.: A classification of issures and approaches in service composition. In: Workshop Proc. First International Workshop on Engineering Service Compositions, WESC 2005 (2005)
47. Lecue, F., Delteil, A., Leger, A.: Applying abduction in semantic web service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)
48. Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31, 59-83 (1997)
49. Levi, G., Sirovich, F.: Generalized And/Or graphs. Artificial Intelligence 7, 243-259 (1976)
50. Marconi, A., Pistore, M., Traverso, P.: Specifying Data-Flow Requirements for the Automated Composition of Web Services. In: Proc. of Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006 (2006)
51. Marconi, A., Pistore, M., Traverso, P.: Automated Web Service Composition at Work: the Amazon/MPS Case Study. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)
52. Marconi, A., Pistore, M., Traverso, P.: Automated Web Service Composition in Practice: from Composition Requirements Specification to Process Run. In: Proc. of 2nd European Young Researchers Workshop on Service Oriented Computing, YRSOC 2007 (2007)
53. Marconi, A.: Automated Process-level Composition of Web Services: from Requirements Specification to Process Run. Ph.D thesis, Univerity of Trento (2008)
54. Martelli, A., Montanari, U.: Additive AND/OR graphs. In: Proc. IJCAI, vol. 3 (1973)
55. McCarthy, J.: Situations, actions and causal laws (1968)
56. McIlraith, S., Fadel, R.: Planning with Complex Actions. In: Proc. NMR 2002 (2002)
57. McIlraith, S., Son, S.: Adapting Golog for Composition of Semantic Web Services. In: Proc. of the Eighth International Conference on Knowledge Representation and Reasoning, KR 2002 (2002)
58. Milanovic, N., Malek, M.: Current solutions for web service composition. IEEE Internet Computing 8(6), 51-59 (2004) (Pubitemid 40043367)
59. Nagarajan, M., Verma, K., Sheth, A.P., Miller, J.A., Lathem, J.: Semantic interoperability of web services - challenges and experiences. In: Proc. of IEEE International Conference on Web Services, ICWS 2006 (2006)
60. Nanda, M.G., Chandra, S., Sarkar, V.: Decentralizing execution of composite web services. In: Proc. of 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA (2004)
61. Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of the Eleventh International Conference on World Wide Web, WWW 2002 (2002)
62. Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, W., Wu, D., Yaman, F.: SHOP2: An HTN planning system. Journal of Artificial Intelligence Research 20, 379-404 (2003)
63. Nau, D., Cao, Y., Lotem, A., Muroz-Avila, H.: Shop: Simple hierarchical ordered planner. In: Proc. of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 1999 (1999)
64. Oracle. Oracle BPEL Process Manager, http://www.oracle.com/appserver/ bpel-home.html
65. OWL-S. OWL-S: Semantic Markup for Web Services (OWL-S version 1.0) (2003)
66. Peer, J.: Web service composition as AI planning - a survey (2005)
67. Pistore, M., Marconi, A., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Proc. IJCAI 2005 (2005)
68. Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: Proc. ICAPS 2005 (2005)
69. Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. of IEEE International Conference on Web Services, ICWS 2005 (2005)
70. Ponnekanti, S., Fox, A.: SWORD: A Developer Toolkit for Web Service Composition. In: Proc. WWW2002 (2002)
71. Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 43-54. Springer, Heidelberg (2005)
72. Sacerdoti, E.D.: Planning in a hierarchy of abstraction spaces. In: Proc. of the Third International Joint Conference on Artificial Intelligence, IJCAI 1973 (1973)
73. Sadiq, W., Sadiq, S., Schulz, K.: Model-driven distribution of collaborative business processes. In: Proc. of IEEE International Conference on Services Computing, SCC (2006)
74. Sirin, E., Hendler, J., Parsia, B.: Semi automatic composition of web services using semantic descriptions. In: Proc. ICEIS 2003 Workshop on Web Services: Modeling, Architecture and Infrastructure (2003)
75. Skogan, D., Gronmo, R., Solheim, I.: Web Service Composition in UML. In: Proc. EDOC 2004 (2004)
76. Srivastava, B., Koehler, J.: Planning with Workflows - An Emerging Paradigm for Web Service Composition. In: Proc. of ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (2004)
77. Thakkar, S., Ambite, J.L., Knoblock, C.A.: A view integration approach to dynamic composition of web services. In: Proc. of the 1st ICAPS International Workshop on Planning for Web Services, P4WS 2003 (2003)
78. Thakkar, S., Ambite, J.L., Knoblock, C.A.: A data integration approach to automatically composing and optimizing web services. In: Proc. of the 2nd ICAPS International Workshop on Planning and Scheduling for Web and Grid Services (2004)
79. Thakkar, S., Ambite, J.L., Knoblock, C.A., Shahabi, C.: Dynamically composing web services from on-line sources. In: Proc. of 2002 AAAI Workshop on Intelligent Service Integration (2002)
80. Trainotti, M., Pistore, M., Calabrese, G., Zacco, G., Lucchese, G., Barbon, F., Bertoli, P., Traverso, P.: ASTRO: supporting the Composition and Execution of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 495-501. Springer, Heidelberg (2005)
81. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (2003)
82. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Proc. of the 22nd International Conference on Conceptual Modeling (2003)
83. Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-SWeb Services Composition using SHOP2. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195-210. Springer, Heidelberg (2003)
84. Yildiz, U., Godart, C.: Centralized versus decentralized conversation-based orchestrations. In: Proc. of 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services, CEC-EEE 2007 (2007)
85. Yildiz, U., Godart, C.: Information flow control with decentralized service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)
86. Zeng, L.: Dynamic web services composition. Ph.D Thesis (2003)