A Scalable Petri Net Representation of Interaction Protocols for Overhearing

Gutnik, Gery; Kaminka, Gal A.

doi:10.1007/978-3-540-32258-0_4

Cited by 7 publications

(9 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…I presented a comprehensive theoretical model that is constructed from three components. The first models the representation of conversation protocols (which were the focus of my research in [2]). The second models a complete conversation system, a set of instantiated conversations that take place in a multi-agent system.…”

Section: Formal Model and Conversation Recognitionmentioning

confidence: 99%

See 1 more Smart Citation

Monitoring large-scale multi-agent systems using overhearing

Gutnik

2005

Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems

Self Cite

View full text Add to dashboard Cite

Recent multi-agent systems (MAS) are built using an open, distributed design. These systems involve various challenges of monitoring geographically-distributed and independently-built multiple agents. Monitoring by overhearing [3] has been found to provide a powerful monitoring approach particularly suited for open distributed MAS settings. Here, an overhearing agent monitors the exchanged communications between the system's agents. It uses these observed communications to independently assemble and infer the needed monitoring information.Although overhearing can be used in many commercial and military implementations, the research in that direction has only been limited. Many previous investigations applied overhearing in context of specific applications leaving the general problem of overhearing unattained. In my research, I attempt to provide a comprehensive theoretical model for overhearing and then, based on this model, to systematically cover various aspects related to overhearing.

show abstract

Section: Formal Model and Conversation Recognitionmentioning

confidence: 99%

“…As the first research issue [2], I addressed representation of multiagent conversations for overhearing. In open distributed MAS, agents often coordinate using standardized communications.…”

Section: Representing Conversation Pro-tocolsmentioning

confidence: 99%

Monitoring large-scale multi-agent systems using overhearing

Gutnik

2005

Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…The authors would like to thank the anonymous JAIR reviewers for many useful and informative comments. Minor subsets of this work were also published as LNAI book chapter (Gutnik & Kaminka, 2004b). K. Ushi deserves many thanks.…”

Section: Acknowledgmentsmentioning

confidence: 99%

Representing Conversations for Scalable Overhearing

Gutnik¹,

Kaminka²

2006

jair

View full text Add to dashboard Cite

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 humanreadable representation), to our Colored Petri net representation.

show abstract

“…One possible extension in the line of [25] is the integration of formal methods to perform validation tests, i.e., to check the coherence of the AUML description with the specifications derived from the analysis. To this aim, it is possible to rely on works that give to AUML sequence diagrams a semantics based on Petri Nets [22,23,12]. Validation tests, however, are just one side of the problem.…”

Section: Introductionmentioning

confidence: 99%

Reasoning About Agents’ Interaction Protocols Inside DCaseLP

Baldoni

Baroglio

Gungui

et al. 2005

Declarative Agent Languages and Technologies II

View full text Add to dashboard Cite

Abstract. Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engineering tools that support the developer in all the steps of design and implementation. In this work we focus on the problem of supporting the design of agent interaction protocols by carrying out a methodological integration of the MAS prototyping environment DCaseLP with the agent programming language DyLOG for reasoning about action and change.

show abstract

A Scalable Petri Net Representation of Interaction Protocols for Overhearing

Abstract: Abstract

Cited by 7 publications

References 7 publications

Monitoring large-scale multi-agent systems using overhearing

Monitoring large-scale multi-agent systems using overhearing

Representing Conversations for Scalable Overhearing

Reasoning About Agents’ Interaction Protocols Inside DCaseLP

Contact Info

Product

Resources

About