Model checking multi-agent web services

AAAI Spring Symposium - Technical Report

Volumn 6, Issue , 2004, Pages 68-75

  Walton, Christopher D ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; NETWORK PROTOCOLS; WORLD WIDE WEB; XML;

CORBA; SIMPLE OBJECT ACCESS PROTOCOLS (SOAP); WEB SERVICE DESCRIPTION LANGUAGES (WSDL); WEB SERVICES;

MULTI AGENT SYSTEMS;

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

References (13)

1. Booth, D.; Haas, H.; McCabe, F.; Newcomer, E.; Champion, M.; Ferns, C; and Orchard, D. 2003. Web Services Architecture. World-Wide-Web Consortium (W3C). Available at: http://www.w3.org/TR/ws-arch/.
2. Clarke, E. M.; Grumberg, O.; and Peled, D. A. 1999. Model Checking. MIT Press.
3. Dijkstra, E. W. 1975. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8):453-457.
4. Esteva, M.; Rodríguez, J. A.; Sierra, C.; Garcia, P.; and Arcos, J. L. 2001. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence, 126-147.
5. FIPA Foundation for Intelligent Physical Agents. 1999. FIPA Specification Part 2 - Agent Communication Language. Available at: www.fipa.org.
6. Franklin, S., and Graesser, A. 1997. Is it an Agent, or just a Program?: A Taxonomy for Autonomous Agents. In Proceedings of the Third International Workshop on Agent Theories, number 1193 in Lecture Notes on Artificial Intelligence. Budapest, Hungary: Springer-Verlag. 21-36.
7. Fu, X.; Bultan, T.; and Su, J. 2003. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In Proceedings of the Eighth International Conference on Implementation and Application of Automata (CIAA'03), number 2759 in Lecture Notes in Computer Science, 188-200. Santa Barbara, California: Springer-Verlag.
8. Greaves, M.; Holmback, H.; and Bradshaw, J. 1999. What is a Conversation Policy? In Proceedings of the Workshop on Specifying and Implementing Conversation Policies, Autonomous Agents '99.
9. Gudgin, M.; Hadley, M.; Mendelsohn, N.; Moreau, J. J.; and Nielsen, H. F. 2003. SOAP Version 1.2 Specification. World-Wide-Web Consortium (W3C). Available at: http://www.w3.org/TR/soap12/.
10. Holzmann, G. J. 2003. The SPIN Model Checker: Primer and Reference Manual. Addison Wesley.
11. Walton, C. D., and Robertson, D. 2002. Flexible Multi-Agent Protocols. In Proceedings of UKMAS 2002. Also published as Informatics Technical Report EDI-INF-RR-0164, University of Edinburgh.
12. Walton, C. D. 2004. Multi-Agent Dialogue Protocols. In Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics.
13. Wooldridge, M.; Fisher, M.; Huget, M. P.; and Parsons, S. 2002. Model Checking Multiagent systems with MABLE. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02).