Spletno okolje za formalno verifikacijo z uporabo storitveno usmerjene arhitekture

magistrsko delo

David Dedič (Avtor), Zmago Brezočnik (Mentor)

Povzetek

V sodobnem svetu elektronskega poslovanja je storitveno usmerjena arhitektura vse pogosteje uporabljen koncept. Omogoča nam, da lahko prek spletnih storitev dostopamo do funkcionalnosti spletnih aplikacij. Uporaba spletnih aplikacij ima pred aplikacijami, ki tečejo na lokalnem računalniku, številne prednosti: aplikacij ni potrebno nameščati lokalno, uporabljamo jih lahko na različnih napravah in platformah, hkrati jih lahko neodvisno uporablja več uporabnikov, do njih lahko dostopamo od koderkoli, potrebujemo le spletni brskalnik in povezavo z internetom. V okviru magistrskega dela smo izdelali spletno aplikacijo, ki prek spletnih storitev omogoča uporabo orodja EST za formalno verifikacijo. Uspešnost in uporabniško izkušnjo razvitega spletnega okolja smo pokazali na več primerih sistemov s sočasnostjo, katerih pravilnost smo verificirali s testiranjem ekvivalence in preverjanjem modelov.

Ključne besede

storitveno usmerjena arhitektura;spletne storitve;formalna verifikacija;preverjanje podatkov;EST;magistrske naloge;

Podatki

Jezik:	Slovenski jezik
Leto izida:	2016
Tipologija:	2.09 - Magistrsko delo
Organizacija:	UM FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Založnik:	D. Dedič
UDK:	004.273:004.777(043)
COBISS:	19862806
Št. ogledov:	1159
Št. prenosov:	102
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	Web-based environment for formal verification using a service-oriented architecture
Sekundarni povzetek:	In the contemporary world of online business, service-oriented architecture is a concept being increasingly utilised. It enables the use of functionalities of web applications via web-services. Use of web applications, compared to those running on local computers, has a number of advantages: applications do not need to be installed locally and may be used on different devices and platforms, and simultaneously may be independently used by multiple users and accessed from anywhere, one only needs a web browser and an Internet connection. Within this master thesis, we have developed a web application allowing the use of EST tools for formal verification via web services. We have also demonstrated performance and user experience of the developed web environment on several examples of concurrent systems, whose accuracy has been verified through equivalence testing and model checking.
Sekundarne ključne besede:	service-oriented architecture;web service;formal verification;model checking;EST;
URN:	URN:SI:UM:
Vrsta dela (COBISS):	Magistrsko delo
Komentar na gradivo:	Univ. v Mariboru, Fak. za elekrotehniko, računalništvo in informatiko
Strani:	XX, 141 str.
ID:	9176452