Formal infrastructure of multiagent system specified by Agent UML and Petri Nets
Marijan Kunštić, Marina Bagić · 2004
Softwaresation of telecommunications and increasing penetration of mobile agent technologies into telecommunications has invoked research of well defined techniques to validate and verify system specifications. We present formal model for specification of multiagent system using Agent UML language and Colored Petri Net methods. Agent UML specifies system informally at all levels of abstraction, but has no ability to either simulate or verify system's behavior. Colored Petri Nets offer this major feature. Therefore, unification of Agent UML and Petri net formalisms provides enough information on system qualities. A lot of time and effort is saved in further phase of system implementation. Increase in system reliability is also significant. Colored Petri Nets are extremely useful, and together with some of the other modeling languages, e. g. AUML, they should be a standard part of the repertoire of advanced system designers and system analysts.