Rigorozni razvoj programske potpore za scenarij poslovnog procesa

diplomski rad

• Naslov (engleski): Rigorous Software Development for Business Process Scenarios
• Autor: Ivan Maričević
• Mentor: Bruno Blašković (mentor)
• Član povjerenstva: Bruno Blašković (predsjednik povjerenstva)
• Član povjerenstva: Branko Mikac (član povjerenstva)
• Član povjerenstva: Aleksandra Čereković (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2014-07-04, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Elektrotehnika

Sažetak

Rad na primjeru implementacije verifikacijskog i implementacijskog modela razmatra rigoroznu paradigmu razvoja programske potpore. Pri definiranju verifikacijskog modela rad prezentira kako izvršiti transformaciju sekvencijskog dijagrama u Promela model, koji se zatim verificira alatom za provjeru modela Spin. Rad također definira rješenje koje implementira skup scenarija u jedan zajednički Promela model. Implementacijski model definira implementaciju sekvencijskog dijagrama objedinjujući primjenu TDD-a s paradigmom programiranja s automatima. Primjenu TDD-a uvelike olakšava automatsko generiranje JUnit testova. U sklopu ovog rada je i ponuđeno programsko rješenje koje automatizira navedene postupke.

Sažetak (engleski)

This study, using an example of implementation of a verification and implementation model, considers a rigorous software development paradigm. In defining the verification model it presents a way to effect transformation of a sequence diagram into a Promela model, which is then verified using the Spin model checker. The study also defines a solution which implements a set of scenarios in a single joint Promela model. The implementation model defines the implementation of the sequence diagram by uniting the application by TDD with the paradigm of automata based programming. The application of TDD greatly facilitates the automatic generation of unit tests. This study also includes software which automates these processes.

• Ključne riječi: rigorozni razvoj programske potpore; UML; sekvencijski dijagram; Spin; Promela; paradigma programiranja s automatima; TDD; JUnit
• Ključne riječi (engleski): Rigorous Software Development; UML; Sequence diagram; Spin; Promela; Automata-based programming; TDD; JUnit
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:889833
• Studijski program: Naziv: Informacijska i komunikacijska tehnologija; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra inženjer/inženjerka informacijske i komunikacijske tehnologije (mag. ing. inf. et comm. techn.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2018-02-06 10:24:42