Metody automatizované transformace modelů v analýze IS

Ing. Jakub Tůma

Doctoral thesis

Methods of Automated Model Transformations in Information System Analysis

Abstract:

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.

Abstract:

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

Business Object Relation Modeling, Business Process Model and Notation, Algoritmus, Modelem řízená architektura, Transformace model na text, Transformace model na model, Konečný automat

Keywords

Business Process Model and Notation, Algorithm, Model Driven Architecture, Business Object Relation Modeling, Transformation Model to Model, Transformation Model to Text, Finite State Machine

Language used: Czech

Date on which the thesis was submitted / produced: 23. 10. 2016

Thesis defence

• Supervisor: doc. Ing. Vojtěch Merunka, Ph.D.

Czech University of Life Sciences Prague

Faculty of Economics and Management

Doctoral programme / field:
Systems Engineering and Informatics / Information Management