Rigorozni razvoj programske potpore za scenarij poslovnog procesa

master's thesis

• Title (english): Rigorous Software Development for Business Process Scenarios
• Author: Ivan Maričević
• Mentor: Bruno Blašković (mentor)
• Committee member: Bruno Blašković (predsjednik povjerenstva)
• Committee member: Branko Mikac (član povjerenstva)
• Committee member: Aleksandra Čereković (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2014-07-04, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Electrical Engineering

Abstract

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.

Abstract (english)

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.

• Keywords: rigorozni razvoj programske potpore; UML; sekvencijski dijagram; Spin; Promela; paradigma programiranja s automatima; TDD; JUnit
• Keywords (english): Rigorous Software Development; UML; Sequence diagram; Spin; Promela; Automata-based programming; TDD; JUnit
• Language: croatian
• URN:NBN: urn:nbn:hr:168:889833
• Study programme: Title: Information and Communication Technology; Study programme type: university; Study level: graduate; Academic / professional title: magistar/magistra inženjer/inženjerka informacijske i komunikacijske tehnologije (magistar/magistra inženjer/inženjerka informacijske i komunikacijske tehnologije)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2018-02-06 10:24:42