Naslov
Formalni model specifikacije pokretnih telekomunikacijskih agenata
(Formal model for specification of mobile telecommunications agents)

Autori
Bagić, Marina

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, magistarski rad

Fakultet
Fakultet elktrotehnike i računarstva

Mjesto
Zagreb

Datum
03.12

Godina
2004

Stranica
103

Mentor
Kunštić, Marijan

Ključne riječi
formalna specifikacija; verifikacija; validacija; UML; AUML; obojena Petrijeva mreža; mobilni agent; procesiranje poziva
(formal specification; verification; validation; UML; AUML; Coloured Petri net; mobile agent; call processing)

Sažetak
Rad prikazuje razvoj formalne infrastrukture za specifikaciju višeagentskih sustava počevši od matematičkog aparata vektorskog prostora i kauzalnih mapa do konkretnih izvedbi dijagrama postojećih specifikacijskih jezika, konkretno Agent UML-a i obojenih Petrijevih mreža. Ističe važnost dobro definirane formalne specifikacije i dizajna koji podupiru rane faze razvojnog ciklusa softvera. Takvi formalizmi trebali bi poboljšati kvalitetu razvoja sustava prije njegove implementacijske faze verifikacijom i validacijom sustava. Petrijeve mreže pružaju mogućnosti konstrukcije sustava, te njegove simulacije, funkcionalne analize i analize performansi. Višeagentski sustavi podupiru autonomne, (re)aktivne i interno motivirane agente. Primjer takva sustava u radu je procesiranje poziva koji se bez gubitka informacija može generalizirati na proizvoljan drugi model upravljanja mrežom. Rezultati ovoga rada pokazuju da se mnogi aspekti AUML jezika mogu proširiti Petrijevim mrežama za formalnu definiciju ponašanja modeliranog sustava. AUML jezik proširen konceptom Petrijevih mreža može se efikasno koristiti za verifikaciju i validaciju specifičnih softverskih rješenje zahvaljujući karakteristikama Petrijevih mreža.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA