Simulation, verification and automated composition of web services

Proceedings of the 11th International Conference on World Wide Web, WWW '02

Volumn , Issue , 2002, Pages 77-88

  Narayanan, Srini ^a   McIlraith, Sheila A ^b  

^a SRI INTERNATIONAL   (United States)

^b Stanford University   (United States)

Author keywords

Automated reasoning; DAML; Distributed systems; Ontologies; Semantic web; Web service composition; Web services

Indexed keywords

ANALYSIS TECHNIQUES; APPLICATION AREA; AUTOMATED COMPOSITION; AUTOMATED REASONING; COMPOSITE SERVICES; DAML+OIL; DECISION PROCEDURE; DISTRIBUTED SYSTEMS; FIRST-ORDER; LOGICAL LANGUAGE; ONTOLOGIES SEMANTIC WEB; SERVICE DESCRIPTION; STAND -ALONE; WEB SERVICE COMPOSITION;

AUTOMATA THEORY; AUTOMATION; GRAPH THEORY; ONTOLOGY; PETRI NETS; PROBLEM SOLVING; QUALITY OF SERVICE; SEMANTICS; WEB SERVICES;

SEMANTIC WEB;

EID: 70349896736     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/511446.511457     Document Type: Conference Paper

References (32)

1. van der Aalst, W..M..P. Woflan: A Petri-net-based workflow analyzer, Systems Analysis - Modelling - Simulation, 35(3):345-357, 1999.
2. Baral, C., Kreinovich, V. and Trejo, R. Computational complexity of planning and approximate planning in the presence of incompleteness, Artificial Intelligence, 122(1-2):241-267, 2000.
3. th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'98), 1998. http://spuds.cpsc.ucalgary.ca/KAW/KAW98/KAW98Proc.html
4. Berners-Lee, T., Hendler, J., Lassila, O. The Semantic Web, Scientific American, May, 2001.
5. Best, E. and Desel, J. Partial order behaviour and structure of Petri Nets. Formal Aspects of Computing, 2:123-138, 1990.
6. Blum, A.L. and Furst, M.L. Fast Planning through Planning Graph Analysis, Artificial Intelligence, 90(1-2):281-300, 1997.
7. Cheng, A. and Esperza, J. Complexity results for 1-safe nets, FST&TCS 13, Foundations of Software Technology & Theoretical Computer Science, 1993.
8. DAML-S versions 0.5 and 0.6. http://www.daml.org/services/.
9. DAML Services Coalition: Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., McIlraith, S., Narayanan, S., Paolucci, M., Payne, T., Sycara, K., Zeng, H. DAML-S: Semantic Markup for Web Services, Proc. International Semantic Web Working Symposium (SWWS), 2001.
10. Denker, G., Hobbs, J., Martin D., Narayanan, S. and Waldinger, R., Querying and accessing information on the semantic web, Proc. Semantic Web Workshop, in conjunction with 10th International Worldwide Web Conference, 2001.
11. Desel, J. and Esparza, J. Shortest paths in reachability graphs. Proc. Application and Theory of Petri Nets, pp. 224-241, Springer-Verlag (LNCS 691), 1993.
12. Ellis, C.A. and G.J. Nutt, Modelling and enactment of workflow systems, Application and Theory of Petri Nets, LNCS 691, pp. 1-16, Springer-Verlag, 1993.
13. Fikes, R. and McGuinness, D. An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL, Manuscript. March, 2001. http://www.daml.org/2001/03/axiomatic- semantics.html
14. De Giacomo, G., Lesperance, Y. and Levesque, H. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2):109-169, 2000.
15. Gruninger, M. Personal communications, August, 2001.
16. Hendler, J. Agents on the Web. IEEE Intelligent Systems. Special Issue on the Semantic Web. 16(2) March/April, 2001.
17. Hendler, J. and McGuinness, D. The DARPA Agent Markup Language. IEEE Intelligent Systems, Trends and Controversies, pp. 6-7, November/December 2000.
18. Howell, R. and Rosier, L.E. Problems concerning fairness and temporal logic for conflict-free Petri Nets. Theoretical Computer Science, 64(3):305-329, 1989.
19. th International Joint Conference on Artificial Intelligence (IJCAI'99), 1999.
20. Lowe, D. et al. BizTalk(TM) Server: The Complete Reference. November, 2001.
21. Mayr, E.W. An algorithm for the general Petri net reachability problem. SIAM Journal on Computing, 13:441-460, 1984.
22. McIlraith, S. and Fadel, R. Planning with Complex Actions. Proc. International Workshop on Non-Monotonic Reasoning (NMR2002). To appear, 2002.
23. McIlraith, S. Son, T.C. and Zeng, H. Semantic Web services, IEEE Intelligent Systems. Special Issue on the Semantic Web. 16(2):46-53, March/April, 2001.
24. th International Conference on Principles of Knowledge Representation and Reasoning. To appear, 2002.
25. Meseguer, J. and Montanari, U. Petri Nets are monoids. Information and Computation, 88:105, 1990.
26. Murata, T. Petri Nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541-580, 1989.
27. Narayanan, S. Reasoning About Actions in Narrative Understanding. Proc. International Joint Conference on Artificial Intelligence (IJCAI '99), pp. 350-358, 1999.
28. Reiter, R. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
29. Schlenoff, M. Gruninger, F. Tissot, J. Valois, J. Lubell, J. Lee, The Process Specification Language (PSL): Overview and Version 1.0 Specification, NISTIR 6459, National Institute of Standards and Technology, Gaithersburg, MD, 2001.
30. van Harmelen, F. and Horrocks, I. FAQs on OIL: the Ontology Inference Layer. IEEE Intelligent Systems, Trends and Controversies, pp. 3-6, November/December 2000.
31. Waldinger, R. Deductive composition of Web software agents. Proc. NASA Goddard Workshop on Formal Approaches to Agent-Based Systems, LNCS 1871, Springer-Verlag. 2000.
32. Winskel, G. Petri Nets, algebras, morphisms and compositionality. Information and Computation, 72(3):197-238, 1987.