prikaz prve stranice dokumenta Analiza poslovnog procesa provjerom modela
No public access
master's thesis
Analiza poslovnog procesa provjerom modela
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. urn:nbn:hr:168:397475
Vukadinović, Valentino
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Vukadinović, V. (2022). Analiza poslovnog procesa provjerom modela (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:397475

Vukadinović, Valentino. "Analiza poslovnog procesa provjerom modela." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. https://urn.nsk.hr/urn:nbn:hr:168:397475

Vukadinović, Valentino. "Analiza poslovnog procesa provjerom modela." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. https://urn.nsk.hr/urn:nbn:hr:168:397475

Vukadinović, V. (2022). 'Analiza poslovnog procesa provjerom modela', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 11 July 2024, https://urn.nsk.hr/urn:nbn:hr:168:397475

Vukadinović V. Analiza poslovnog procesa provjerom modela [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2022 [cited 2024 July 11] Available at: https://urn.nsk.hr/urn:nbn:hr:168:397475

V. Vukadinović, "Analiza poslovnog procesa provjerom modela", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2022. Available at: https://urn.nsk.hr/urn:nbn:hr:168:397475

Metadata
TitleAnaliza poslovnog procesa provjerom modela
Title (english)Business Process Analysis with Model Checking
AuthorValentino Vukadinović
MentorBruno Blašković (mentor)
Committee memberBruno Blašković (predsjednik povjerenstva)
Committee memberMirko Randić (član povjerenstva)
Committee memberLuka Humski (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2022-02-23, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
U ovom radu opisan je način na koji su se prikupili podaci, kako je napravljen sentiment nad njima te u konačnici model, tj. automat koji analizira i opisuje rast i pad cijene Bitcoin-a. Koriste se dvije vrste podataka, objave s društvene mreže Twitter nad kojima se vrši analiza sentimenta, te cijene Bitcoin-a. Nakon što se analiziraju sentimenti, oni se zajedno s cijenama prikazuju na dva odvojena grafa. Promatranjem međuovisnosti između cijene te pozitivnog i negativnog sentimenta dolazi se do formula linearne vremenske logike koje opisuju u jednom slučaju rast cijene te njenu promjenu u stanje u kojem pada, te u drugom slučaju pad cijene te nakon toga njezin rast. Obje formule se mogu prikazati pomoću nedeterminističkog Büchi automata. Spajanjem dva nedeterministička automata dobiva se deterministički Büchi automat koji u cijelosti opisuje rast i pad cijene u međuovisnosti s pozitivnim i negativnim sentimentom. Rad je koncipiran u nekoliko cjelina, pri čemu se u uvodnom dijelu opisuju teorijska pozadina koja se nalazi iza zadanog zadatka. U središnjem dijelu se opisuje prikupljanje i obrada podataka, te u konačnici se opisuje način dobivanja automata kojim se dalje može analizirati proces.
Abstract (english)
This paper describes the way data was collected, how sentiment was made and ultimately the model i.e., the automaton that analyses and describes the rise and fall of the Bitcoin price. Two types of data are used, post from social network Twitter on which sentiment is analysed, and price of the Bitcoin. After the sentiments are analysed, they are displayed along with the prices on two separate graphs. Observing the interdependence between price and positive and negative sentiment, we come to the formulas of linear temporal logic that describe in one case the rise of price and its changes in the state in which it falls, and in other case the fall in price and then its growth. Both formulas can be represented by nondeterministic Büchi automaton. Merging two nondeterministic automata a deterministic Büchi automata is obtained, which fully describe the rise and fall of Bitcoin price in interdependence with positive and negative sentiment. The paper is conceived in several parts, with the introductory part describing the theoretical background of given task. The central part describes the collection and processing of data, and last part describes the method of obtaining automata that can further analyse the process.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:397475
Study programmeTitle: 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 resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2023-01-13 10:53:25