Verification and validation of multiagent system specified by agent UML (CROSBI ID 646949)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kunštić, Marijan ; Bagić, Marina
engleski
Verification and validation of multiagent system specified by agent UML
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.
Agent UML ; Petri nets ; multi-agent system
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
487-488.
2004.
objavljeno
Podaci o matičnoj publikaciji
Damask: Institute of Electrical and Electronics Engineers (IEEE)
0-7803-8482-2
Podaci o skupu
The 1st International Conference on Information & Communication Technologies: from Theory to Applications, ICTTA'04
predavanje
19.04.2004-23.04.2004
Damask, Sirija