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.