Většina konkrétních témat je uveřejněna vedoucími (viz O nás) na fakultním serveru Závěrečné práce. Zde najdete okruhy, ze kterých je možné vyrábět témata dle individuální domluvy — těžiště návrh/implementace, výběr programovacího jazyka, apod.). Z většiny témat lze též lze vytvořit varianty pro různé studijní obory. Pokud vás téma zaujme, kontaktujte uvedeného garanta (nemusí se shodovat s budoucím vedoucím práce), který s vámi rád probere detaily.
Obecné
Následující témata CCMi jsou aktuálně ve fakultním systému Závěrečné práce. Následující záložky filtrují specifické okruhy.
▼
Open-source vizuální nástroj pro generování blockchain smart kontraktů Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language which is hard to be understood by humans and is prone to errors. Based on a preliminary research, DEMO models seem to provide a better way to define smart contracts. The goal of this thesis is to create an open-source web-based modelling environment for modeling smart contracts in a form of DEMO models.
Steps to take:
1. Review the latest DEMO model notation.
2. Design a DEMO model designer for the purposes of creating smart contracts.
3. Create a web DEMO model designer.
This topic is offered by the #CCMi research group.
▼
Generování smart kontraktů platformy Hyperledger Fabric z procesních modelů DEMO Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language which is hard to be understood by humans and is prone to errors. Based on a preliminary research, DEMO models seem to provide a better way to define smart contracts. A goal of this thesis is to propose a way how to generate Hyperledger Fabric smart contracts from DEMO models.
Steps to take:
1. Explore the state-of-the-art Hyperledger Fabric blockchain and assess its strengths and weaknesses.
2. Propose a way how to generate Hyperledger Fabric smart contracts from DEMO models.
3. Create an open-source algorithm that generates smart contracts from DEMO models. Use .NET Core framework.
4. Create a case study to demonstrate the functionality of the created algorithm.
This topic is offered by the #CCMi research group.
▼
Generování smart kontraktů v jazyce Plutus z procesních modelů DEMO Bakalářská
Rezervace: 1/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language Plutus that is hard to understand by humans and is prone to errors. Based on preliminary research, DEMO models seem to provide a better way to define smart contracts. A goal of this thesis is to propose a way how to generate Plutus smart contracts from DEMO models.
Steps to take:
1. Explore the state-of-the-art Cardano blockchain technology and assess its strengths and weaknesses.
2. Analyze ways to generate Plutus smart contracts from DEMO models.
3. In .NET Core implement and test an algorithm that generates Plutus smart contracts from DEMO models.
This topic is offered by the #CCMi research group.
▼
Generování smart kontraktů v jazyce Solidity z procesních modelů DEMO Bakalářská
Rezervace: 1/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language which is hard to be understood by humans and is prone to errors. Based on a preliminary research, DEMO models seem to provide a better way to define smart contracts. A goal of this thesis is to propose a way how to generate Solidity smart contracts from DEMO models.
Steps to take:
1. Explore the state-of-the-art Ethereum blockchain and assess its strengths and weaknesses.
2. Propose a way how to generate Ethereum smart contracts from DEMO models.
3. Create an open-source algorithm that generates smart contracts from DEMO models. Use .NET Core framework.
4. Create a case study to demonstrate the functionality of the created algorithm.
This topic is offered by the #CCMi research group.
▼
Evolvabilita UI technologií Diplomová
Rezervace: 1/2
Zadavatel: Mgr. Ondřej Dvořák
Nowadays, the pace of technological progress accelerates. The companies are under a market pressure to evolve their solutions to latest technologies quickly. This is usually related to a big investment and is often difficult to achieve. One of the technologies which struggle with that phenomenon are those used to develop User Interfaces (UI). Map common Web and Desktop UI technologies in the past years, clarify their architectures and evaluate their limitations.
1. Analyze common architecture patterns in UI technologies
2. Review latest trends in so-called evolvable architectures (e.g., Normalized Systems)
3. Implement an explanatory application in few technologies of choice and demonstrate their limitation when upgrading the application from one technology to another.
4. Clarify architecture concepts which limits the the upgrade of UI efficiently
This topic is offered by #ccmi research group in cooperation with the University of Antwerp.
▼
Migrace plánů pro správu dat v nástroji DS Wizard Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
- Acquaint yourself with the Data Stewardship Wizard (DSW) project with the focus to current solution of Knowledge Model (KM) migrations.
- Acquaint yourself with the Haskell programming language.
- Design and implement a solution for migrating data management plans created in DSW under specific KMs.
- Test the solution and demonstrate it on a non-trivial case study.
- Document your work.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative.
▼
Vývoj nástroje pro vzdálenou správu klientů Bakalářská
Rezervace: 0/3
Zadavatel: Ing. Jan Blizničenko
Úvod
Interní servery jsou nahrazovány cloudovými řešeními jako jsou HRworks a pracovníci mimo pracoviště pak nemají přímý přístup k řadiči domény (Domain Controller - DC) a obvykle se využívá VPN. Interní DC je však stále nutné pro správu klientských PC. U distribuovaných nastavení je Microsoft Active Directory mocným
Cíle
Nástroj pro správu klientů by měl fungovat na pozadí klientských počítačů a zajistit, aby všichni klienti mohli být centrálně spravováni. To zahrnuje vytvoření místních uživatelů, jednotné nastavení, resetování hesel a na Windows např. vypnutí Cortany. Toto ovládací centrum je integrováno do HRworks a mělo by komunikovat přes Amazon SQS s klientskými počítači. SQS je služba message service v Amazon Web Services, která umožňuje asynchronní komunikaci mezi systémy.
Nabízeno skupinou #CCMi a společností HRworks
Interní servery jsou nahrazovány cloudovými řešeními jako jsou HRworks a pracovníci mimo pracoviště pak nemají přímý přístup k řadiči domény (Domain Controller - DC) a obvykle se využívá VPN. Interní DC je však stále nutné pro správu klientských PC. U distribuovaných nastavení je Microsoft Active Directory mocným
nástrojem, ale údržba DC a VPN pro správu uživatelů je stále nákladná.
Cílem je odstranit DC a přesunout správu klientů do HRworks v jazyce Pharo.
Cíle
Nástroj pro správu klientů by měl fungovat na pozadí klientských počítačů a zajistit, aby všichni klienti mohli být centrálně spravováni. To zahrnuje vytvoření místních uživatelů, jednotné nastavení, resetování hesel a na Windows např. vypnutí Cortany. Toto ovládací centrum je integrováno do HRworks a mělo by komunikovat přes Amazon SQS s klientskými počítači. SQS je služba message service v Amazon Web Services, která umožňuje asynchronní komunikaci mezi systémy.
Nabízeno skupinou #CCMi a společností HRworks
Background
Internal servers are being replaced by cloud solutions like HRworks and off-site workers no longer have direct access to Domain Controller (DC) anymore and VPN is usually used. However, internal DC is still needed for management of client PCs. For distributed settings, Microsoft Active Directory is powerful tool, but maintenance of the DC and VPN for user management is still expensive.
Objective
The client management tool should run in the background of client PCs and ensure that clients can be managed from a central location. This includes creation of local users, settings, resetting passwords and e.g. switching off Cortana on Windows. This control center is integrated in HRworks and should be communicating via Amazon SQS with the client PCs. SQS is message service of Amazon Web Services which enables asynchronous communication between systems.
Offered by #CCMi group with HRworks company.
▼
Automatizovaná transformace DEMO modelů do BPMN Diplomová
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
#CCMi FIT together with CZM FEL developed an original method of transformation of DEMO models into the BPMN notation. The transformation method is described in paper [1]. The goal of this topic is to implement the transformation in the OpenPonk modelling platform [2].
The concrete assignments will be tuned according to the student's preference.
#CCMi FIT together
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
▼
Automatizovaná transformace DEMO modelů do BPMN Bakalářská
Rezervace: 1/3
Zadavatel: Ing. Robert Pergl, Ph.D.
#CCMi FIT together with CZM FEL developed an original method of transformation of DEMO models into the BPMN notation. The transformation method is described in paper [1]. The goal of this topic is to implement the transformation in the OpenPonk modelling platform [2].
The concrete assignments will be tuned according to the student's preference.
#CCMi FIT together
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
▼
Aplikace chytrých kontraktů ve veřejném sektoru Diplomová
Rezervace: 0/1
Zadavatel: Ing. Marek Skotnica
The arrival of the blockchain technology is being compared to the arrival of the internet in 1994. It is new, exciting, and the potential of the technology is yet to be explored.
A goal of this thesis is to explore potential use cases of the blockchain smart contracts in a public sector domain and create a case study system that will demonstrate its feasibility.
Steps to take:
- Review the possible applications of smart contracts in a public sector.
- Review the possible blockchain technologies capable of supporting such applications.
- Create a case study of a public sector process supported by a smart contract implementation.
This topic is offered by the #CCMi research group.
▼
Open-source modelovací prostředí pro návrh blockchain kontraktů Diplomová
Rezervace: 0/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language which is hard to be understood by humans and is prone to errors. Based on a preliminary research, DEMO models seem to provide a better way to define smart contracts. The goal of this thesis is to create an open-source web-based modelling environment for modeling smart contracts in a form of DEMO models.
Steps to take:
Review the latest DEMO model notation.
Design a DEMO model designer for the purposes of creating smart contracts.
Create a web DEMO model designer.
This topic is offered by the #CCMi research group and it can be customized based on the student’s skills and preferences.
▼
Generování blockchain kontraktů pro Hyperledger Fabric z procesních modelů DEMO Diplomová
Rezervace: 0/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language which is hard to be understood by humans and is prone to errors. Based on a preliminary research, DEMO models seem to provide a better way to define smart contracts. A goal of this thesis is to propose a way how to generate Hyperledger Fabric smart contracts from DEMO models.
Steps to take:
Explore the state-of-the-art Hyperledger Fabric blockchain and assess its strengths and weaknesses.
Propose a way how to generate Hyperledger Fabric smart contracts from DEMO models.
Create an open-source algorithm that generates smart contracts from DEMO models. Use .NET Core framework.
Create a case study to demonstrate the functionality of the created algorithm.
This topic is offered by the #CCMi research group.
▼
Generování blockchain kontraktů v jazyce Plutus z procesních modelů DEMO Diplomová
Rezervace: 0/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language which is hard to be understood by humans and is prone to errors. Based on a preliminary research, DEMO models seem to provide a better way to define smart contracts. A goal of this thesis is to propose a way how to generate Plutus smart contracts from DEMO models.
Steps to take:
Explore the state-of-the-art Cardano blockchain and assess its strengths and weaknesses.
Propose a way how to generate Cardano smart contracts from DEMO models.
Create an open-source algorithm that generates smart contracts from DEMO models. Use .NET Core framework.
Create a case study to demonstrate the functionality of the created algorithm.
This topic is offered by the #CCMi research group.
▼
Generování blockchainových kontraktů v jazyce Solidity z procesních modelů DEMO Diplomová
Rezervace: 0/2
Zadavatel: Ing. Marek Skotnica
Blockchain smart contracts (SC) are an emerging technology that aspires to change the way people conduct contracts. However, the language of smart contracts is a domain-specific programming language which is hard to be understood by humans and is prone to errors. Based on a preliminary research, DEMO models seem to provide a better way to define smart contracts. A goal of this thesis is to propose a way how to generate Solidity smart contracts from DEMO models.
Steps to take:
Explore the state-of-the-art Ethereum blockchain and assess its strengths and weaknesses.
Propose a way how to generate Ethereum smart contracts from DEMO models.
Create an open-source algorithm that generates smart contracts from DEMO models. Use .NET Core framework.
Create a case study to demonstrate the functionality of the created algorithm.
This topic is offered by the #CCMi research group.
▼
Využití OpenPonk pro výzkum konceptuálního modelování v inženýrství podniků Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The thesis is focused on supporting conceptual modelling research of Luxembourg Institute of Science and Technology (LIST) in collaboration with the #CCMi research group.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
▼
Využití OpenPonk pro výzkum konceptuálního modelování v inženýrství podniků Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The thesis is focused on supporting conceptual modelling research of Luxembourg Institute of Science and Technology (LIST) in collaboration with the #CCMi research group.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
▼
Nástroje pro vytváření tripletů Diplomová
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Despite the increasing popularity of Linked Data approaches and technologies, we still face a lack of tooling support. The task of triplifying data include preparing (wrangle) data, defining a semantic schema and then applying the schema to the data to create the triples. These activities are often performed manually, through a set of ad hoc scripts or using different and non-integrated tools. An example of a data wrangling tool is OpenRefine and of a data annotation and triplification tool is Karma.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
▼
Nástroje pro vytváření tripletů Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Despite the increasing popularity of Linked Data approaches and technologies, we still face a lack of tooling support. The task of triplifying data include preparing (wrangle) data, defining a semantic schema and then applying the schema to the data to create the triples. These activities are often performed manually, through a set of ad hoc scripts or using different and non-integrated tools. An example of a data wrangling tool is OpenRefine and of a data annotation and triplification tool is Karma.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
▼
Porovnání datových anotací s mělkým a hlubokým významem (zní to v češtině divně, co?) Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The emergence of the FAIR data initiative brought attention to the need to provide proper semantics to digital resources in order to improve machine-based interoperability. However, in the current scenario, the majority of the so-called “ontologies” are dictionaries, vocabularies or taxonomies, providing shallow semantics not providing enough properties, relations and constraints to allow computer-based systems to infer their meaning and, therefore, present more intelligent behavior.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
▼
Porovnání datových anotací s mělkým a hlubokým významem (zní to v češtině divně, co?) Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The emergence of the FAIR data initiative brought attention to the need to provide proper semantics to digital resources in order to improve machine-based interoperability. However, in the current scenario, the majority of the so-called “ontologies” are dictionaries, vocabularies or taxonomies, providing shallow semantics not providing enough properties, relations and constraints to allow computer-based systems to infer their meaning and, therefore, present more intelligent behavior.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
▼
Migrace software HRWorks z VisualWorks do Pharo Diplomová
Rezervace: 0/5
Zadavatel: Ing. Robert Pergl, Ph.D.
HRworks developed a web-based business software in the cloud. Ever since, HRworks has been among the market leaders for software as a service solution for the full range of HR topics in Germany. More than 1200 customers such as Kyocera, Honda, Helly Hansen, Tom Tailor or SEAT rely on HRworks every day.
The main goal of this thesis is to transfer their current frameworks, based on Visual Age Smalltalk, into the Pharo Smalltalk environment. As a part of that, you will identify the common base of the code in Visual Age and Pharo plus develop a core layer which is usable by both languages.
- research of existing compatibility layers
- developing necessary compatibility layers (HTTP, Zinc, OpenSSL, ...)
- generating import/export mechanism for the common base of the code
- adapting and transferring backend frameworks
- working with Amazon Web Services
The topic is oferred by the #CCMi research group in collaboration with HRWorks GmbH.
The main goal of this thesis is to transfer their current frameworks, based on Visual Age Smalltalk, into the Pharo Smalltalk environment. As a part of that, you will identify the common base of the code in Visual Age and Pharo plus develop a core layer which is usable by both languages.
- research of existing compatibility layers
- developing necessary compatibility layers (HTTP, Zinc, OpenSSL, ...)
- generating import/export mechanism for the common base of the code
- adapting and transferring backend frameworks
- working with Amazon Web Services
The topic is oferred by the #CCMi research group in collaboration with HRWorks GmbH.
▼
Migrace software HRWorks z VisualWorks do Pharo Bakalářská
Rezervace: 0/5
Zadavatel: Ing. Robert Pergl, Ph.D.
HRworks developed a web-based business software in the cloud. Ever since, HRworks has been among the market leaders for software as a service solution for the full range of HR topics in Germany. More than 1200 customers such as Kyocera, Honda, Helly Hansen, Tom Tailor or SEAT rely on HRworks every day.
The main goal of this thesis is to transfer their current frameworks, based on Visual Age Smalltalk, into the Pharo Smalltalk environment. As a part of that, you will identify the common base of the code in Visual Age and Pharo plus develop a core layer which is usable by both languages.
- research of existing compatibility layers
- developing necessary compatibility layers (HTTP, Zinc, OpenSSL, ...)
- generating import/export mechanism for the common base of the code
- adapting and transferring backend frameworks
- working with Amazon Web Services
The topic is oferred by the #CCMi research group in collaboration with HRWorks GmbH.
The main goal of this thesis is to transfer their current frameworks, based on Visual Age Smalltalk, into the Pharo Smalltalk environment. As a part of that, you will identify the common base of the code in Visual Age and Pharo plus develop a core layer which is usable by both languages.
- research of existing compatibility layers
- developing necessary compatibility layers (HTTP, Zinc, OpenSSL, ...)
- generating import/export mechanism for the common base of the code
- adapting and transferring backend frameworks
- working with Amazon Web Services
The topic is oferred by the #CCMi research group in collaboration with HRWorks GmbH.
▼
Open-source prostředí pro návrh DEMO modelů Diplomová
Rezervace: 0/2
Zadavatel: Ing. Marek Skotnica
Design and Engineering Methodology for Organizations (DEMO) is a methodology for analysing and modeling organizations and its processes. Several modeling tools that support this methodology (see http://www.ee-institute.org/en/demo/tools" style="text-decoration-line: none;">http://www.ee-institute.org/en/demo/tools, however, these tools are closed-source and do not support all DEMO aspect models according to their latest DEMO specification. The main goal of this project is to deliver an open-source web-based modelling environment with a high user experience that can be used as a standard across the enterprise-engineering community, and in DEMO certification courses.
Steps to take:
Review the latest DEMO model notation.
Design a DEMO model designer with high user experience.
Create a web DEMO model designer based on open-source .NET technologies and client side frameworks such as Angular
This topic is offered by the #CCMi research group and it can be customized based on the student’s skills and preferences.
▼
Normalizované Systémy: Workflow Orchestration ve Pharo Diplomová
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
The goal is implementing a workflow orchestrator in Pharo (using the OpenPonk platform) that would be able to run NSS flow models, while executing Smalltalk code as the tasks, or executing Prime Radiant Java tasks (if possible). One interest is to push a better way to manage such workflows on Pharo code, based on Normalized Systems Theory. The second interest could be to use it as a prototyping platform for Prime Radiant workflows. So in a sense a closer collaboration between the modeling tool and Prime Radiant with respect to the execution/orchestration of the workflows.
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp. Please read the context here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp. Please read the context here: http://bit.ly/CTU-UA-NS
▼
Aplikování teorie Normalizovaných systémů pro Business Intelligence systémy Diplomová
Rezervace: 0/4
Zadavatel: Ing. Robert Pergl, Ph.D.
The topic is focused on applying the Normalized Systems theory to the development of Business Intelligence systems.
The context and details are here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
The context and details are here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
▼
Normalizované systémy: inspekce kvality kódu Diplomová
Rezervace: 0/4
Zadavatel: Ing. Robert Pergl, Ph.D.
The topic is focused on code visualizations of the Normalized Systems using http://moosetechnology.org. The context and details are here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
▼
Vyhledávání v konceptuálních modelech Diplomová
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
Téma práce je zaměřeno na analýzu a implementaci řešení pro vyhledávání v konceptuálních modelech. Nástroj OpenPonk vyvíjený skupinou #CCMi ukládá modely založené na UML profilech (např. čisté UML či OntoUML) v interoperabilnim standardu XMI, podobně jako např. Enterprise Architect či Menthor Editor. To umožňuje modely indexovat a uložit do vhodné databáze pro následné vyhledávání, což je cílem tohoto tématu.
The topic is focused on analysis and implementation of searching inside conceptual models. The OpenPonk tool developed by the #CCMi research group stores models based on the UML profile (e.g. pure UML or OntoUML) in the XMI interoperable standard, similar to e.g. Enterprise Architect or Menthor Editor. This enables to index models and store them in a suitable database for subsequent searching, which is the goal of this topic.
▼
Vyhledávání v konceptuálních modelech Bakalářská
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
Téma práce je zaměřeno na analýzu a implementaci řešení pro vyhledávání v konceptuálních modelech. Nástroj OpenPonk vyvíjený skupinou #CCMi ukládá modely založené na UML profilech (např. čisté UML či OntoUML) v interoperabilnim standardu XMI, podobně jako např. Enterprise Architect či Menthor Editor. To umožňuje modely indexovat a uložit do vhodné databáze pro následné vyhledávání, což je cílem tohoto tématu.
The topic is focused on analysis and implementation of searching inside conceptual models. The OpenPonk tool developed by the #CCMi research group stores models based on the UML profile (e.g. pure UML or OntoUML) in the XMI interoperable standard, similar to e.g. Enterprise Architect or Menthor Editor. This enables to index models and store them in a suitable database for subsequent searching, which is the goal of this topic.
▼
OpenPonk: vektorový grafický editor s podporou pravidel Bakalářská
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená výzkumnou skupinou #CCMi. Cílem této práce je návrh a implementace vektorového grafického editoru (ve stylu Inkscape, Visio ci LibreOffice Draw), který bude podporovat zadávání a uplatňování pravidel typu "tento čtverec by měl být uprostřed této kružnice", "tento obdélník je pod tímto", apod.
OpenPonk is an open platform for conceptual modelling developed by the #CCMi research group. The goal of this thesis is to design and implement a vector graphics editor (similar to Inkscape, Visio or LibreOffice Draw) that supports specifying and applying rules as "this square should be in the centre of this circle", "this rectangle is below this one", etc.
▼
OpenPonk: implementace myšlenkových map Diplomová
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená výzkumnou skupinou #CCMi. Cílem této práce je návrh a implementace podpory modelování myšlenkových map.
OpenPonk is an open platform for conceptual modelling developed by the #CCMi research group. The goal of this thesis is to design and implement mind map modelling.
▼
OpenPonk: Generování SQL DDL z databázového modelu Diplomová
Rezervace: 0/3
Zadavatel: Ing. Zdeněk Rybola, Ph.D.
Cílem práce je implementace generování SQL DDL skriptů z relačního databázového modelu
včetně realizace vybraných typů OCL omezení v rámci nástroje OpenPonk. Téma vychází z výzkumu skupiny
#CCMi a publikací, které budou zájemcům poskytnuty.
včetně realizace vybraných typů OCL omezení v rámci nástroje OpenPonk. Téma vychází z výzkumu skupiny
#CCMi a publikací, které budou zájemcům poskytnuty.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená v CCMi.
https://openponk.github.io/">https://openponk.github.io
https://openponk.github.io/">https://openponk.github.io
▼
OpenPonk: Implementace transformace z OntoUML do databázového modelu Diplomová
Rezervace: 0/3
Zadavatel: Ing. Zdeněk Rybola, Ph.D.
Cílem práce je implementace transformace z OntoUML konceptuálního modelu do UML modelu a následně
do relačního databázového modelu se zachováním veškerých omezení vycházejících
z původního OntoUML modelu. Téma vychází z výzkumu skupiny #CCMi a publikací,
které budou zájemcům poskytnuty.
do relačního databázového modelu se zachováním veškerých omezení vycházejících
z původního OntoUML modelu. Téma vychází z výzkumu skupiny #CCMi a publikací,
které budou zájemcům poskytnuty.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená v CCMi.
https://openponk.github.io/">https://openponk.github.io
https://openponk.github.io/">https://openponk.github.io
▼
Rozvoj platformy OpenPonk Bakalářská
Rezervace: 0/4
Zadavatel: Ing. Robert Pergl, Ph.D.
#OpenPonk je klíčovým projektem výzkumné skupiny #CCMi zaměřeným na vytvoření otevřené platformy pro konceptuální modelování, simulace, vizualizace, transformace modelů a generování kódu sloužící pro výuku, vědu i praxi. Platforma je realizována v technologii #Pharo. Cílem práce je programovat další modelovací notace a algoritmy (dle zájmu) do platformy, či rozvíjet platformu samotnou (např UI).
#OpenPonk is a key project of the #CCMi research group. Its ambition is to develop an open platform for conceptual modelling, simulations, visualisations, transformation of models and code generation for education, research and practice. The platform is implemented using the #Pharo technology. The goal of the thesis is to programme modelling notations and/or algorithms on the platform, or develop the platform itself (e.g. UI). Will be specified more detailed according to the specific student's preferences.
▼
Implementace CASE nástroje pro metodiku UWE Diplomová
Rezervace: 0/1
Zadavatel: Ing. Robert Pergl, Ph.D.
- Nastudujte metodiku pro analýzu a návrh webových aplikací UWE zalozenou na #UML profilu.
- Seznamte se s platformou #OpenPonk a jazykem #Smalltalk.
- Proveďte analýzu, návrh a implementaci modelování diagramú UWE do OpenPonk.
- Navrhněte a implementujte vybrané algoritmy kontrol, transformací modelú a generování kódu.
- Řešení otestujte a demonstrujte na případové studii.
Téma přispívá do výzkumu #CCMi.
- Acquaint yourself with the UWE methodology for analysis and design of web applications
- Acquaint yourself with the OpenPonk platform.
- Perform analysis, design and implementation of UWE diagrams modelling in OpenPonk.
- Design and implement selected algorithms for models verification, transformation and code generation.
- Test the solution and demonstrate it using a case study.
The topic contributes to the #CCMi research.
▼
Implementace CASE nástroje pro metodiku UWE Bakalářská
Rezervace: 0/1
Zadavatel: Ing. Robert Pergl, Ph.D.
- Nastudujte metodiku pro analýzu a návrh webových aplikací UWE zalozenou na #UML profilu.
- Seznamte se s platformou #OpenPonk a jazykem #Smalltalk.
- Proveďte analýzu, návrh a implementaci modelování diagramú UWE do OpenPonk.
- Navrhněte a implementujte vybrané algoritmy kontrol, transformací modelú a generování kódu.
- Řešení otestujte a demonstrujte na případové studii.
Téma přispívá do výzkumu #CCMi.
- Acquaint yourself with the UWE methodology for analysis and design of web applications
- Acquaint yourself with the OpenPonk platform.
- Perform analysis, design and implementation of UWE diagrams modelling in OpenPonk.
- Design and implement selected algorithms for models verification, transformation and code generation.
- Test the solution and demonstrate it using a case study.
The topic contributes to the #CCMi research.
▼
Zlepšení uplatnitelnosti DEMO modelování na platformě OpenPonk Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
viz anglicky popis
- Acquaint yourself with the #DEMO methodology, #Smalltalk programming language, the #OpenPonk conceptual modelling platform (http://openponk.github.io/), its architecture and implementation of the DEMO diagramming.
- Design and implement import and export of diagrams in the XML format interchangeable with Formetis' DEMO Engine.
- Propose and implement a set of diagram consistency checks.
- Propose and implement improvements in the usability of the DEMO models engineering.
This topic contributes to research initiative of #CCMi and the cooperation with the #Formetis Consultants company.
- Design and implement import and export of diagrams in the XML format interchangeable with Formetis' DEMO Engine.
- Propose and implement a set of diagram consistency checks.
- Propose and implement improvements in the usability of the DEMO models engineering.
This topic contributes to research initiative of #CCMi and the cooperation with the #Formetis Consultants company.
▼
Podpora debuggování složitých datových struktur pro Javascript Diplomová
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Cílem práce je vyvinout vhodný systém (knihovnu/rozšíření/nástroj) pro podporu ladění programů v jazyce Javascript, které se vyznačují složitými datovými strukturami a operacemi nad nimi. Inspirací pro práci je mnoha cenami ověnčený GT Inspector pro system Pharo (viz video na http://gt.moosetechnology.org/).
Práce je tématem vypsaným výzkumnou skupinou #CCMi.
The goal of the thesis is to develop a fitting system (library/extension/tool) for debugging Haskell programmes, which have complex data structures and operations upon them. The inspiration is the award-winning GT Inspector for Pharo (viz video na http://gt.moosetechnology.org/).
The topic is created by the #CCMi research group.
▼
Podpora debuggování složitých datových struktur pro Haskell Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Cílem práce je vyvinout vhodný systém (knihovnu/rozšíření/nástroj) pro podporu ladění programů v jazyce #Haskell, které se vyznačují složitými datovými strukturami a operacemi nad nimi. Inspirací pro práci je mnoha cenami ověnčený GT Inspector pro system Pharo (viz video na http://gt.moosetechnology.org/).
Řešení by mělo být univerzální, tj. fungovat na všech platformách, ideálně i na webu (překladače ghc-js, Haste). Řešení by mělo fungovat samostatně (zakompilované do výsledného kódu) i v rámci debuggeru ghci.
Práce je tématem vypsaným výzkumnou skupinou #CCMi.
The goal of the thesis is to develop a fitting system (library/extension/tool) for debugging #Haskell programmes, which have complex data structures and operations upon them. The inspiration is the award-winning GT Inspector for Pharo (viz video na http://gt.moosetechnology.org/).
The solution should be universal, i.e. it should work on all platforms, ideally also on the web (the ghc-js and Haste compilers). The solution should word standalone (compiled into the code) and also in the ghci debugger.
The topic is created by the #CCMi research group.
▼
Aplikace pro posílání zpráv a správu úkolů založená na teorii PSI Diplomová
Rezervace: 1/3
Zadavatel: Ing. Robert Pergl, Ph.D.
Teorie PSI je jedna z teorií Enterprise Engineering a metody #DEMO, která studuje, jakým způsobem probíhají transakce mezi zadavatelem a dodavatelem určitého produktu. Cílem práce je vytvořit aplikaci pro osobní potřebu, ve které bude možné komunikovat s ostatními uživateli podle transakčního axiomu teorie PSI.
Aplikace by měla mít podobu client-server webové aplikace (varianta desktopové klientské části je též možná) a umožňovat vytvářet, příp. importovat modely OCD a PSD popisující transakce. Těžiště práce je v analýze, návrhu a implementaci správy a řízení průběhu transakcí, zejména skrze zasílání a přijímání zpráv s ostatními uživateli.
Teorie PSI je vyučována v předmětu MI-MEP (https://edux.fit.cvut.cz/courses/MI-MEP/lectures/start), nicméně tento předmět není prerekvizitou zadání.
Práce je tématem vypsaným výzkumnou skupinou #CCMi.
The PSI theory is one of the basic Enterprise Engineering theories and the #DEMO methodology, which studies how transactions between an initiator and an executor of a product take place. The goal of the thesis is to create a personal application for communicating with other users using the PSI Transaction Axiom.
The application should be a client-server web application (desktop client variant is also possible) and it should enable to create or import OCD and PSD models describing the transactions. The focus of the assignment is the analysis, design and implementation of transaction management and controlling, taking place mostly by sending messages with other users.
PSI theory is lectured in the MI-MEP course: https://edux.fit.cvut.cz/courses/MI-MEP/lectures/start.
However, MI-MEP is not a prerequisity for this topic.
The topic is created by the #CCMi research group.
▼
Správa a generování CV Bakalářská
Rezervace: 1/3
Zadavatel: Ing. Robert Pergl, Ph.D.
Proveďte analýzu, návrh a implementaci aplikace pro správu CV (životopisu). Základem aplikace bude relační databáze, ve které budou uloženy životopisné údaje. K ní bude jednoduchá, ale efektivní desktopová aplikace pro pořizování a správu údajů. Třetí částí řešení je konfigurovatelný reportingový engine, který bude umět exportovat CV s různým obsahem do různých formátů na základě připravených, upravitelných šablon.
Implementujte v systému Pharo s použitím knihovny Pillar, řešení důkladně otestujte.
Práce je tématem vypsaným výzkumnou skupinou #CCMi.
Perform analysis,design and implementation of a CV (biography) management application. The basis will be a relational database with stored CV items. A simple, effective GUI application should be developed to manage the items. The CV reporting engine should be developed to export CVs with various contents and formats using prepared, changeable templates.
The topic is created by the #CCMi research group.
▼
Rozvoj platformy OpenPonk Diplomová
Rezervace: 1/4
Zadavatel: Ing. Robert Pergl, Ph.D.
#OpenPonk je klíčovým projektem výzkumné skupiny #CCMi zaměřeným na vytvoření otevřené platformy pro konceptuální modelování, simulace, vizualizace, transformace modelů a generování kódu sloužící pro výuku, vědu i praxi. Platforma je realizována v technologii #Pharo. Cílem práce je programovat další modelovací notace a algoritmy (dle zájmu) do platformy, či rozvíjet platformu samotnou (např UI).
#OpenPonk is a key project of the #CCMi research group. Its ambition is to develop an open platform for conceptual modelling, simulations, visualisations, transformation of models and code generation for education, research and practice. The platform is implemented using the #Pharo technology. The goal of the thesis is to programme modelling notations and/or algorithms on the platform, or develop the platform itself (e.g. UI). Will be specified more detailed according to the specific student's preferences.
▼
Refaktoring kódu pomocí projektivních technologií firmy Codiscent Diplomová
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of FIT and Codiscent and has a potential of scientific publications.
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of FIT and Codiscent and has a potential of scientific publications.
The topic is created by the #CCMi research group.
▼
Refaktoring kódu pomocí projektivních technologií firmy Codiscent Bakalářská
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of FIT and Codiscent and has a potential of scientific publications.
Refactoring became an everyday process of keeping the code clean, consistent and understandable. A range of tools for a code refactoring exists, however they are tightly bound with concrete language and IDE.
Reverse engineering and generative software (RES and GES) technologies, commonly called projective technologies (PT) from Codiscent are a way how to generated and manipulate code independently on its syntax.
The goal of this thesis is to apply PT for code refactoring. Perform a review of current approaches and tools for refactoring and RES and GES of Codiscent. Together with your supervisor, select an appropriate language and refactoring rules for a proof-of-concept. Create a suitable format to define rules for refactoring. Design PT templates to perform the refactoring. Formulate conclusions.
This topic contributes to cooperation of FIT and Codiscent and has a potential of scientific publications.
The topic is created by the #CCMi research group.
OpenPonk
Témata zaměřená na rozvoj platformy OpenPonk.
▼
Automatizovaná transformace DEMO modelů do BPMN Diplomová
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
#CCMi FIT together with CZM FEL developed an original method of transformation of DEMO models into the BPMN notation. The transformation method is described in paper [1]. The goal of this topic is to implement the transformation in the OpenPonk modelling platform [2].
The concrete assignments will be tuned according to the student's preference.
#CCMi FIT together
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
▼
Automatizovaná transformace DEMO modelů do BPMN Bakalářská
Rezervace: 1/3
Zadavatel: Ing. Robert Pergl, Ph.D.
#CCMi FIT together with CZM FEL developed an original method of transformation of DEMO models into the BPMN notation. The transformation method is described in paper [1]. The goal of this topic is to implement the transformation in the OpenPonk modelling platform [2].
The concrete assignments will be tuned according to the student's preference.
#CCMi FIT together
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
with CZM FEL developed an original method of transformation of DEMO
models into the BPMN notation. The transformation method is described in
paper [1]. The goal of this topic is to implement the transformation using technologies and tools, such as the OpenPonk modelling platform [2].
▼
Využití OpenPonk pro výzkum konceptuálního modelování v inženýrství podniků Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The thesis is focused on supporting conceptual modelling research of Luxembourg Institute of Science and Technology (LIST) in collaboration with the #CCMi research group.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
▼
Využití OpenPonk pro výzkum konceptuálního modelování v inženýrství podniků Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The thesis is focused on supporting conceptual modelling research of Luxembourg Institute of Science and Technology (LIST) in collaboration with the #CCMi research group.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
The core of the research is to look at the idea of linking ORM models and models in more dedicated languages (such as DEMO or ArchiMate). From one side, an ORM model can be used to provide more (real world) meaning to an ArchiMate model (in terms of verbalisations). From the other side, starting with an ORM model, and then "colouring" this with the concepts from e.g. ArchiMate.
To show the added value of such linkages, LIST would like to do experiments using our OpenPonk platform.
The author of the thesis is supposed to develop the necessary notations and visualisations in OpenPonk with close colaboration with LIST. A stipendium to visit LIST for an internship is possible.
▼
Normalizované Systémy: Workflow Orchestration ve Pharo Diplomová
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
The goal is implementing a workflow orchestrator in Pharo (using the OpenPonk platform) that would be able to run NSS flow models, while executing Smalltalk code as the tasks, or executing Prime Radiant Java tasks (if possible). One interest is to push a better way to manage such workflows on Pharo code, based on Normalized Systems Theory. The second interest could be to use it as a prototyping platform for Prime Radiant workflows. So in a sense a closer collaboration between the modeling tool and Prime Radiant with respect to the execution/orchestration of the workflows.
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp. Please read the context here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp. Please read the context here: http://bit.ly/CTU-UA-NS
▼
Vyhledávání v konceptuálních modelech Diplomová
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
Téma práce je zaměřeno na analýzu a implementaci řešení pro vyhledávání v konceptuálních modelech. Nástroj OpenPonk vyvíjený skupinou #CCMi ukládá modely založené na UML profilech (např. čisté UML či OntoUML) v interoperabilnim standardu XMI, podobně jako např. Enterprise Architect či Menthor Editor. To umožňuje modely indexovat a uložit do vhodné databáze pro následné vyhledávání, což je cílem tohoto tématu.
The topic is focused on analysis and implementation of searching inside conceptual models. The OpenPonk tool developed by the #CCMi research group stores models based on the UML profile (e.g. pure UML or OntoUML) in the XMI interoperable standard, similar to e.g. Enterprise Architect or Menthor Editor. This enables to index models and store them in a suitable database for subsequent searching, which is the goal of this topic.
▼
Vyhledávání v konceptuálních modelech Bakalářská
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
Téma práce je zaměřeno na analýzu a implementaci řešení pro vyhledávání v konceptuálních modelech. Nástroj OpenPonk vyvíjený skupinou #CCMi ukládá modely založené na UML profilech (např. čisté UML či OntoUML) v interoperabilnim standardu XMI, podobně jako např. Enterprise Architect či Menthor Editor. To umožňuje modely indexovat a uložit do vhodné databáze pro následné vyhledávání, což je cílem tohoto tématu.
The topic is focused on analysis and implementation of searching inside conceptual models. The OpenPonk tool developed by the #CCMi research group stores models based on the UML profile (e.g. pure UML or OntoUML) in the XMI interoperable standard, similar to e.g. Enterprise Architect or Menthor Editor. This enables to index models and store them in a suitable database for subsequent searching, which is the goal of this topic.
▼
OpenPonk: vektorový grafický editor s podporou pravidel Bakalářská
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená výzkumnou skupinou #CCMi. Cílem této práce je návrh a implementace vektorového grafického editoru (ve stylu Inkscape, Visio ci LibreOffice Draw), který bude podporovat zadávání a uplatňování pravidel typu "tento čtverec by měl být uprostřed této kružnice", "tento obdélník je pod tímto", apod.
OpenPonk is an open platform for conceptual modelling developed by the #CCMi research group. The goal of this thesis is to design and implement a vector graphics editor (similar to Inkscape, Visio or LibreOffice Draw) that supports specifying and applying rules as "this square should be in the centre of this circle", "this rectangle is below this one", etc.
▼
OpenPonk: implementace myšlenkových map Diplomová
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená výzkumnou skupinou #CCMi. Cílem této práce je návrh a implementace podpory modelování myšlenkových map.
OpenPonk is an open platform for conceptual modelling developed by the #CCMi research group. The goal of this thesis is to design and implement mind map modelling.
▼
OpenPonk: Generování SQL DDL z databázového modelu Diplomová
Rezervace: 0/3
Zadavatel: Ing. Zdeněk Rybola, Ph.D.
Cílem práce je implementace generování SQL DDL skriptů z relačního databázového modelu
včetně realizace vybraných typů OCL omezení v rámci nástroje OpenPonk. Téma vychází z výzkumu skupiny
#CCMi a publikací, které budou zájemcům poskytnuty.
včetně realizace vybraných typů OCL omezení v rámci nástroje OpenPonk. Téma vychází z výzkumu skupiny
#CCMi a publikací, které budou zájemcům poskytnuty.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená v CCMi.
https://openponk.github.io/">https://openponk.github.io
https://openponk.github.io/">https://openponk.github.io
▼
Podpora standardu BPMN na platformě OpenPonk Bakalářská
Rezervace: 1/3
Zadavatel: Ing. Robert Pergl, Ph.D.
1. Seznamte se notací BPMN a jejím uplatnění v podnikovém inženýrství.
2. Seznamte se s platformou OpenPonk.
3. Navrhněte architekturu modulu pro BPMN modelování v OpenPonk.
4. Implementujte prototyp BPMN modeláře zahrnující potřebnou podmnožinu BPMN pro podnikové inženýrství.
5. Navrhněte sadu verifikačních pravidel pro BPMN modely a implementujte tyto verifikace.
6. Otestujte výsledek a proveďte vyhodnocení vaší práce z hlediska přínosů pro podnikové inženýrství.
2. Seznamte se s platformou OpenPonk.
3. Navrhněte architekturu modulu pro BPMN modelování v OpenPonk.
4. Implementujte prototyp BPMN modeláře zahrnující potřebnou podmnožinu BPMN pro podnikové inženýrství.
5. Navrhněte sadu verifikačních pravidel pro BPMN modely a implementujte tyto verifikace.
6. Otestujte výsledek a proveďte vyhodnocení vaší práce z hlediska přínosů pro podnikové inženýrství.
▼
OpenPonk: Implementace transformace z OntoUML do databázového modelu Diplomová
Rezervace: 0/3
Zadavatel: Ing. Zdeněk Rybola, Ph.D.
Cílem práce je implementace transformace z OntoUML konceptuálního modelu do UML modelu a následně
do relačního databázového modelu se zachováním veškerých omezení vycházejících
z původního OntoUML modelu. Téma vychází z výzkumu skupiny #CCMi a publikací,
které budou zájemcům poskytnuty.
do relačního databázového modelu se zachováním veškerých omezení vycházejících
z původního OntoUML modelu. Téma vychází z výzkumu skupiny #CCMi a publikací,
které budou zájemcům poskytnuty.
OpenPonk je otevřená platforma pro konceptuální modelování vyvíjená v CCMi.
https://openponk.github.io/">https://openponk.github.io
https://openponk.github.io/">https://openponk.github.io
▼
Rozvoj platformy OpenPonk Bakalářská
Rezervace: 0/4
Zadavatel: Ing. Robert Pergl, Ph.D.
#OpenPonk je klíčovým projektem výzkumné skupiny #CCMi zaměřeným na vytvoření otevřené platformy pro konceptuální modelování, simulace, vizualizace, transformace modelů a generování kódu sloužící pro výuku, vědu i praxi. Platforma je realizována v technologii #Pharo. Cílem práce je programovat další modelovací notace a algoritmy (dle zájmu) do platformy, či rozvíjet platformu samotnou (např UI).
#OpenPonk is a key project of the #CCMi research group. Its ambition is to develop an open platform for conceptual modelling, simulations, visualisations, transformation of models and code generation for education, research and practice. The platform is implemented using the #Pharo technology. The goal of the thesis is to programme modelling notations and/or algorithms on the platform, or develop the platform itself (e.g. UI). Will be specified more detailed according to the specific student's preferences.
▼
Implementace CASE nástroje pro metodiku UWE Diplomová
Rezervace: 0/1
Zadavatel: Ing. Robert Pergl, Ph.D.
- Nastudujte metodiku pro analýzu a návrh webových aplikací UWE zalozenou na #UML profilu.
- Seznamte se s platformou #OpenPonk a jazykem #Smalltalk.
- Proveďte analýzu, návrh a implementaci modelování diagramú UWE do OpenPonk.
- Navrhněte a implementujte vybrané algoritmy kontrol, transformací modelú a generování kódu.
- Řešení otestujte a demonstrujte na případové studii.
Téma přispívá do výzkumu #CCMi.
- Acquaint yourself with the UWE methodology for analysis and design of web applications
- Acquaint yourself with the OpenPonk platform.
- Perform analysis, design and implementation of UWE diagrams modelling in OpenPonk.
- Design and implement selected algorithms for models verification, transformation and code generation.
- Test the solution and demonstrate it using a case study.
The topic contributes to the #CCMi research.
▼
Implementace CASE nástroje pro metodiku UWE Bakalářská
Rezervace: 0/1
Zadavatel: Ing. Robert Pergl, Ph.D.
- Nastudujte metodiku pro analýzu a návrh webových aplikací UWE zalozenou na #UML profilu.
- Seznamte se s platformou #OpenPonk a jazykem #Smalltalk.
- Proveďte analýzu, návrh a implementaci modelování diagramú UWE do OpenPonk.
- Navrhněte a implementujte vybrané algoritmy kontrol, transformací modelú a generování kódu.
- Řešení otestujte a demonstrujte na případové studii.
Téma přispívá do výzkumu #CCMi.
- Acquaint yourself with the UWE methodology for analysis and design of web applications
- Acquaint yourself with the OpenPonk platform.
- Perform analysis, design and implementation of UWE diagrams modelling in OpenPonk.
- Design and implement selected algorithms for models verification, transformation and code generation.
- Test the solution and demonstrate it using a case study.
The topic contributes to the #CCMi research.
▼
Zlepšení uplatnitelnosti DEMO modelování na platformě OpenPonk Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
viz anglicky popis
- Acquaint yourself with the #DEMO methodology, #Smalltalk programming language, the #OpenPonk conceptual modelling platform (http://openponk.github.io/), its architecture and implementation of the DEMO diagramming.
- Design and implement import and export of diagrams in the XML format interchangeable with Formetis' DEMO Engine.
- Propose and implement a set of diagram consistency checks.
- Propose and implement improvements in the usability of the DEMO models engineering.
This topic contributes to research initiative of #CCMi and the cooperation with the #Formetis Consultants company.
- Design and implement import and export of diagrams in the XML format interchangeable with Formetis' DEMO Engine.
- Propose and implement a set of diagram consistency checks.
- Propose and implement improvements in the usability of the DEMO models engineering.
This topic contributes to research initiative of #CCMi and the cooperation with the #Formetis Consultants company.
▼
Rozvoj platformy OpenPonk Diplomová
Rezervace: 1/4
Zadavatel: Ing. Robert Pergl, Ph.D.
#OpenPonk je klíčovým projektem výzkumné skupiny #CCMi zaměřeným na vytvoření otevřené platformy pro konceptuální modelování, simulace, vizualizace, transformace modelů a generování kódu sloužící pro výuku, vědu i praxi. Platforma je realizována v technologii #Pharo. Cílem práce je programovat další modelovací notace a algoritmy (dle zájmu) do platformy, či rozvíjet platformu samotnou (např UI).
#OpenPonk is a key project of the #CCMi research group. Its ambition is to develop an open platform for conceptual modelling, simulations, visualisations, transformation of models and code generation for education, research and practice. The platform is implemented using the #Pharo technology. The goal of the thesis is to programme modelling notations and/or algorithms on the platform, or develop the platform itself (e.g. UI). Will be specified more detailed according to the specific student's preferences.
ELIXIR
Následující témata týkající se ELIXIR jsou aktuálně ve fakultním systému Závěrečné práce:
▼
Nástroje pro vytváření tripletů Diplomová
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Despite the increasing popularity of Linked Data approaches and technologies, we still face a lack of tooling support. The task of triplifying data include preparing (wrangle) data, defining a semantic schema and then applying the schema to the data to create the triples. These activities are often performed manually, through a set of ad hoc scripts or using different and non-integrated tools. An example of a data wrangling tool is OpenRefine and of a data annotation and triplification tool is Karma.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
▼
Nástroje pro vytváření tripletů Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
Despite the increasing popularity of Linked Data approaches and technologies, we still face a lack of tooling support. The task of triplifying data include preparing (wrangle) data, defining a semantic schema and then applying the schema to the data to create the triples. These activities are often performed manually, through a set of ad hoc scripts or using different and non-integrated tools. An example of a data wrangling tool is OpenRefine and of a data annotation and triplification tool is Karma.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
This assignment aims at demonstrating the benefits of an integrated solution for data triplification by integrating tools that separately support parts of the involved activity and, once combined, can more seamlessly support the whole process.
Suggested tools to be integrated: OpenRefine and Karma.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
▼
Porovnání datových anotací s mělkým a hlubokým významem (zní to v češtině divně, co?) Diplomová
Rezervace: 1/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The emergence of the FAIR data initiative brought attention to the need to provide proper semantics to digital resources in order to improve machine-based interoperability. However, in the current scenario, the majority of the so-called “ontologies” are dictionaries, vocabularies or taxonomies, providing shallow semantics not providing enough properties, relations and constraints to allow computer-based systems to infer their meaning and, therefore, present more intelligent behavior.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
▼
Porovnání datových anotací s mělkým a hlubokým významem (zní to v češtině divně, co?) Bakalářská
Rezervace: 0/2
Zadavatel: Ing. Robert Pergl, Ph.D.
The emergence of the FAIR data initiative brought attention to the need to provide proper semantics to digital resources in order to improve machine-based interoperability. However, in the current scenario, the majority of the so-called “ontologies” are dictionaries, vocabularies or taxonomies, providing shallow semantics not providing enough properties, relations and constraints to allow computer-based systems to infer their meaning and, therefore, present more intelligent behavior.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
The goal is to compare the inference possibilities of annotating (classifying) data using shallow and deep semantics. Similar datasets will be annotated using conceptual models providing both shallow (Schema.org) and deep semantics (OntoUML) and a set of reasoning-based analysis will be performed to compare their inference capabilities.
This topic is offered by the #CCMi research group in collaboration with the GO-FAIR initiative and relates to our involvement in the #ELIXIR infrastructure.
Normalized Systems
Následující témata se týkají Normalizovaných systémů a jsou vypisovaná ve spolupráci s University of Antwerp. NS jsou náplní přemětu MI-NSS, nicméně jeho absolvování není nutnou prerekvizitou. Celkový kontext a další, dosud „zrající“ nápady jsou v tomto dokumentu.
▼
Evolvabilita UI technologií Diplomová
Rezervace: 1/2
Zadavatel: Mgr. Ondřej Dvořák
Nowadays, the pace of technological progress accelerates. The companies are under a market pressure to evolve their solutions to latest technologies quickly. This is usually related to a big investment and is often difficult to achieve. One of the technologies which struggle with that phenomenon are those used to develop User Interfaces (UI). Map common Web and Desktop UI technologies in the past years, clarify their architectures and evaluate their limitations.
1. Analyze common architecture patterns in UI technologies
2. Review latest trends in so-called evolvable architectures (e.g., Normalized Systems)
3. Implement an explanatory application in few technologies of choice and demonstrate their limitation when upgrading the application from one technology to another.
4. Clarify architecture concepts which limits the the upgrade of UI efficiently
This topic is offered by #ccmi research group in cooperation with the University of Antwerp.
▼
Normalizované Systémy: Workflow Orchestration ve Pharo Diplomová
Rezervace: 0/3
Zadavatel: Ing. Robert Pergl, Ph.D.
The goal is implementing a workflow orchestrator in Pharo (using the OpenPonk platform) that would be able to run NSS flow models, while executing Smalltalk code as the tasks, or executing Prime Radiant Java tasks (if possible). One interest is to push a better way to manage such workflows on Pharo code, based on Normalized Systems Theory. The second interest could be to use it as a prototyping platform for Prime Radiant workflows. So in a sense a closer collaboration between the modeling tool and Prime Radiant with respect to the execution/orchestration of the workflows.
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp. Please read the context here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp. Please read the context here: http://bit.ly/CTU-UA-NS
▼
Aplikování teorie Normalizovaných systémů pro Business Intelligence systémy Diplomová
Rezervace: 0/4
Zadavatel: Ing. Robert Pergl, Ph.D.
The topic is focused on applying the Normalized Systems theory to the development of Business Intelligence systems.
The context and details are here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
The context and details are here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
▼
Normalizované systémy: inspekce kvality kódu Diplomová
Rezervace: 0/4
Zadavatel: Ing. Robert Pergl, Ph.D.
The topic is focused on code visualizations of the Normalized Systems using http://moosetechnology.org. The context and details are here: http://bit.ly/CTU-UA-NS
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
The topic is offerred by the #CCMi research group under the cooperation with the University of Antwerp.
Speciální okruhy
Projekty pro Pharo komunitu
Témata ve spolupráci s firmou ForMetis
Jedná se o témata týkající se metody DEMO pod vedením odborníků z firmy ForMetis. V tuto chvíli nabízíme dva okruhy témat:
- Spolupráce na vývoji DEMO Engine — téma pro zdatné programátory .NET. Úspěšné práce jsou honorovány zajímavými stipendii.
- Spolupráce na iniciativě GRC (Governance, Risk and Compliance) — jedná se o aplikování metody DEMO v této oblasti, která je velmi důležitá např. pro velké finanční instituce. Náplní je modelování regulačních předpisů (Sarbanes Oxley, BASEL 2, apod.) a frameworků pro řízení IT (ITIL, Cobit).
- Transformace DEMO modelů do dalšich notací a naopak.
Kontakt: Ing. Marek Skotnica