On illegal composition of first-class agent interaction protocols

Conferences in Research and Practice in Information Technology Series

Volumn 74, Issue , 2008, Pages 127-136

  Miller, Tim ^a   McBurney, Peter ^b  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Interaction protocols; Multi agent systems

Indexed keywords

ADAPTIVE AGENTS; AGENT INTERACTION PROTOCOLS; DECISION-MAKING MECHANISMS; EXECUTABLE SPECIFICATIONS; INTER-ACTION PROTOCOLS; LEGAL PROTOCOLS; MULTI AGENT SYSTEM (MAS); PROCESS ALGEBRAS; PROOF OBLIGATIONS; PROTOCOL COMPOSITION; PROTOCOL SPECIFICATIONS; RUNTIMES;

COMPUTER SCIENCE; CRIME; MULTI AGENT SYSTEMS; SPECIFICATIONS;

INTELLIGENT AGENTS;

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

References (15)

1. A. Bloesch and O. Traynor. The Cogito tool architecture. Technical Report 95-7, Software Verification Research Centre, 1995.
2. F. S. De Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems, 19(5):685-725, September 1997. (Pubitemid 127459816)
3. L. P. de Silva, M. Winikoff, and W. Liu. Extending agents by transmitting protocols in open systems. In Proceedings of the Challenges in Open Agent Systems Workshop, Melbourne, Australia, 2003.
4. N. Desai, A. U. Mallya, A. K. Chopra, and M. P. Singh. OWL-P: A methodology for business process modeling and enactment. In Workshop on Agent Oriented Information Systems, pages 50-57, July 2005.
5. N. Desai and M. P. Singh. A modular action description language for protocol composition. In Proceedings of the 22nd Conference on Artificial Intelligence (AAAI), pages 962-967. AAAI Press, 2007. (Pubitemid 350149695)
6. P. E. Dunne. Prevarication in dispute protocols. In G. Sartor, editor, Proceedings of the Ninth International Conference on AI and Law, pages 12-21, New York, NY, USA, 2003. ACM Press.
7. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
8. J. McGinnis and T. Miller. Amongst first-class protocols. In Engineering Societies in the Agents World VIII, LNAI, 2007. (To Appear).
9. T. Miller and P. McBurney. Executable logic for reasoning and annotation of first-class interaction protocols. Technical Report ULCS-07-015, University of Liverpool, Department of Computer Science, 2007.
10. T. Miller and P. McBurney. Using constraints and process algebra for specification of firstclass agent interaction protocols. In G. O'Hare, A. Ricci, M. O'Grady, and O. Dikenelli, editors, Engineering Societies in the Agents World VII, volume 4457 of LNAI, pages 245-264, 2007.
11. B. C. Pierce. Types and programming languages. MIT Press, Cambridge, MA, USA, 2002.
12. D. Robertson. Multi-agent coordination as distributed logic programming. In Proceedings of the International Conference on Logic Programming, volume 3132 of LNCS, pages 416-430. Springer, 2004.
13. S. Schneider. The B-Method: An Introduction. Palgrave, 2001.
14. J. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.
15. P. Yolum and M. P. Singh. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and AI, 42(1-3):227-253, 2004. (Pubitemid 39046783)