Naslov
Verification and validation of multiagent system specified by agent UML

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

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

Izvornik
Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on / - Damask : Institute of Electrical and Electronics Engineers (IEEE), 2004, 487-488

ISBN
0-7803-8482-2

Skup
The 1st International Conference on Information & Communication Technologies: from Theory to Applications, ICTTA'04

Mjesto i datum
Damask, Sirija, 19.04.2004. - 23.04.2004

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Agent UML ; Petri nets ; multi-agent system

Sažetak
In this paper verification and validation of multiagent system specified by Agent UML is studied. Extended Object Petri nets model for intelligent agents is developed since this particular model can be translated onto CP-nets (colored Petri) model, which verifies and validates agent features as they are primarily formalized using AUML (agent unified modeling language). CP-nets provide a framework for the design, specification, validation and verification of systems. CP-nets have a wide range of application areas ; therefore can also be applied in the area of network management. CPN tools support the construction, simulation, and functional and performance analysis of CPN models. Protocols in multiagent systems can also be obtained by extended Object Petri net (and CPN) model. The differences and similarities important for translation between the two formalisms are compared and analyzed.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo

POVEZANOST RADA