Original title:
Metody automatizované transformace modelů v analýze IS
Translated title:
Methods of Automated Model Transformations in Information System Analysis
Authors:
Tůma, Jakub ; Merunka, Vojtěch (advisor) ; Toman, Prokop (referee) Document type: Doctoral theses
Year:
2016
Language:
cze Publisher:
Česká zemědělská univerzita v Praze Abstract:
[cze][eng] Tato doktorská disertační práce přispívá k holistickému vývoji informačních systémů v oblasti analytických modelů informačních systémů (IS). Práce se zabývá modely v analýze informačních systémů a jejich metody transformace.
Práce je zaměřena na konkrétní modely a to na Business process modeling notation (BPMN) a Business object relational modeling (BORM). Model BPMN je rozvíjen od roku 2000. Model BORM je starší a je rozvíjen od roku 1993. Obecným cílem této práce bylo rozšíření holistického vývoje informačních systémů. Konkrétním cílem bylo propojení modelu BPMN a modelu BORM.
Práce byla inspirována teorií konečných automatů. Stav problematiky řešení popisuje přístupy k transformacím modelů. V analytické části jsou matematickým zápisem popsány jednotlivé transformace, jakožto vstupní údaje pro realizační část. Realizační část obsahuje algoritmus transformace, postup jeho dosažení a jeho následné ověření na případových studiích. Diskuze obsahuje porovnání přístupu vytvořené metody transformace s ostatními přístupy.
Dosažení cílů je dokumentováno automatizovaným transformačním kalkulem. Příno- sem je automatizované propojení modelů BPMN a modelu BORM pomocí metody transformace. Výsledkem je metoda automatizované transformace z modelu BPMN do modelu BORM pomocí algoritmu. Transformace modelu BPMN do modelu BORM je uskutečněna přes Mealyho automat.
This doctoral dissertation thesis has impact to holistically development extension of information systems. Thesis has impact to analytical models and its transformation methods.
This thesis is focused on models Business Process Modeling Notation (BPMN) and Business Object Relational Modeling (BORM). Model BPMN is developed since 2000. Model BORM is developed since 1993 and it is older. The thesis general target was extension of holistically development of information systems. The main target was to bridge the gap between BPMN and BORM models.
This thesis was inspired by Finite State Machine (FSM). The state of the art describes approaches to models transformation. In the analytical part the mathematical formula are used to describe transformation. This part is used to base for the implementation part. The implementation part contains transformation algorithm its description and verification on the case studies. Impact of developed transformation method is validated on the comparison with the other approaches.
The targets were aimed and documented automated transformation calculus. The impact of automated BPMN and BORM models connection using transformation method. The result is method of automated transformation from BPMN model to BORM model using algorithm. The transformation method is based on the Mealy automaton.
Keywords:
Algoritmus; Business Object Relation Modeling; Business Process Model and Notation; Konečný automat; Modelem řízená architektura; Transformace model na model; Transformace model na text