| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Show document Help

Title:Spletno okolje za formalno verifikacijo z uporabo storitveno usmerjene arhitekture : magistrsko delo
Authors:ID Dedič, David (Author)
ID Brezočnik, Zmago (Mentor) More about this mentor... New window
Files:.pdf MAG_Dedic_David_i2016.pdf (4,89 MB)
MD5: 642E5C6EFBEA27A903EB5A3D7AE84C18
 
Language:Slovenian
Work type:Master's thesis
Typology:2.09 - Master's Thesis
Organization:FERI - Faculty of Electrical Engineering and Computer Science
Abstract: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.
Keywords:storitveno usmerjena arhitektura, spletne storitve, formalna verifikacija, preverjanje podatkov, EST, magistrske naloge
Place of publishing:[Maribor
Place of performance:[Maribor
Publisher:D. Dedič
Year of publishing:2016
Year of performance:2016
Number of pages:XX, 141 str.
PID:20.500.12556/DKUM-64511 New window
UDC:004.273:004.777(043)
COBISS.SI-ID:19862806 New window
NUK URN:URN:SI:UM:DK:8T65BEJK
Publication date in DKUM:12.10.2016
Views:1839
Downloads:132
Metadata:XML DC-XML DC-RDF
Categories:KTFMB - FERI
:
DEDIČ, David, 2016, Spletno okolje za formalno verifikacijo z uporabo storitveno usmerjene arhitekture : magistrsko delo [online]. Master’s thesis. Maribor : D. Dedič. [Accessed 21 January 2025]. Retrieved from: https://dk.um.si/IzpisGradiva.php?lang=eng&id=64511
Copy citation
  
Average score:
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
(0 votes)
Your score:Voting is allowed only for logged in users.
Share:Bookmark and Share


Searching for similar works...Please wait....
Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.

Secondary language

Language:English
Title:Web-based environment for formal verification using a service-oriented architecture
Abstract: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.
Keywords:service-oriented architecture, web service, formal verification, model checking, EST


Comments

Leave comment

You must log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica