Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 195649

Formalni model specifikacije pokretnih telekomunikacijskih agenata


Bagić, Marina
Formalni model specifikacije pokretnih telekomunikacijskih agenata 2004., magistarski rad, Fakultet elktrotehnike i računarstva, Zagreb


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


Ustanove
Fakultet elektrotehnike i računarstva, Zagreb

Profili:

Avatar Url Marijan Kunštić (mentor)

Avatar Url Marina Bagić Babac (autor)

Citiraj ovu publikaciju

Bagić, Marina
Formalni model specifikacije pokretnih telekomunikacijskih agenata 2004., magistarski rad, Fakultet elktrotehnike i računarstva, Zagreb
Bagić, M. (2004) 'Formalni model specifikacije pokretnih telekomunikacijskih agenata', magistarski rad, Fakultet elktrotehnike i računarstva, Zagreb.
@phdthesis{phdthesis, author = {Bagi\'{c}, M.}, year = {2004}, pages = {103}, keywords = {formal specification, verification, validation, UML, AUML, Coloured Petri net, mobile agent, call processing}, title = {Formal model for specification of mobile telecommunications agents}, keyword = {formal specification, verification, validation, UML, AUML, Coloured Petri net, mobile agent, call processing}, publisherplace = {Zagreb} }