Naslov
Specifikacijski jezik za metode analize modela informacijskih sustava
(Specification language for analysis methods of information system models)

Autori
Krleža, Dalibor

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
30.11

Godina
2016

Stranica
251

Mentor
Fertalj, Krešimir

Ključne riječi
analiza modela, raspoznavanje uzoraka, jezik za analizu, neizrazita neuronska mreža, SMAL, GQL
(model analysis, pattern recognition, analysis language, fuzzy neural network, SMAL, GQL)

Sažetak
Razvoj informacijskog sustava je nezamisliv bez popratnog modeliranja i dokumentiranja. U tu se svrhu koriste jezici za modeliranje, kao na primjer Unified Modeling Language. Smisao modela je vjerna reprezentacija informacijskog sustava u jeziku za modeliranje. Kvaliteta modela od presudne je važnosti za uspjeh projekta. Kako bi se osigurala kvaliteta i jednolikost modela, potrebno je uspostaviti pravila na modeliranje informacijskog sustava. Provjera ispravnosti i kvalitete modela ima za cilj utvrditi usklad¯enost s uspostavljenim pravilima. Ovaj doktorski rad razrad¯uje moguc´nosti i postupke analize modela informacijskih sustava u svrhu provjere njihove ispravnosti i kvalitete. Kako bi se postupak analize uˇcinio nezavisnim od jezika koji se koristi za modeliranje, koriste se posredni modeli zasnovani na grafovima. Originalni model se transformira u graf nad kojim se zatim provode postupci analize. Raspoznavanje uzoraka u grafu jedan je od bitnih postupaka analize. U svrhu raspoznavanja uzoraka, rad sadrži definiciju originalne hijerarhijske neizrazite kaskade neuronskih mreža za raspoznavanje uzoraka u grafovima, koja se upotrebljava u svim postupcima analize. Nad definicijom neuronske mreže uspostavljen je deklarativni jezik za upite nad grafovima Graph Query Language (GQL), koji na originalni naˇcin koristi definiranu kaskadu neuronskih mreža za svoje izvršavanje. Jezik za upite nad grafovima GQL omogu´cuje izradu upita nad posrednim modelom. Uz selekciju, to jest raspoznavanje uzoraka, upiti mogu sadržavati dodavanja, promjene i brisanja elemenata posrednog modela. Ovako definirani GQL je op´ceniti jezik za upite nad grafovima i može se primijeniti nad grafovima koji ne sadrže model informacijskog sustava. Kako bi se dodatno omoguc´ilo izvod¯enje postupaka u slijedu aktivnosti i koraka, na imperativni nacˇin, u radu je definiran dodatni jezik Streamlined Modeling Analysis Language (SMAL). Postupak analize modela izvršava se od strane Petrijeve mreže ˇciju izradu omogu´cuje SMAL. Elementi jezika SMAL sadrže i mogu´cnost definiranja metrike nad modelom, kao i definiranje pravila za provjeru ispravnosti modela. Jezik za analizu modela SMAL, jezik za upite nad grafovima GQL, kao i neizrazita graf neuronska mreža praktiˇcno su izvedeni kao dodatak (plugin) za okruženje Eclipse. Rad sadrži pregled praktiˇcne izvedbe, kao i rezultate testiranja s konkretnim postupcima analize modela. Za testiranje prakticˇne izvedbe, izrad¯en je UML model knjižnice, srednje velicˇine, koji sadrži dijagrame sluˇcajeva korištenja, klasa, komponenti, suradnje, te dijagrame slijeda. Cilj testiranja na stvarnom modelu je provjera performansi praktiˇcne izvedbe, kao i provjera primjenjivosti na sve elemente UML-a.

Izvorni jezik
Hrvatski

Znanstvena područja
Računarstvo

POVEZANOST RADA