Naslov
Formal infrastructure of multiagent system specified by Agent UML and Petri Nets

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

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

Izvornik
Proceedings of the 2004 International Conference on Computing, Communications and Control Technologies (CCCT'04) / Chu, Hsing-Wei - Austin (TX) : IIIS, 2004

Skup
International Conference on Computing, Communications and Control Technologies

Mjesto i datum
Austin (TX), Sjedinjene Američke Države, 14.08.2004. - 17.08.2004

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
mobile agent; multiagent system; formal specification; agent UML; Colored Petri Nets

Sažetak
"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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA