Naslov
Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System

Autori
Bagić, Marina ; Kunštić, Marijan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 8th International Conference on Telecommunications ConTEL 2005 / Gledec, Jezic - Zagreb : Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, 2005, 633-638

Skup
8th International Conference on Telecommunications ConTEL 2005

Mjesto i datum
Zagreb, Hrvatska, 15.06.2005. - 17.06.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Intelligent Agents; Formal Specification Model; Coloured Petri Nets

Sažetak
Network management of multi-agent system could be provided by FIPA agents communicating via ACL (Agent Communicating Language) messages. Such agents can significantly enhance the possibility of dynamic network negotiation and optimization, i.e. reduce dependency on network availability and reliability, encapsulating these functionalities in ACL messages. Here we offer formal specification of such agents using Coloured Petri Nets (CPN) in order to support their validation and verification. We model inter-agent communication via ACL messages specified by Petri colours. We also give an insight into a correlation between informal (AUML Sequence Diagram) and formal (CPN Tools Diagram) modelling techniques with suggestion on their merging.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA