Automated Composition of Semantic Web Services into Executable Processes

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

Volumn 3298, Issue , 2004, Pages 380-394

  Traverso, Paolo ^a,b   Pistore, Marco ^a,b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; OBSERVABILITY; SEMANTIC WEB; WEBSITES;

AUTOMATED COMPOSITION; EXECUTABLE PROCESS; EXPERIMENTAL EVALUATION; NONDETERMINISTIC BEHAVIOR; OWL-S PROCESS MODELS; PARTIAL OBSERVABILITY; PLANNING PROBLEM; PLANNING TECHNIQUES;

WEB SERVICES;

EID: 35048860338     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30475-3_27     Document Type: Article

References (23)

1. T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weeravarana. Business Process Execution Language for Web Services Version 1.1,2003.
2. A. Ankolekar. DAML-S: Web Service Description for the Semantic Web. In P roc. 1st Int. Semantic Web Conference (ISWC'02), 2002.
3. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Composition of E-services That Export Their Behavior. In Proc. 1st Int. Conf. on Service-Oriented Computing (ICSOC'03), 2003.
4. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverse. MBP: a Model Based Planner. In Proc. IJCAI'01 Workshop on Planning under Uncertainty and Incomplete Information, 2001.
5. P. Bertoli, A. Cimatti, M. Pistore, and P. Traverso. A Framework for Planning with Extended Goals under Partial Observability. In Proc. 13th Int. Conf. on Automated Planning and Scheduling (ICAPS'03), 2003.
6. P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In Proc. 17th Int. Joint Conference on Artificial Intelligence (IJCAI'01), 2001.
7. P. Bertoli and M. Pistore. Planning with Extended Goals and Partial Observability. In Proc. 14th Int. Conf. on Automated Planning and Scheduling (ICAPS'04), 2004.
8. B. Bonet and H. Geffner. Planning with Incomplete Information as Heuristic Search in Belief Space. In Proc. 5th Int. Conf. on Artificial Intelligence Planning and Scheduling (AIPS 2000), 2000.
9. A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence, 147(1-2):35-84, 2003.
10. The OWL Services Coalition. OWL-S: Semantic Markup for Web Services -Technical White paper (OWL-S version 1.0), 2003.
11. U. Dal Lago, M. Pistore, and P. Traverso. Planning with a Language for Extended Goals. In Proc. 18tn National Conference on Artificial Intelligence (AAAI'02), 2002.
12. D. Me Dermott. The Planning Domain Definition Language Manual. Technical Report 1165, Yale Computer Science University, 1998. CVC Report 98-003.
13. F. Giunchiglia and P. Traverso. Planning as Model Checking. In Proc. 5th European Conf. on Planning (ECP'99), 1999.
14. A. Lazovik, M. Aiello, and Papazoglou M. Planning and Monitoring the Execution of Web Service Requests. In Proc. 1st Int. Conf. on Service-Oriented Computing (ICSOC'03), 2003.
15. D. Mandell and S. McIlraith. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In Proc. 2nd Int. Semantic Web Conference (ISWC'03), 2003.
16. S. McIlraith and R. Fadel. Planning with Complex Actions. In Proc. 9th Int. Workshop on Non-Monotonic Reasoning (NMR'02), 2002.
17. S. McIlraith and S. Son. Adapting Golog for composition of semantic web Services. In Proc. 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'02), 2002.
18. S. McIlraith, S. Son, and H. Zeng. Semantic Web Services. IEEE Intelligent Systems, 16(2):46-53, 2001.
19. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. 11th Int. World Wide Web Conference (WWW'02), 2002.
20. M. Pistore, P. Bertoli, F. Barbon, D. Shaparau, and P. Traverso. Planning and Monitoring Web Service Composition. In Proc. 11th Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications - Semantic Web Challenges (AMSA'04), 2004.
21. M. Sheshagiri, M. desJardins, and T. Finin. A Planner for Composing Services Described in DAML-S. In Proc. AAMAS'03 Workshop on Web Services and Agent-based Engineering, 2003.
22. S. Thakkar, C. Knoblock, and J.L. Ambite. A View Integration Approach to Dynamic Composition of Web Services. In Proc. ICAPS'03 Workshop on Planning for Web Services, 2003.
23. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S Web Services Composition using SHOP2. In Proc. 2nd Int. Semantic Web Conference (ISWC'03), 2003.