Automated composition of web services by planning in asynchronous domains

ICAPS 2005 - Proceedings of the 15th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2005, Pages 2-11

  Pistore, M ^a   Traverso, P ^b   Bertoli, P ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS PLANNING; AUTOMATED COMPOSITION; BUSINESS PROCESS; INDUSTRIAL STANDARDS; ON STATE; PLANNING FRAMEWORK; PLANNING UNDER UNCERTAINTY; SCALE-UP;

AUTOMATION; WEBSITES;

WEB SERVICES;

EID: 84890303891     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. ActiveBPEL. The Open Source BPEL Engine - http://www.activebpel.org.
2. Andrews, T.; Curbera, E; Dolakia, H.; Goland, J.; Klein, J.; Leymann, F.; Liu, K.; Roller, D.; Smith, D.; Thatte, S.; Trickovic, I.; and Weeravarana, S. 2003. Business Process Execution Language for Web Services (version 1.1).
3. Berardi, D.; Calvanese, D.; Giacomo, G. D.; Lenzerini, M.; and Mecella, M. 2003. Automatic composition of E- Services that export their behaviour. In Proc. ICSOC'03.
4. Blythe, J.; Deelman, E.; and Gil, Y. 2003. Planning for workflow construction and maintenance on the grid. In Proc. of ICAPS'03 Workshop on Planning for Web Services.
5. Buitan, T.; Fu, X.; Hull, R.; and Su, J. 2003. Conversation Specifi cation: A New Approach to Design and Analysis of E-Service Composition. In Proc. WWW'03.
6. Cimatti, A.; Pistore, M.; Roveri, M.; and Traverso, P. 2003. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence 147(1 -2):35-84.
7. Dal Lago, U.; Pistore, M.; and Traverso, P. 2002. Planning with a Language for Extended Goals. In Proc. AAAl'02.
8. Dermott, D. M. 1998. The Planning Domain Defi nition Language Manual. Technical Report 1165, Yale Computer Science University. CVC Report 98-003.
9. Emerson, E. A. 1990. Temporal and modal logic. In van Leeuwen, J., ed., Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier.
10. Foster, H.; Uchitel, S.; Magee, J.; and Kramer, J. 2003. Model-based verifi cation of Web Service Compositions. In Proc. ASE'03.
11. Fu, X.; Bultan, T.; and Su, J. 2004. Analysis of Interacting BPEL Web Services. In Proc. WWW'04.
12. Hull, R., Benedikt, M., Christophides, V. and Su, J. 2003. E-Services: A Look Behind the Curtain. In Proc. PODS 03.
13. Khalaf, R. Mukhi, N. and Weeravarana. S. 2004. Service Oriented Composition in BPEL4WS. In Proc. WWW2004.
14. Koehler, J. and Srivastava, B. 2002. Web service composition: Current solutions and open problems. In Proc. of ICAPS'03 Workshop on Planning for Web Services.
15. Koehler, J.; Tirenni, G. and Kumaran, S. 2002. From business process model to consistent implementation: A case for formal verifi cation methods. In Proc. EDOC'02.
16. Mcllraith, S. and Fadel, R. 2002. Planning with Complex Actions. In Proc. NMR'02.
17. Mc llraith, S. and Son, S. 2002. Adapting Golog for composition of semantic web Services. In Proc. KR'02.
18. Narayanan, S. and Mcllraith, S. 2002. Simulation, Verifi cation and Automated Composition of Web Services. In Proc. WWW2002.
19. Oracle.Oracle BPEL Process Managerhttp://www.oracle.com/products/ias/ bpel/OWL-S: Semantic Markup for Web Services. Technical White paper (OWL-S version 1.0).
20. Petrick, R. and Bacchus, F. 2002. A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. In Proc. MPS'02.
21. Pistore, M. and Traverso, P. 2001. Planning as model checking for extended goals. In Proc. IJCAI'01.
22. Pistore, M.; Bertoli, P.; Barbon, F.; Shaparau, D. and Traverso, P. 2004. Planning and Monitoring Web Service Composition. In Proc. AIMSA '04.
23. Pnueli, A. and Rosner, R. 1989. On the synthesis of an asynchronous reactive module. In Proc. ICALP'89.
24. Sheshagiri, M.; desJardins, M. and Finin, T. 2003. A Planner for Composing Services Described in DAML-S. In Proc. AAMAS'03.
25. Thakkar, S.; Knoblock, C. and Ambite, J. 2003. A view integration approach to dynamic composition of web services. In Proc. of ICAPS '03 Workshop on Planning for Web Services.
26. Traverso, P. and Pistore, M. 2004. Automated Composition of Semantic Web Services into Executable Processes. In Proc. ISWC'04.
27. Vardi, M. Y. An automata-theoretic approach to fair realiz- Ability and synthesis. In Proc. CAV'95. 1995. The web service modeling framework. SDK WSMO working group - http://www.wsmo.org/.
28. Wu, D.; Parsia, B.; Sirin, E.; Hendler, J. and Nau, D. 2003. Automating DAML-S Web Services Composition using SHOP2. In Proc. ISWC'03.