Naslov
Transformacija modela ponašanja programskih komponenti u analitički model
(Transformation of software component behaviour model into analysis model)

Autori
Magdić, Goran

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Fakultet elektrotehnike i računarsva

Mjesto
Zagreb

Datum
18.06

Godina
2010

Stranica
72

Mentor
Žagar, Mario

Ključne riječi
model; transformacija; komponentni modeli; jezici za opis ponašanja; uppaal; pta; vremenski automati
(model; transformation; component model; behavioral languages; uppaal; pta; timed automata)

Sažetak
Cilj ovog rada bio je ostvariti podršku za simulaciju sustava modeliranih u jeziku REMES. U sklopu rada ostvarena je transformacija modela prikazanog u jeziku REMES u model mreže težinskih vremenskih automata. Definirana su pravila transformacije i napisana je transformacija u jeziku ATL, te uklopljena u dodatak za platformu Eclipse kako bi se jednostavnije pokretala transformacija. IzgraĎen je grafički ureĎivač mreže težinskih vremenskih automata unutar platforme Eclipse, čime je omogućeno ureĎivanje mreže automata dobivenih transformacijom, odnosno priprema za simulaciju. Za potrebe izgradnje ureĎivača, ostvaren je novi model mreže automata, Uppaallite. Uz njega izgraĎene su pripadajuće transformacije iz modela REMES u model Uppaallite, te transformacije izmeĎu modela Uppaallite i modela mreže automata koji se može upotrijebiti za analizu i simulaciju.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA