Formalna verifikacija sustava kao mrežna usluga

master's thesis

• Title (english): Formal system verification as a web service
• Author: Miroslav Juratovac
• Mentor: Nikola Bogunović (mentor)
• Committee member: Nikola Bogunović (predsjednik povjerenstva)
• Committee member: Leonardo Jelenković (član povjerenstva)
• Committee member: Ante Đerek (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2014-07-08, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing

Abstract

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.

Abstract (english)

Throughout the text we have given an overview for building network services. We have shown the process of building a web server from the ground up, to the point we were able to develop web applications and services. We started by describing and setting up core components upon which we will base our web applications and services. Relying on the integrity of the base components we continued the process of creating network services by specifying what our system should do through the specification of demands. Only once we put the necessary infrastructure in place, we started building a solution simultaneously giving an overview of the whole process. In the end we close the process of building our network services by testing the services to check whether we succeeded in doing what we needed to do.

• Keywords: formalna verifikacija; mrežna usluga; web usluga; web aplikacija; PHP; MySQL; Apache; Ubuntu; REST; OAuth; VIS; NuSMV
• Keywords (english): formal verification; web service; web application; PHP; MySQL; Apache; Ubuntu; REST; OAuth; VIS; NuSMV
• Language: croatian
• URN:NBN: urn:nbn:hr:168:474932
• Study programme: Title: Computing; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2018-02-06 09:29:34