Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu

Sertić, Hrvoje

prikaz prve stranice dokumenta Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu

No public access

scientific master's theses

Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu

Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2003. urn:nbn:hr:168:279320

Sertić, Hrvoje

University of Zagreb
Faculty of Electrical Engineering and Computing

Cite this document

APA 6th Edition

Sertić, H. (2003). Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu (Scientific master's theses). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:279320

MLA 8th Edition

Sertić, Hrvoje. "Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu." Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, 2003. https://urn.nsk.hr/urn:nbn:hr:168:279320

Chicago 17th Edition

Harvard

Sertić, H. (2003). 'Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu', Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 14 September 2024, https://urn.nsk.hr/urn:nbn:hr:168:279320

Vancouver

Sertić H. Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu [Scientific master's theses]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2003 [cited 2024 September 14] Available at: https://urn.nsk.hr/urn:nbn:hr:168:279320

IEEE

H. Sertić, "Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu", Scientific master's theses, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2003. Available at: https://urn.nsk.hr/urn:nbn:hr:168:279320

Cite this item: https://urn.nsk.hr/urn:nbn:hr:168:279320

Please login to the repository to save this object to your list.

Metadata

Title	Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu
Author	Hrvoje Sertić
Mentor	Slobodan Ribarić (mentor)
Committee member	Slobodan Ribarić (predsjednik povjerenstva)
Granter	University of Zagreb Faculty of Electrical Engineering and Computing Zagreb
Defense date and country	2003, Croatia
Scientific / art field, discipline and subdiscipline	TECHNICAL SCIENCES Electrical Engineering
Universal decimal classification (UDC)	621.3 - Electrical engineering
Abstract	Složenost današnjih programskih sustava zahtjeva poseban pristup razvoju softvera. Unified Modeling Language (UML) je postao standardna notacija za analizu i dizajn programskih sustava, ali trenutna UML specifikacija ima više ograničenja zbog toga što je UML definiran da bude općenit jezik za modeliranje pogodan za različite vrste primjena. Sa druge strane, Petrijeve mreže su formalni koncept pogodan za simulaciju izvršavanja programskih sustava. Ovaj rad analizira trenutnu UML specifikaciju i koncept Petrijevih mreža kako bi pronašao dodirne točke oba koncepta i predložio način na koji se UML može proširiti konceptom Petrijevih mreža. Kako bi se na praktičnom primjeru pokazala mogućnost proširenja UML-a konceptom Petrijevih mreža predložena metodologija za proširenje UML-a Petrijevim mrežama se primjenjuje pri razvoju sustava namijenjenog radu u stvarnom vremenu tako da se UML koristi kao osnovni jezik za modeliranje, a Petrijeve mreže kao formalni koncept za provjeru kreiranih modela i ponašanja sustava prije stvarne implementacije. Postignuti rezultati pokazuju da postoje mnogi aspekti UML-a koji se mogu proširiti konceptom Petrijevih mreža kako bi se formalno definiralo ponašanje sustava namijenjenog radu u stvarnom vremenu. Isto tako, UML notacija proširena sa konceptom Petrijevih mreža se učinkovito može koristiti za provjeru predloženog rješenja visoke raspoloživosti namijenjenog radu u stvarnom vremenu.
Abstract (english)	The complexity of today's software systems demands specific approach to software development. Unified Modeling Language (UML) has become standard notation for analysis and design of software systems, but current UML specification has many limitations because UML is intended to be general-purpose and suitable for many different kinds of applications. On the other hand, Petri Nets are a formal concept suitable for simulation of software system execution. This work is focused to analyze the current UML specification and the concept of Petri Nets in order to find connecting points between them and to propose the means for extending UML with the concept of Petri Nets. In order to practically examine the possibilities for extending UML with the concept of Petri Nets this work applies the proposed methodology for extending UML with Petri Nets to development of real-time system and uses UML as a main modeling tool for real-time system design and Petri Nets as a formal verification tool in order to verify defined system design before actual implementation. Results achieved in this work clearly show that there are many aspects of UML that can be extended with Petri Nets to formally define run-time behavior of modeled system. This work also shows that UML notation extended with Petri Nets can efficiently be used for verification of proposed solution for specific high availability real-time software solutions.
Keywords
Keywords (english)
Language	croatian
URN:NBN	urn:nbn:hr:168:279320
Study programme	Title: Postgraduate master programme in electrical engineering Study programme type: university Study level: postgraduate Academic / professional title: Magistar znanosti elektrotehnike (Magistar znanosti elektrotehnike)
Catalog URL	https://lib.fer.hr:8443/cgi-bin/koha/catalogue/detail.pl?biblionumber=29314
Type of resource	Text
Extent	146 str. ; 30 cm
File origin	Born digital
Access conditions	Closed access
Terms of use
Repository	FER Repository
Created on	2020-01-31 11:57:45