Naslov
Formalna verifikacija sustava kao mrežna usluga
(Formal system verification as a web service)

Autori
Juratovac, Miroslav

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

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
08.07

Godina
2014

Stranica
70

Mentor
Bogunović, Nikola

Neposredni voditelj
Bogunović, Nikola

Ključne riječi
formalne metode; web usluga; provjera modela
(formal methods; web service; model checking)

Sažetak
Kroz rad dan je pregled cjelovitog procesa izrade mrežne usluge. Pokazan je proces izrade vlastitog web poslužitelja od temelja do mogućnosti razvoja web aplikacija i web usluga na istom poslužitelju. Rad započinje postavljanjem osnovnih komponenti potrebne programske potpore kako bi se izgradio funkcionalni temelj na kojemu će se temeljiti web aplikacija i web usluga. Oslanjajući se na dobro postavljen sustav nastavljamo s razvojem mrežne usluge za formalnu verifikaciju najprije opisujući što trebamo napraviti kroz specifikaciju zahtjeva. Nakon što smo pokazali što trebamo napraviti bavimo se izradom rješenja te dajemo pregled pojedinih komponenti konačnog funkcionalnog rješenja. Konačno testiramo uslugu kako bi smo završili proces izrade i potvrdili funkcionalnost.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA