Bachelor theses
Ontological Modelling of Data for the Data Incubator project
Author
Šimon Matouš
Year
2023
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
This bachelor's thesis deals with the ontological analysis of key domains and their data sets, subsequent creation of ontological conceptual models using the modelling language OntoUML in the OpenPonk platform and connecting them together with the respective data sets using data rules. Next part of this work is the development of a syntax analyzerfor automatic checking of the syntax of data rules. The syntax analyzer is developed in the JavaScript programming language and extends an already existing parser that was generated from a grammar by the PEGjs program. The entire content of this bachelor's thesis is part of the Nest Big Data Arena project, which is implemented by Remmark, a. s.
The outcome of this work is the creation of ontological conceptual models connected to their relevant datasets, which enable semantic interoperability not only between the given datasets and their key domains, but also with already existing datasets. Furthermore, the syntax analyzer will allow members of the Remmark modeling team to automate the mapping rule checking, thereby reducing the room for human error and accelerating the checking process.
Conceptual models have been added to the Data Platform, which is developed by Remmark, a.s. pp. within the Nest Big Data Arena project. The syntax analyzer is being actively used by members of the modeling team.
Validation of Process Diagrams in BORM Method
Author
Jaroslav Bambas
Year
2015
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Summary
This bachelor thesis deals with process diagrams of BORM method. The main goal is to perform syntactic and semantic analysis of ORD diagrams BORM method, then define formal fundamentals for valid process diagram and devise algorithms ensuring ex-post control of compliance of rules. These algorithms are implemented in Smalltalk language to DynaCASE tool. The thesis is concluded by managerial study of benefits that ex-post validation brings to novice analysis.
Manufacturing Support Information System - Economic-Management Study
Author
Radan Liška
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. David Buchtela, Ph.D.
Department
BORM process machine
Author
Alžběta Zyková
Year
2014
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Using Ontological Analysis for Semantic Interoperability of Marketing Data
Author
Jana Martínková
Year
2021
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
This bachelor thesis deals with the use of ontological analysis to ensure semantic interoperability of data.
The ontological language of conceptual modeling OntoUML was used in the solution and all models were created in the OpenPonk platform. The result of the work are conceptual ontological models of selected domains, which are connected with certain data sets. The creation of the conceptualization of the domain is preceded by ontological analysis, which consists in the precise definition of the terms domain. This activity most often requires the cooperation with domain experts. The linking of the ontological model with the attributes of the datasets was determined at a more general and precise level, to ensure the best possible coherence.
A total of 8 data sets were processed, from which 7 ontological models were created. The results of the work are intended for a project developing a data platform for efficient data processing. At the end of the work, the achieved semantic interoperability between heterogeneous data sets is emphasized.
Software System for Effective Design of Presentations
Author
Lukáš Haberzettl
Year
2017
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Summary
Thesis deals with design and implementation of software system for creating vector-based presentations. Based on analysis of the problem, including description of existing solutions, system requirements specification and research of useful technologies, presentation preparation process was designed with focus on separation of content. Result of this thesis is an extension developed for Inkscape software, that can apply this process. The output of the extension is vector-based presentation in form of HTML file executable in web browser.
Ontological Analysis of ICT Project Change Management
Author
Ondřej Král
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Pavel Náplava, Ph.D.
Department
Summary
Bachleor thesis introduces readers to ontology, its meaning in informatics and presents basics of OntoUML, the ontology-driven conceptual modeling language based on UFO ontology. Next it describes principes, process and role of change management within ICT projects. This knowledge is then used together practically in realization of particular ontological model of change management in chosen corporate company which using ITIL processes. The ontological model itself is created in an interactive form, which makes it more attractive. Results of the work are provided not only to the mentioned company, but also to the OntoUML community portal.
Leveraging Ontological Analysis for Achieving Semantic Interoperability of Heterogenous Data
Author
Jan Pecka
Year
2023
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
The aim of this bachelor thesis is ontology analysis and its use to ensure semantic interoperability between heterogeneous key domains. The work is part of the OpeNest project and its data incubator from Remmark Inc. and helps enhancing it with datasets with assured semantic interoperability. Key domains are captured in ontological conceptual models created in OntoUML. These models are extended with data entities and data mapping rules to allow data to be linked between domains and to perform various operations on them. 5 models with 2 templates were created. The models contain 554 entities and 18 data entities with 662 mapping rules. The templates help further modeling as they capture frequently used issues. The result is an analysis of the fulfillment of semantic interoperability and a comparison with models for which no thorough ontological analysis has been performed.
Latex Export for Dokuwiki
Author
Adam Kučera
Year
2014
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Zdeněk Rybola, Ph.D.
Department
Tournament Manager
Author
Petr Pruner
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Implementation of a module supporting the AM model in the Formetis DEMO Processor
Author
Marek Skotnica
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Analysis and Implementation of the UWE Methodology for Client Web Applications Development
Author
Patrik Jantošovič
Year
2020
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Slifka
Department
Summary
This bachelor thesis covers the analysis and implementation of UML-based Web Engineering methodology. After research on modelling software, Enterprise Architect was selected using MDG technology as a result of the implementation. UWE methodology is then demonstrated on a case study of movie database web application using the implementation created in this thesis.
Android Applications DayWork.cz: Implementation of the Application for Workers
Author
Michal Sousedík
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Blizničenko
Department
Summary
This bachelor thesis deals with development of two different modules in mobile application for operating system Android, which helps people with their quest to find a perfect part time job. First part is especially about implementation of a module which will be used by users who are looking for a job. I will mainly deal with the displaying of a various part time jobs offer, editing current user profile and his filter. Thesis contains design and implementation of a complex chat module, which mediates communication between the worker and company. The result is a fully functional solution of both modules, which will be added into application created in parallel running bachelor thesis.
The Groovy language as an alternative for business applications development
Author
Tomáš Tvrz
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Document Management System Design
Author
Jan Turoň
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Monika Součková
Department
Analysis of Suitability of Agile Software Project Management in Company
Author
Jakub Volčík
Year
2017
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
The aim of the thesis is to analyze current methods and recommendations of agile methods of management of software projects for company AgiTech. The solution was achieved by analyzing the current project management in the form of questionnaires and interviews with project managers. Based on this analysis, the suitability of deploying an agile project management method for individual projects in this company was determined. The analysis showed that all projects have problems with many complaints or substitutability. All analyzed projects might be managed with agile methodologies with SCRUM methodology. This document contains recommendations for changes to the agile methodology of appropriate projects. The results of this work will be used by company AgiTech to improve the quality of its products and improve economic profit.
Survey of Conceptual Modelling Utilisation in Companies
Author
Michal Kovář
Year
2015
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Martin Molhanec, CSc.
Department
Summary
The aim of this work is to define a suitable methodology for implementing the survey of the use of conceptual modeling in business practice. Conceptual modeling is used for modeling business processes and corporate data. Subsequently, these models are used among other things for optimization business activities. Since the survey is targeting not very explored area, therefore, I chose a methodology, which aims to explorative survey, possibly combined with a descriptive survey. For data collection, I employed the method of questioning, where I was sending a questionnaire to individual firms, which is a crucial part of this work. Performed survey showed that the chosen methodology seems to be correct. The questionnaire was insufficiently clear and filling it did not constitute a problem for the companies. For companies participating in the survey, I tried resultant data generalize as possible and I also tried to assess the managerial and economic benefits resulting from the use of conceptual modeling. Based on the results of this work can be done more extensive and specific survey, which would be carried out for greater exploratory sample, to which I said proposals for action at the end of this work. In the attachment you can find the questionnaire sent by the pattern together with the results of the exploration activities.
Leveraging Ontological Analysis for Achieving Semantic Interoperability of Heterogenous Data
Author
Václav Šír
Year
2022
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
This bachelor thesis deals with the usage of ontological analysis for connecting data between various vital domains.
This thesis includes an ontological analysis of chosen vital domains processed within project OpeNest. For visual capture of the analysis were used ontological conceptual models. Models were made using the modeling language OntoUML. On top of the conceptual models were created data models containing a mapping of data defined in a dataset in the vital domain.
Two ontological conceptual models with data mapping and two modeling templates were made during this thesis's making. Models and templates are part of a data platform that is one of the components of project OpeNest.
The end of the thesis contains the analysis of semantic interoperability between created models and existing models.
A Vector Graphics Editor Supporting Geometric Rules in Pharo/Bloc
Author
Vojtěch Balík
Year
2019
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
doc. Ing. Ivan Šimeček, Ph.D.
Department
Summary
When creating structured drawings, such as diagrams, it is often desired for certain geometrical relationships, or constraints, to hold among the shapes.
In this thesis, I first review existing approaches to solving constraints in interactive graphical applications. Then I implement a prototype vector editor in Pharo Smalltalk, supporting basic shapes and linear constraints, for which I use the Cassowary solver. I also design a textual language, using which constraints are entered into the editor.
Android Applications DayWork.cz: Base Module
Author
Michal Mroček
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
Thesis analyses available technologies and architectonic styles which can be used whilst developing mobile application for operating system Android. Analysis of functional and non-functional requirements and mobile application's design of core for portal Daywork.cz is also included. Thesis also contains definition of required security standards which must be taken into account to ensure secure connection between application and server. In the implementation part an emphasis is placed on architecture components, push messages and testability.
Applying OntoUML for stuctural definitons of normalized systems expanders
Author
Vincenc Kolařík
Year
2014
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
System for support of self-organisation and presentation of Faculty's research and project capacities
Author
Jakub Nováček
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jiří Mlejnek
Department
Code refactoring using Codiscent's projective technologies
Author
Tomáš Buňata
Year
2020
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Ondřej Dvořák
Department
Summary
This thesis focuses on code refactoring with the use of projective technologies developed by the company Codiscent. The theoretical part contains an analysis of current approaches and tools designed to keep the code clean. It also provides an introduction to refactoring and testing. The practical part shows how projective technologies could be used for refactoring on specific examples.
Simulation and Visualisation Support for the DynaCASE Tool
Author
Jan Blizničenko
Year
2015
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Summary
DynaCASE application developed on Pharo platform is a tool for creating diagrams used in conceptual modeling. The aim of the thesis is to add simulations and visualisation to its supported functions. Work focuses on designing solution for DynaCASE to allow optional usage for various metamodels, based on diagrams and simulation tools analysis. Final part consists of implementation and adding simulable Petri nets.
Comparison of Haskell and F# Programming Languages for Enterprise Applications Development
Author
Nasiha Maleškić
Year
2019
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Vojtěch Knaisl
Department
Summary
This thesis compares two functional languages Haskell and F#. Both languages are analyzed based on the criteria that would be used in order to choose the most suitable language for developing an enterprise application. It explains event sourcing and its implementation in both of the languages and why Haskell is better for event sourcing due to the fact it is referentially transparent. It explains how it is easier to write F# frontend applications compared to Haskell, due to its impurity. It concludes that it seems, that in most of the cases, F# is more suitable for enterprise application development.
Design and Implementation of a Web Application for Office Space Allocation
Author
Jan Dunder
Year
2024
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Zeman
Department
Summary
This bachelor thesis focuses on the design and implementation of a web application for efficient office staffing, responding to the needs of companies in an era of flexible working schedules and rising office space costs. The thesis analyses existing solutions and identifies key business processes to determine the requirements for the application. According to the written requirements, the work also includes the design, implementation and testing of a web application in PHP Symfony. The aim is to provide a solution to increase the efficiency of office space utilization, reduce costs and increase productivity.
Google Contacts Client for Linux
Author
Firuz Ibragimov
Year
2016
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Ondřej Guth, Ph.D.
Department
Summary
Google Contacts is Google's contact management tool that is available in its free email service Gmail, as a standalone service, and as a part of Google's business-oriented suite of web apps Google Apps. It's integrated and synchronized between all Google Apps, such as Gmail, Drive, Calendar, etc.
The goal of my thesis is to analyze, design and implement desktop client of Google Contacts for Linux operating system using Google's API. The resulting application has the following major features:
- Contact synchronization with Google
- Contact modification
- Offline mode
- Incremental search
- Graphical user interface
- Command line interface
- Import/export of contacts in suitable formats
- Keyboard shortcuts for simplified handling
The software is implemented in pure Java using JavaFX framework for user interface and H2 database.
Automated Transformation of DEMO Models into BPMN
Author
Štěpán Tužil
Year
2019
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Skotnica
Department
Summary
This thesis deals with automatic transformation of DEMO models into BPMN models. Both of these models and their notation is described in this work. The modeling tools for both types of models are reviewed here and their main advantages and disadvantage are listed.
Main tools made for this thesis, used for transformation of DEMO models to BPMN models, is based on Mraz's method. This tools was successfully developed in Python, the scripting language.
BPMN models, created with this tool, are described, reviewed for their usability and their ability to correctly capture DEMO models properties.
Cloud Services Design
Author
Vassiliy Zhovner
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Desktop MacOS client for the RTM system
Author
David Ungurean
Year
2015
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Bc. Ivan Ryant
Department
Summary
This thesis deals with development of client Mac OS X application for Remember the Milk system, which provides services associated with task management. The theoretical part describes best practices in design and implementation of architecture and graphical user interface of OS X applications. The practical part focuses on development, using technologies that maximize the efficiency of use.
Analysing the Haskell Programming Language for Enterprise Software Systems Development
Author
Tomáš Patro
Year
2019
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Slifka
Department
Summary
The bachelor thesis acquaints the reader with the basic principles of functional programming and the specifics of the Haskell language type system. The thesis also addresses the basic concepts of software design patterns, taking into account the differences between object-oriented and functional programming problem-solving approaches. In the thesis, these differences are demonstrated on specific examples of design patterns - the approach to their solution is compared between Haskell and C++ languages.
The thesis also includes an analysis of the requirements on the development of enterprise applications. These requirements are created concerning the current capabilities of the Haskell language. These capabilities are reflected in the analysis of the real technologies of Haskell language which meet particular requirements of enterprise applications. The particular selection of technologies is based on methodology which analysis the health/sustainability of Open-source projects.
Development of a Note-taking Application for the Android Platform
Author
Jiří Groh
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
Goal of this work is to create note-taking application for the customer. This
paper describes requirement aggregation, design of architecture and layouts,
creating UML diagrams, implementation and testing. The application is developed
for operating system Android and is written in Kotlin and Java.
Comparison of C++ Data Types and Templates with Algebraic Data Types
Author
Ondřej Šťastný
Year
2016
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Summary
This bachelor thesis focuses on the overall presentation of algebraic data types
(ADT) and complex view on type system of C++ programming language.
The essence of the thesis is identification of problems appropriate to be solved
using ADT, specification of a model problem, implementation and sollution
of this problem in C++ and two more programming languages that are using
ADT and illustration of possibilities, pros and cons of ADT based on comparison
of these programs.
Portal for BORM processes optimization
Author
Michal Balda
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Support of BPMN Standard on OpenPonk Platform
Author
Boris Anisimov
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Summary
One of the problems in drawing process diagrams is that the author mistakenly combines or mistakes the elements. This causes confusion and further work with this diagram can lead to a poor result. The problem is trying to solve this problem.
Literary research deals with the analysis of the use of process diagrams in company management. An analysis of tools that allows you to draw such diagrams. It also analyzes the rules that can be used to verify the diagrams dialed.
The practical part followed the implementation of the OpenPonk module, which allows you to draw and verify the process diagrams.
Utilising the OpenPonk Platform for Web Services Orchestration using BPMN
Author
David Primus
Year
2021
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Blizničenko
Department
Summary
The OpenPonk platform is a conceptual modeling tool developed in the Pharo system. The aim of this work is to extend the platform with a prototype modeler for BPMN modeling. Another goal is to provide the necessary extensions for the orchestration of web services using the BPMN language, in this work this is achieved by creating an export to an executable XML format. Finally, the result is demonstrated in a model study. The contribution of this work is the independence of the conceptual model of orchestration on the implementation of the process engine.
OpenPonk: an Implementation of a Parser and Interpreter of OCL
Author
Jakub Svoboda
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek
Department
Summary
This bachelor thesis covers the creation of an OCL parser and interpreter for OpenPonk modeling platform in the Pharo environment. We describe the OCL language, parsing algorithms and parsing frameworks avaiable in Pharo (PetitParser, SmaCC). We then analyze problems and approaches that led to the final implementation of the OCL interpreter. In the end we show the interpreter functionality on OntoUML metamodel constraints.
DayWork.cz Android Applications: UI Design and the Application for Companies
Author
Kryštof Novotný
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Blizničenko
Department
Summary
First part of my thesis is about developing UI for Daywork.cz Android application and general Android UI development principles. In the second part I describe development of the Daywork.cz Android application bussiness module. I also refer briefly about the development for Android in general in this part and I make reader familiar with the architecture used in my application.
Manufacturing Support Information System - Modules Manager, Operator, Supervizor
Author
Jiří Fajman
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Bc. Ivan Ryant
Department
Web application using functional approach
Author
Jaroslav Ševčík
Year
2014
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
OntoUML Models Verification for the OpenPonk platform
Author
Marek Bělohoubek
Year
2019
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Blizničenko
Department
Summary
This work focuses on creation of new verification framework that will be used for verification of OntoUML model on OpenPonk platform. It is necessary to describe and analyse OntoUML language and OpenPonk platform. Using this analysis two designs are created for the verification framework. The better one is then selected and implemented. All new code is documented and unit test are created for him. Finally entire framework is demonstrated on reference model.
Leveraging Ontological Analysis for Achieving Semantic Interoperability of Heterogenous Data
Author
Artěmij Danilov
Year
2022
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
This bachelor thesis focuses on using ontological analysis to assure semantic connectivity of heterogeneous data within the scope of different key domains.
This thesis includes ontological analysis of domains and data sets within modeling team of Nest Big Data Arena project, creation of conceptual models of those domains and then connection of data from aforementioned data sets and the created models using the process called mapping. Modeling language OntoUML and OpenPonk platform were used in creation of the models.
During my work two conceptual models with finished mapping of the data and one template serving the purpose of improving subsequent analysis and work with a given domain were created altogether. In creation of those models a special emphasis was given to a clear definition of used concepts, representation of relationships between those concepts and achieving interoperability between created models and all of the heterogeneous data sets already within Nest Big Data Arena project.
Automatic search of pirate copies
Author
David Vondraš
Year
2015
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Dana Vynikarová, Ph.D.
Department
Summary
This thesis aims to design and implement an application used to search illegal copies of works on the Internet. Part of this work is to determine the specific requirements of the client, according to which is made the design and implementation of the applications. The main objective is to design a suitable architecture of the application and select the appropriate technology by which the application will be implemented.
Software Prototype for University Regulations Analysis
Author
Mykhailo Leskiv
Year
2023
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Dana Vynikarová, Ph.D.
Department
Summary
This bachelor's thesis deals with the implementation of a prototype legal information system for managing legal regulations at the Faculty of Information Technology of the Czech Technical University in Prague. To achieve this goal, the thesis analyzes the legal regulations at universities in the Czech Republic and the structure of legal regulations. Based on these analyses, the requirements for the development of the system are obtained, which was subsequently implemented and tested. The thesis includes documentation of the resulting solution. The resulting prototype is equipped with a limited number of public legal regulations for testing purposes. This legal information system provides a solution for efficient management of legal regulations at the faculty and can be expanded to other institutions in the Czech Republic.
Discrete Simulation for the BORM Method in the OpenCABE Tool
Author
Veronika Larionova
Year
2015
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Martin Molhanec, CSc.
Department
Summary
This thesis covers the research on the possibilities of the extension of BORM's Object Relation Diagrams (ORD), in version of CCM FIT, with elements which will enable discrete-event simulation of ORD. At the same time it gives the description of the design which introduces the integration of chosen discrete-event simulation library written in Java into modeling tool OpenCABE.
Text provides the research not only on the topic of discrete-event simulation, but also introduces the analyses of non-commercial discrete-event simulation libraries. The smaller chapter describes the methodology BORM and its ORD.
Based on the collected data the design of the extensions of ORD is presented. Taking the extensions in consideration the possible integration of discrete-event library is introduced. The thesis is concluded with recommendations for following implementation and evaluation of the achievements.
Leveraging Ontological Analysis for Achieving Semantic Interoperability of Heterogenous Data
Author
Ondřej Hampejs
Year
2023
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
This bachelor's thesis deals with the use of ontological analysis to ensure the semantic interoperability of heterogeneous data.
The work consisted in the ontological analysis of key domains and selected data sets, in the creation of conceptual models of these domains in the OntoUML modelling language, and in the subsequent mapping of the data itself to the models created in this way. During the creation, great emphasis was placed on ensuring the semantic interoperability of newly created, as well as existing models.
In addition to semantic interoperability, accuracy and extensibility were considered in the models, which enabled their subsequent use not only in the OpeNest project, but also as a basis for data set analysis or as documentation for the data itself.
The OpenPonk platform was used to create conceptual models and data mapping. Using it, six conceptual models including data mapping and one template were created. The mentioned models and the template are already part of the data platform, which is an essential part of the OpeNest project.
Functional Programming for Web Frontend
Author
Jan Luxemburk
Year
2017
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Lukáš Janeček
Department
Summary
Primary focus of this thesis is the programming language Elm. Elm is thoroughly investigated; on a theoretical level, in the context of functional programming concepts like function purity, side effects, and immutability. From a practical point of view, I review the quality of Elm's tooling and its libraries, and I compare them to JavaScript. A sample Elm application is also part of the thesis.
Software for teaching Prolog
Author
Jakub Marko
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
doc. RNDr. Josef Kolář, CSc.
Department
Qt Desktop Google Contacts
Author
Taras Petrychkovych
Year
2016
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jiří Daněček
Department
Summary
The aim of this bachelor's thesis is to design, implement and test cross-platform application for Windows and Linux operating systems. The program, by using the Google Apps service, allows users to work with the ''Google Contacts'' in online/offline mode and also supports synchronization with user's Google Contacts database. The application was developed by using a cross-platform Qt library and was written in C++.
Design of a System for Tracking Subjects Sylabus Changes
Author
Samuel Händl
Year
2023
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Michal Valenta, Ph.D.
Department
Summary
The bachelor's thesis focuses on the design of a system capable of tracking changes in syllabuses of study subjects at the Faculty of Information Technology, Czech Technical University in Prague.
The solution utilizes a conceptual model created in the OntoUML language, addressing the curriculum system at a higher education institution, and the Normalized Systems Theory, primarily dedicated to system evolvability. The creation of the conceptual model is preceded by domain analysis conducted in collaboration with a domain expert, aiming to identify all important concepts and relationships that form the fundamental structure of the described domain.
The result is a system design and a method of technical database representation based on a UML class diagram, followed by a sample case study that provides further insight into how the system behaves when a syllabus change occurs in one of the study subjects.
Transformation of OntoUML into Smalltalk
Author
Matúš Vološin
Year
2014
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Zdeněk Rybola, Ph.D.
Department
Summary
The objective of this work is to design and implement the transfer of conceptual diagram OntoUML to UML diagram that it is subsequently possible to generate the whole structure of the model. For implementation use Smalltalk language and system Pharo. Proposal of the application is based on a detailed analysis of the conceptual language OntoUML and ways transfer to UML.
Code Completion for Pharo System
Author
Lukáš Komárek
Year
2017
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Petr Špaček, Ph.D.
Department
Summary
Code completion is a feature in which a program tries to predict what a user wants to type and gives this user the ability to let the program complete some parts of that code for him. Code completion is one of the features in Pharo that need improving very badly. The current implementation of code completion is very naive and therefore is not very helpful to the user.
In this thesis I am to analyze how code completion works in general and how it looks like and works in other integrated development environments (IDE). The next step is to get an idea about how Pharo deals with code completion and try to figure out a way to make it better, which could lead to compromising between speed and precision of proposals that the feature is going to offer on any input.
The solution I found was to rewrite code completion in Pharo from scratch. Unfortunately, I didn't have enough time to implement more than a very trimmed scaffolding of how I believe code completion in Pharo should work. I tried to write this thesis in a detailed way, so that after reading basically anyone with at least minor coding skills can continue this project even without deep knowledge of how Pharo works.
Searching inside Conceptual Models -- UML Package and Activity Diagrams
Author
František Štěpánek
Year
2021
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
The main aim of this work is to implement parser modules for the UML Activity diagram and the UML Package diagram. Modules must be integrable into the project for indexing and searching in conceptual models, which is part of the application Repocribro. Part of this work is to introduce UML Activity diagram, UML Package diagram and chosen elements which are presented therein diagrams. The result of this work is an extension of the current project via adding parser modules for chosen diagrams. The functionality of the parser modules is demonstrated in the case study.
Study of Utilising ClojureScript Technology in a Developer Company
Author
Ondřej Altman
Year
2015
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Summary
This thesis focuses on review of ClojureScript programming language and its benefits for programming client-side web applications. Review is performed with respect to JavaScript programming language, which is currently used for this task. Important part of this thesis is an conclusion, whether companies could benefit from the transition from JavaScript to ClojureScript language.
Manufacturing Support Information System: technology infrastructure and THP module
Author
Matěj Kunte
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Bc. Ivan Ryant
Department
Conceptualisation of Competences Related to FIT CTU Study
Author
Martina Chomyšinová
Year
2024
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. David Buchtela, Ph.D.
Department
Summary
This thesis is a part of effort to create an interactive map of studies at FIT CTU. It's goal is to create a conceptual model of studies, that connects courses, competences and proffesions. It will serve as a base for the interactive map.
Pure Object-Oriented Web Content Management System
Author
Zuzana Kramosilová
Year
2013
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
doc.Ing. Vojtěch Merunka, Ph.D.
Department
Layouting of Diagrams in the DynaCASE Tool
Author
Peter Uhnák
Year
2016
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Martin Podloucký
Department
Summary
In this thesis we explore the problematics of automatic diagram layouting of common software and business engineering notations, namely UML Class Diagrams and BORM Object Relation Diagrams. We evaluate the current state-of-the-art of UML Class Diagrams layouting, which although well studied still poses a special challenge. For BORM Object Relation Diagrams we analyze the layouting needs of the notation and propose a simple algorithmic solution.
As part of this thesis we also implement both notations, together with fitting automatic layouts in the DynaCASE modeling platform.
Because implementation of fully automated layouting algorithms posses a special challenge, we also explore and implement more cost-effective solutions in the area of interactive and semi-automatic layouting.
Finally we evaluate achieved results and discuss the future work for both the DynaCASE platform and it's automatic layouting.
CV Management and Printing
Author
Rudolf Rovňák
Year
2018
Type
Bachelor thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Blizničenko
Department
Summary
In this thesis, I focus on the problem of effective management and printing of Curriculum Vitae (CV) in an enteprise environment. I implement a modular system for CV storage using PostgreSQL database and a backend application in Pharo. Additionally, I create a desktop client to modify and manage the data and print documents using modifiable templates using the Pillar library along with Mustache templating engine.
Master theses
Model-Driven Engineering Approach for OntoUML
Author
Dan Homola
Year
2016
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Zdeněk Rybola, Ph.D.
Department
Summary
In this thesis, OntoUML and posibilities of its usage in Model-Driven Engineering are introduced. A set of transformations from OntoUML conceptual model into object-oriented source code is described and an application framework is created for it. The viability of it is then illustrated by implementing the transformation from OntoUML in a concrete input form into C# source code.
Utilising projective technologies for object-oriented development of WEB UI
Author
Jakub Červenka
Year
2015
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Ondřej Dvořák
Department
Summary
This thesis focuses on analysis, design and implementation of a web application for development of object-oriented web user interface. It also shows the potential of projective technologies and code generation in this area.
Development of Stress Management Android Mobile Application
Author
Ondřej John
Year
2020
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Petr Špaček, Ph.D.
Department
Summary
This diploma thesis describes process of creating an Android application designed to help its users with their stress management. Reader is briefly introduced to the problematics of stress, stress management and currently existing, similar solutions. The key part of this thesis is description of design and implementation of this application. Last parts are devoted to testing and releasing finished application to the application store. Output of this thesis is fully functional mobile application, which effectiveness will be verified in a pilot research study examining the real benefits of similar applications.
Towards the Foundations of Fact and Rules Ontology for Discrete Systems
Author
Marek Skotnica
Year
2016
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
State of the art business process management systems (BPMS) are based on BPMN modeling methodology. Enterprise Engineering (EE) is an engineering discipline which believes that such systems should be based on strong sociological, ontological and mathematical foundations. Therefore the discipline proposes a DEMO modeling methodology to challenge the BPMN. The DEMO methodology is currently used for reasoning between stakeholders and formal foundations need to be devised in order to create BPMS based on DEMO.
In this thesis a domain ontology, the Fact and Rule ontology, for the DEMO Action model and Fact model is devised. Based on this domain ontology, i) a hypothetical calculation machine similar to the Turing Machine -- DEMO Machine is proposed to handle the execution of DEMO models; and ii) a DEMO Engine is proposed as a BPMS based on DEMO.
A proof of concept DEMO Engine implementation is made to demonstrate the feasibility of proposed concepts and demonstrated on a simple example.
Data-Flow Programming of Database Business Rules
Author
Aliaksandr Maksimau
Year
2016
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
This thesis should contribute to improving the situation in the database world within the Manta Checker Project, which addresses the quality control with the help of the application of business rules over the database scripts. The aim of this thesis is the implementation of the evaluating module for business rules and its integration to the Manta Checker System. This application could be practically used in industry, as it will help to reduce the cost of developing and maintaining data warehouses.
Implementation of a BPMN Modeller on the OpenPonk Platform
Author
David Primus
Year
2023
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Blizničenko
Department
Summary
The OpenPonk platform is a conceptual modeling tool developed in the Pharo system. The goal of this work is to expand the platform with a BPMN 2.0 modeler, which also includes the possibility of validating BPMN 2.0 diagrams. The thesis proposes a custom set of rules for validation based on a combination of rules from popular tools. The benefit of this work is the integration of the BPMN 2.0 modeler into the set of supported notations of the OpenPonk platform and the possibility of use not only in teaching.
DEMO Diagrams Visualisation for Managers
Author
Adam Žďára
Year
2015
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Pavel Krejčí
Department
Summary
This thesis deals with the design of alternative DEMO methodology visualizations with respect to ease of understandability for executives of an organizations and companies. In the introductory sections the work briefly describes the DEMO methodology. Next section is devoted to analysis of existing tools, visualizations and methods of interactive business process simulation. In the following part are DEMO diagrams compared to each other and to their older versions. This comparison is evaluated and mutual interconnection between diagrams and presented information is extracted. Next chapter deals with requirements specification for the interactive visualization. The following section deals with the design of individual visualizations (textual and graphical) with respect to the specified requirements. The last section is devoted to success evaluation of the designed visualization using developed prototype.
Analysis and Optimisation of Life Insurance Processes
Author
Miroslav Šiagi
Year
2016
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
The thesis deals with business process understanding problem. Due to large number of modeling approaches, problems in given BPM solution, complicated and dynamic business processes, the proper theory is required. Discipline Enterprise Engineering and DEMO offer a way to solve the problem. We focus on the application of DEMO to the given life insurance processes. We evaluate the results of the application, compare the application with the given solution and make propositions. Obtained results signify untowardness of BPM solution. This is mainly based on the nature of BPM and complexity of processes adds to this largely. The DEMO method application has led us to correct perception of processes along with the participant roles. Moreover, this method pointed at implementation possibilities. Thanks to its approaches, processing of more complicated funcionalities will be possible.
Migration Tool for Data Stewardship Knowledge Model
Author
Vojtěch Knaisl
Year
2018
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek
Department
Summary
This thesis continues on an already running project of Data Stewardship Planning Portal which is developed together with ELIXIR-CZ organization. The thesis shortly summarizes a current state of the project. Further it describes why there was a need to create a migration tool for the current knowledge model (an extensible data structure carrying the knowledge that naturally evolves over the time), and why it was decided to implement also bases of the portal application. The migration tool and portal application are then analyzed. A part of the thesis is also a design of the migration tool together with possible approaches of its implementation. These approaches are discussed and finally one is choosen and implemented. The result of this thesis is the requested fully-working migration tool together with bases of the portal application.
Advancement of the Manta Checker DFP System
Author
Adam Kučera
Year
2017
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
Manta Checker is an automated code review tool for large data warehouses. Its dataflow module is leveraging the dataflow programming paradigm (DFP), thus even a users with lesser technical skills can use the application. The dataflow nature of the module allows simple visualization of code review rules and their straightforward improvement. This thesis further extends the dataflow module with an enhanced type system, it implements means of logging into the DFP interpret and visualizes these logs directly on the DFP graph, which is a novel approach in debugging DFP applications.
Searching Inside (Onto)UML Structural Conceptual Models
Author
Richard Husár
Year
2021
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek, Ph.D. et Ph.D.
Department
Summary
The thesis discusses ways of representing conceptual models in XMI format for easy searching and querying. The elaboration of the solution to the problem includes choosing an adequate storage medium that can easily represent XMI models. Another requirement is a way of transforming raw XMI models into a more human-readable form inside the storage tool. The most suitable version for storage seems to be the graph database which utilizes its properties such as a representation of data in nodes and relations, which highly resembles conceptual models. Mapping of given models in XMI format is done in a Python parser which is designed to be easily extendable. Everything is integrated into the GitHub repository management tool - Repocribro, which in conjunction with embedded tools to display graph results, serves as a platform for user experience.
Messaging and Task Management Application Based on the PSI Theory
Author
Roman Lanský
Year
2017
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Michal Valenta, Ph.D.
Department
Summary
PSI theory is one of the integral parts in the field of Enterprise Engineering. It covers the social and communication aspects of the organisation, which are considered the essential building blocks of enterprises. The theory has roots in the sociology, mainly in the Habermas's Theory of communicative action. The aim of the thesis is to present the application of the theory in the form of a messaging and task management application suited for everyday use. One of the main goals is to expose the theory to broad public. The thesis explores core theories and underlying axioms to devise a set of functional requirements upon which designs a web-based application that utilises the PSI theory of communication to manage requests and promises between users. The theory proves useful and well suited for the task, laying a solid foundation for the application's logic.
Leveraging Toolkits in BPM Application Development
Author
Jaroslav Fibichr
Year
2013
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Pavel Náplava, Ph.D.
Department
Ontological Analysis of the CTU Data Warehouse
Author
Ladislav Moravec
Year
2016
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Michal Valenta, Ph.D.
Department
Summary
This master's thesis ontologically analyze two agendas from CTU using DEMO methodology. These agendas are CTU survey and final thesis agenda. The aim of this thesis is to analyze these two agendas on ontological, infological and data layer and by doing that bring more clear data into the CTU's processes and to improve data warehouse. At first, DEMO methodology is explained with explanation how data layer analyses is done. Secondly, the optimal tool for modeling of the final diagrams is chosen. OCD and PSD diagrams along with TPT tables were chosen as key diagrams, which will be analyzed. Finally, the analysis itself is executed along with the modeling of diagrams. This analysis is in the end evaluated and conclusions are stated.
Investigating mechanisms to minimize the ripple effects due to increased use of distributed energy sources
Author
Wanaka Mannaert
Year
2023
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Michal Valenta, Ph.D.
Department
Summary
This master's thesis in design science research aims to address the evolvability of the electricity grid by investigating mechanisms to minimize ripple effects resulting from the increased integration of renewable Distributed Energy Resources (DERs). The thesis identifies design challenges related to the physical structure, economics, and intelligence of the grid through interviews with practitioners and a comprehensive literature review. It explores technologies such as Digital Twin Technology (DTT) and Virtual Power Plant (VPP), balancing mechanisms, and pricing mechanisms to tackle these challenges. Through the application of the reasoning behind Normalized Systems Theory (NST), a novel perspective on the design of the electricity grid is presented. Additionally, the proposed mechanisms are evaluated by a practical implementation, through the design and implementation of an analytical tool for assessing the influence of dynamic pricing paradigm on electricity grid stability. The thesis concludes by highlighting its contributions in terms of applying NST to the grid, as well as to software development, and providing a general approach for achieving an evolvable grid design. Furthermore, the developed analytical tool contributes in the critical analysis of popular paradigms in the current electricity market. Overall, the thesis contributes to resolving the challenges associated with integrating DERs into the electricity grid, aiming for a more sustainable and efficient energy future.
Applying the Normalized Systems Theory on Microservice Architecture
Author
Vincenc Kolařík
Year
2019
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Skotnica
Department
Summary
The thesis is engaged in evolvability of applications build using microservice architecture. It applies the rules defined by the Normalized Systems theory and discusses its impacts. The thesis thoroughly analyses the domain of microservice architecture and identifies the key architectural aspects. The aspects are examined using the Normalized Systems theory and results in a set of guidelines to achieve evolvability of the microservice applications. The viability of proposed guidelines is then discussed.
Optimization of Manufacturing Process in Enterprise
Author
Jaroslav Žmolík
Year
2015
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Mgr. Ondřej Dvořák
Department
Summary
This master thesis deals with the analysis of the production process in real company operating in the automotive industry and optimization of this process. Analysis is performed using DEMO with an emphasis on the ontological, infological and datalogical support. This work was created as a foundation block for long-term optimization of the production process.
A System for Matching Offers and Inquiries Based on the Pure Object-Oriented Paradigm
Author
Michal Balda
Year
2015
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Bc. Ivan Ryant
Department
Summary
The main task of this thesis is to analyse, design, implement and test a portal that should simplify the process of seeking workers for short-term jobs and managing their applications. Pharo, a clean object-oriented platform, and Seaside, its main web framework, are used to accomplish this task. A high-quality design is a must, therefore a multiple-aspect verification follows the design and implementation phases. Being a web application, the portal needs to be as secure as possible and adequately responsive. Those two aspects are included in the tests as well. Finally, since the object-oriented paradigm is not the only one possible, the platform is compared to Liferay, a more widely used process-oriented platform.
Conceptual Modelling Support for the Haskell Programming Language
Author
Marek Suchánek
Year
2017
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. David Buchtela, Ph.D.
Department
Summary
The diploma thesis deals with the interconnection of conceptual modelling with the implementation of information systems and proposes solution to represent conceptual models directly in the Haskell programming language including their visualization as well as validation and verification procedures. Basic concepts and significant approaches to conceptual modelling and formal specification with their supporting tools are discussed in this work. Furthermore, the work contains analysis of the selected properties of programming languages to be used for conceptual modelling, requirements for representation of conceptual models and Haskell's own expressiveness is analyzed too. The proposed solution, which is based on previous discussion and analysis, in the form of an implemented Haskell library prototype is demonstrated in a case study and its advantages and disadvantages are discussed in terms of the resulting software product and project management. The result of the thesis is a documented open-source prototype, including its methodology for the construction, validation and verification of conceptual models. The thesis also contains proposals for the future development of the system and other research possibilities in this topic.
Developing Normalized Systems Conceptual Modeler
Author
Peter Uhnák
Year
2018
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
prof. Jan Verelst
Department
Summary
This thesis explores the topic of providing modeling and diagramming support for Normalized Systems constructed in the Prime Radiant tool using the OpenPonk modeling platform.
The current state of the art of defining NS systems is summarized. The Normalized Systems theory, Prime Radiant, OpenPonk, and other framework used in the making of the modeler are introduced.
The thesis then continues by analyzing the artifacts produced by the Prime Radiant that hold the definitions of NS systems. These artifacts are reverse engineered and a metamodel is constructed; both the process, and the result is discussed.
Inspired by existing notations, such as Entity-Relationship diagrams, UML class diagrams, State Machine diagrams, and Flow diagrams, the existing NS diagramming notation is extended. It discusses various aspects not just of the notation itself, but also of the process of diagramming as a natural way to create the models.
Several possibilities of forthcoming exploration are introduced.
Modeling rules and validations are introduced and explored as a way to guide a user through possible pitfalls, and to raise the quality of the defined models. The implemented rules, the current state, and an approach relevent from mid- and long-term perspective is explored and discussed at length.
As the main artifact of this thesis is a software project, testing, error tracking, and operations utilized in construction of the modeler are described.
Finally, the achievements of this project are evaluated, and the path forward summarized.
Reverse Engineering of Legacy Software Code for Normalized Systems Exanders
Author
Veronika Larionova
Year
2019
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
prof. Jan Verelst
Department
Summary
This thesis is meant as an exploration of possible usages of reverse engineering
techniques and tools for purpose of obtaining the inputs for Normalized Systems
expanders to re-engineer the legacy software system into its normalized
version. During the exploration, the attention is to be paid to the techniques of
reverse engineering and its application in already existing case studies. Additionally,
the survey of the existing solutions and tools is provided. Moreover,
the thesis includes the experimental part, where the reverse engineering tool (namely Moose) is used to gain the overview on the code and see the possibility
of using in for acclimatization of the process. Finally, the work is concluded
with the advice for future work.
Team collaboration on documents in a heterogenous technical environment
Author
Jan Vyvadil
Year
2014
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Zdeněk Rybola, Ph.D.
Department
Concept Design and Prototype Implementation of Universal User Interface
Author
Rostislav Novák
Year
2017
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
prof. Dr. Ing. Petr Kroha, CSc.
Department
Summary
Every today's application contains the user interface. Today is also favorite use thin clients and have the data stored on a central server. This work deals with the possibility of creating universal user interface, which will be platforms and implementation independent. Also this work describes client-server architecture, for this created UUI, where the server provides for client user interface and the client accepts user interface, which then generates to concrete user interface for its platform.
Business Process Modeling and Simulation: DEMO, BORM and BPMN
Author
Zuzana Vejražková
Year
2013
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Pavel Náplava, Ph.D.
Department
Machine Actionable User Interface Description for Normalised Systems Code Expanders
Author
Patrik Jantošovič
Year
2022
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Slifka
Department
Summary
User interface modeling languages such as Interaction Flow Modeling Language provide tools for participants of a software development process to better describe and communicate the design of the front-end of the application. Normalized Systems Theory, on the other hand, describes how to create this application in a sustainable way, resulting in an evolvable application. It does so by defining various principles and structures that can be generated from Normalized System elements using code expanders. In this thesis, the possibilities of transforming Interaction Flow Modeling Language models into Normalized System elements through Normalized Systems Gateway Ontology for Conceptual Models are explored.
Enhancing the DynaCASE Platform for Enterprise Engineering
Author
Jan Turoň
Year
2016
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
The goal of this study was to extend existing DynaCASE platform to support DEMO methodology (Design and Engineering Methodology for Organizations).
This thesis describes the whole development process of this extension -- research, analysis, design and implementation. This thesis is concluded with a study of success probability mainly in Ciao! Network community.
The implemented solution is the first open-source tool for DEMO methodology. It has ambitions to outperform the competition with better modeling support and mainly with support for further research of DEMO methodology.
This thesis contributes in these terms to research activities of Centre of Excellence CCMi at FIT CTU in Prague.
Interactive Map of Study at FIT CTU
Author
Klára Matoušková
Year
2023
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. David Pešek
Department
Summary
The project of Interactive Map of Study at FIT CTU aims to reassess the syllabus of subjects, programs, specializations, and the overall presentation of the study structure at FIT CTU. This thesis focuses on the web front-end part of the application, in which interactive visualizations from several syllabus perspectives are realized.
The thesis includes research into existing visualization methods, focusing on network and hierarchy visualizations. Based on the analysis, a user interface with interactive visualizations is designed for the application. The result of the thesis is a prototype of the application implemented using the D3.js visualization library, which is also integrated with the React library in the application.
Comparing Data Annotations using Deep and Shallow Semantics
Author
Lukáš Bicek
Year
2019
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek
Department
Summary
This thesis focuses on the comparison of data annotation using shallow and deep semantics. At the beginning of the thesis, all the necessary theoretical foundations are introduced. The practical comparison is made on an example of transforming a compared data model in shallow semantics, OWL to be specific, into data model using deep semantics in OntoUML language.
This transformation proved to be useful because it forced the author to understand the modelled domain better. The finished model proved to be a more explicit and more homogenous interpretation of the model was available.
OntoUML Models Instance Visualisation
Author
Matúš Vološin
Year
2016
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Zdeněk Rybola, Ph.D.
Department
Summary
Main goal of this thesis is to implement two new editors for modeling OntoUML diagrams and OntoUML instance diagrams. The solution will be based on DynaCASE framework that is implemented in Smalltalk language and virtual machine Pharo. OntoUML diagram will be validated according to OntoUML syntax rules and instance diagram according to connected OntoUML diagram. Implementation will include verification of the integrity constraints at instances. Validation and some other important features will be demonstrated in the examples created directly in a virtual machine Pharo.
Data Management Plans Migration for the DS Wizard Tool
Author
Josef Doležal
Year
2019
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Vojtěch Knaisl
Department
Summary
This thesis deals with the analysis and implementation of the data management plans migration tool. The application module for the existing system Data Stewardship Wizard is designed, based on the requirements and analysis. The thesis reflects the standard software development process and includes analysis, design, realization, and testing. The output of the implementation part is modules for both server and client application, allowing to migrate existing plans to a newer version of a Knowledge Model.
Extending OntoUML Modelling Capabilities on the OpenPonk Platform
Author
Marek Bělohoubek
Year
2021
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Jan Blizničenko
Department
Summary
This work focuses on extending OntoUML modelling capabilities on the OpenPonk platform. This is done in four parts. First part of the expansion is graphical user interface for displaying results of the verification framework. Second part is represented by new framework, which is used for automatic updating of OntoUML verifications. Third part of the expansion is automatic detection of OntoUML anti-patterns. Last part consists of new section on portal ontouml.org, dedicated to anti-pattern documentation. End of this thesis focuses on demonstration of the anti-pattern detection using reference model.
Development of Stress Management iOS Mobile Application
Author
Jan Ševela
Year
2020
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Petra Pavlíčková, Ph.D.
Department
Summary
The diploma project is focused on mobile application development platform supporting methods for stress management. Its inception was formed through collaborating two other diploma projects. The first project discusses application development for Android devices and the second project approaches the psychological theory of stress control. The application is designed for iOS devices and developed through the Swift programming language. It is supported by a set of tools Swift UI used for generating a user interface. Furthermore, a set of development tools for Native Applications were used. These include the AppAuth for verification, authorization of end-users; and Foundation for communication with REST API interface. The aim of the application is to address the requirements that arose from the diploma project approaching the psychological theory of stress control. These requirements are vital to generating a connection between the mobile application and stress management issues. Great emphasis was placed on clarity and simplicity of the user interface, common behaviour of iOS device users; and small differences with applications for Android devices so that the project works uniformly. The aim is to support the pilot project and future benefit in mobile applications for daily stress management. The work also includes recommendations for adaptability of the application for future use.
Data Stewardship Portal: Client-side Web Frontend
Author
Jan Slifka
Year
2018
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Reviewers
Ing. Marek Suchánek
Department
Summary
The thesis goes through the process of design, development, testing and deployment of the client-side web frontend for the Data Stewardship Portal which is part of the Interoperability platform at ELIXIR CZ project. The portal includes extensive Knowledge Model Editor and Migration Module. Haskell-based solution is used for the web development.
Live Visualization of Epidemiological Models
Author
Jan Blizničenko
Year
2018
Type
Master thesis
Supervisor
doc. Ing. Robert Pergl, Ph.D.
Department
Summary
Working with modular models, where any model may consist of other models, would benefit from a way of visual modeling that provides the user with live feedback of results of changes made on any model or any of its modules. Unfortunately, epidemiology, used as a case study in this work, reveals that current tools do not provide a proper way to work with such modular models with live visualizations of results.
This thesis presents a solution by providing models with diagram-based notations that are transformed to and from models of external execution back-end systems.
The tool resulting from this case study is based on OpenPonk platform and is used for Kendrick epidemiological modeling system as the back-end.