Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/752

 Title: Developing Agent Interaction Protocols with PRALU Authors: Cheremisinov, DmitryCheremisinova, Liudmila Keywords: Multi-Agent SystemInteraction ProtocolParallel 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. URI: http://hdl.handle.net/10525/752 ISSN: 1313-0463 Appears in Collections: Volume 13 Number 3

Files in This Item:

File Description SizeFormat