Verification and validation of multiagent system specified by agent UML

Abstract

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… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics