Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 196917

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


Bagić, Marina; Kunštić, Marijan
Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System // Proceedings of the 8th International Conference on Telecommunications ConTEL 2005 / Gledec, Jezic (ur.).
Zagreb: FER, 2005. str. 633-638 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


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 : FER, 2005, 633-638

Skup
8th International Conference on Telecommunications ConTEL 2005

Mjesto i datum
Zagreb, Croatia, 15.- 17.6.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


Projekt / tema
0036004

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (autor)

Avatar Url Marina Bagić Babac (autor)

Citiraj ovu publikaciju

Bagić, Marina; Kunštić, Marijan
Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System // Proceedings of the 8th International Conference on Telecommunications ConTEL 2005 / Gledec, Jezic (ur.).
Zagreb: FER, 2005. str. 633-638 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Bagić, M. & Kunštić, M. (2005) Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System. U: Gledec, J. (ur.)Proceedings of the 8th International Conference on Telecommunications ConTEL 2005.
@article{article, editor = {Gledec, J.}, year = {2005}, pages = {633-638}, keywords = {Intelligent Agents, Formal Specification Model, Coloured Petri Nets}, title = {Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System}, keyword = {Intelligent Agents, Formal Specification Model, Coloured Petri Nets}, publisher = {FER}, publisherplace = {Zagreb, Croatia} }