BulDML at Institute of Mathematics and Informatics >
International Journal ITA >
2006 >
Volume 13 Number 3 >

Please use this identifier to cite or link to this item:

Title: Developing Agent Interaction Protocols with PRALU
Authors: Cheremisinov, Dmitry
Cheremisinova, Liudmila
Keywords: Multi-Agent System
Interaction Protocol
Parallel Control Algorithm
Issue Date: 2006
Publisher: Institute of Information Theories and Applications FOI ITHEA
Abstract: The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means.
ISSN: 1313-0463
Appears in Collections:Volume 13 Number 3

Files in This Item:

File Description SizeFormat
ijita13-3-p07.pdf83.48 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!   Creative Commons License