engleski

Modeling of Inter-Agent Communication by Encapsulating the Negotiation Functionalities in ACL Messages

Increasing usage of mobile intelligent agents in telecommunications' network management motivated the research of their adequate formal specification. Colored Petri Nets offers a variety of specification issues analyzing the system in an early stage of its software development detecting its weaknesses. FIPA agents, using ACL (Agent Communication Language) as the agent communication language, can significantly enhance the possibility of dynamic network negotiation and optimisation. Therefore, an encapsulation of negotiation functionalities in ACL messages significantly reduces network dependency, i.e. network availability and reliability. This paper uses CPN Tools in order to support this assumption and adequately specify, validate and verify such inter-agent communication via ACL messages.

Multi-agent System ; Formal Specification ; Inter-Agent Communication ; Colored Petri Nets ; ACL Messages

nije evidentirano