Interaction Protocol Engineering in Multiagent Systems

Multiagent systems composed of multiple interacting agentsAgents have to interact together to achieve their tasksAchieving tasks can be done through cooperation or coordinationThe aim of interaction is to allow the synchronization of agents and the exchange of informationOne only deals here with the interaction between agents and not between agents and environment

[1]  Marc-Philippe Huget,et al.  Design Agent Interaction as a Service to Agents , 2003, Communication in Multiagent Systems.

[2]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[3]  I. N. Sneddon,et al.  Theory Of Automata , 1969 .

[4]  Marcelo Finger,et al.  Metatem at work: modelling reactive systems using executable temporal logic , 1993 .

[5]  Benjamin Cox,et al.  NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.

[6]  허윤정,et al.  Holzmann의 ˝The Model Checker SPIN˝에 대하여 , 1998 .

[7]  J.-L. Koning.  Algorithms for translating interaction protocols into a formal description , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[8]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[9]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[10]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[12]  Juan Frausto Solís,et al.  A Methodology for Modeling Interactions in Cooperative Information Systems Using Coloured Petri Nets , 2002, Int. J. Softw. Eng. Knowl. Eng..

[13]  Stephan Merz,et al.  Model Checking , 2000 .

[14]  Jean-Luc Koning,et al.  Requirement Analysis for Interaction Protocols , 2003, CEEMAS.

[15]  Yves Demazeau,et al.  Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems , 1998, ECAI.

[16]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[17]  P.-Y. M. Chu.  Towards automating protocol synthesis and analysis , 1989 .

[18]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[19]  Michael Wooldridge,et al.  Verifying that Agents Implement a Communication Language , 1999, AAAI/IAAI.

[20]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[21]  Jan Tretmans,et al.  A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

[22]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[23]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering , 1999, ATAL.

[24]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .

[25]  Kazuhiro Kuwabara,et al.  AgenTalk: describing multiagent coordination protocols with inheritance , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.

[26]  Michael Fisher,et al.  Specifying and Executing Protocols for Cooperative Action , 1994 .

[27]  Xu Wang,et al.  Extended Modeling Languages for Interaction Protocol Design , 2001, AOSE.

[28]  Pablo Noriega,et al.  Agent-mediated auctions: the fishmarket metaphor , 1997 .

[29]  Robert McNaughton,et al.  The theory of automata , 1961 .

[30]  Kenneth L. McMillan,et al.  Symbolic model checking: an approach to the state explosion problem , 1992 .

[31]  Michael Wooldridge,et al.  Verifiable semantics for agent communication languages , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[32]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

[33]  Michael Wooldridge,et al.  Model Checking for ACL Compliance Verification , 2003, Workshop on Agent Communication Languages.

[34]  Jörg P. Müller,et al.  An extension of UML by protocols for multi-agent interaction , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[35]  Jorg P. Muller,et al.  The Design of Intelligent Agents: A Layered Approach , 1996 .

[36]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[37]  Keith L. Clark,et al.  Component Based Agent Construction , 2002, Int. J. Artif. Intell. Tools.