Formal infrastructure of multiagent system specified by Agent UML and Petri Nets (CROSBI ID 498020)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kunštić, Marijan ; Bagić, Marina
engleski
Formal infrastructure of multiagent system specified by Agent UML and Petri Nets
"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.
mobile agent; multiagent system; formal specification; agent UML; Colored Petri Nets
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
2004.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 2004 International Conference on Computing, Communications and Control Technologies (CCCT'04)
Chu, Hsing-Wei
Austin (TX): IIIS
Podaci o skupu
International Conference on Computing, Communications and Control Technologies
predavanje
14.08.2004-17.08.2004
Austin (TX), Sjedinjene Američke Države