prikaz prve stranice dokumenta Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu
Rad nije dostupan
magistarski rad
Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu
Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2003. urn:nbn:hr:168:279320
Sertić, Hrvoje
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Institucijski repozitorij: Repozitorij FER-a

Citirajte ovaj rad

Sertić, H. (2003). Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu (Magistarski rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:279320

Sertić, Hrvoje. "Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu." Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2003. https://urn.nsk.hr/urn:nbn:hr:168:279320

Sertić, Hrvoje. "Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu." Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2003. https://urn.nsk.hr/urn:nbn:hr:168:279320

Sertić, H. (2003). 'Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu', Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 23.11.2024., https://urn.nsk.hr/urn:nbn:hr:168:279320

Sertić H. Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu [Magistarski rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2003 [pristupljeno 23.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:279320

H. Sertić, "Uporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu", Magistarski rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2003. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:279320

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:279320
Podaci o radu
NaslovUporaba jezika UML i Petrijevih mreža za modeliranje sustava za rad u stvarnom vremenu
AutorHrvoje Sertić
MentorSlobodan Ribarić (mentor)
Član povjerenstvaSlobodan Ribarić (predsjednik povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2003, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Elektrotehnika
Univerzalna decimalna klasifikacija
(UDC)		621.3 - Elektrotehnika
Sažetak
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.
Sažetak (engleski)
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.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:279320
Studijski programNaziv: Elektrotehnika
Vrsta studija: sveučilišni
Stupanj studija: poslijediplomski znanstveni (magistarski)
Akademski / stručni naziv: Magistar znanosti elektrotehnike (mag. ing. el.)
URL zapisa u kataloguhttps://lib.fer.hr:8443/cgi-bin/koha/catalogue/detail.pl?biblionumber=29314
Vrsta resursaTekst
Opseg146 str. ; 30 cm
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2020-01-31 11:57:45