@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Gal A. Kaminka's publication pages at
@COMMENT http://www.cs.biu.ac.il/~galk/publications/
@Article{jair06gery,
author = {Gery Gutnik and Gal A. Kaminka},
title = {Representing Conversations for Scalable Overhearing},
journal = JAIR,
year = {2006},
volume = {25},
pages = {349--387},
abstract = {Open distributed multi-agent systems are gaining
interest in the academic community and in industry. In
such open settings, agents are often coordinated using
standardized agent conversation protocols. The
representation of such protocols (for analysis,
validation, monitoring, etc) is an important aspect of
multi-agent applications. Recently, Petri nets have been
shown to be an interesting approach to such
representation, and radically different approaches using
Petri nets have been proposed. However, their relative
strengths and weaknesses have not been
examined. Moreover, their scalability and suitability
for different tasks have not been addressed. This paper
addresses both these challenges. First, we analyze
existing Petri net representations in terms of their
scalability and appropriateness for overhearing, an
important task in monitoring open multi-agent
systems. Then, building on the insights gained, we
introduce a novel representation using Colored Petri
nets that explicitly represent legal joint conversation
states and messages. This representation approach offers
significant improvements in scalability and is
particularly suitable for overhearing. Furthermore, we
show that this new representation offers a comprehensive
coverage of all conversation features of FIPA
conversation standards. We also present a procedure for
transforming AUML conversation protocol diagrams (a
standard human-readable representation), to our Colored
Petri net representation.},
wwwnote = {},
}