Most of the specific topics are published by supervisors (see About us) in the faculty’s Theses system. There you can find areas from which it is possible to produce threads by individual arrangement – the center of gravity of the proposal / implementation, choice of programming language, etc.). Most topics can also be created variants for different fields of study. If you are interested in the topic, contact the guarantor of that (may not coincide with the future supervisor) who will be delighted to discuss the details.
General
Following CCMi topics are currently in the faculty’s Theses system:
▼
Web-Based Document Template Editor for Data Stewardship Wizard Master
Reservations: 0/2
Author: Ing. Marek Suchánek
The Data Stewardship Wizard (DSW) [1] generates documents based on the filled questionnaires and their specifications using the Jinja template language (Ginger implementation in Haskell). The aim of the thesis is to streamline work with these templates using an editor directly in the web interface, which will allow easy management, creation and editing of templates, including the suggestions and preview. The implementation will be in the form of modules in an existing open-source DSW on the backend (Haskell) as well as frontend (Elm).
- Acquaintance yourself with DSW architecture and used technologies.
- Based on the research, design a web editor of Jinja templates.
- Implement web template editor as designed as modules in frontend and backend part of DSW. When implementing, follow the conventions used in projects.
- Test and document the created editor properly.
[2]: https://ccmi.fit.cvut.cz#CCMi #ELIXIR
V nástroji Data Stewardship Wizard (DSW) [1] se na základě vyplněných dotazníků a jejich specifikace generují dokumenty s využitím šablonovacího jazyka Jinja (v Haskellu implementace Ginger). Cílem diplomové práce je zefektivnit práci s těmito šablonami pomocí editoru přímo ve webovém rozhraní, který bude umožňovat snadnou správu, vytváření a upravování šablon včetně funkce našeptávání a náhledu. Implementace bude ve formě modulů v existujícím open-source DSW na backendu (Haskell) a frontendu (Elm).
- Seznamte se s architekturou DSW a použitými technologiemi.
- Na základě rešerše navrhněte webový editor šablon jazyka Jinja.
- Implementujte webový editor šablon dle návrhu jako moduly ve frontendové i backendové části DSW. Při implementaci dodržte konvence použité v projektech.
- Vytvořený editor řádně otestujte a zdokumentujte.
[1]: https://github.com/ds-wizard
[2]: https://ccmi.fit.cvut.cz
#CCMi #ELIXIR
▼
Web-Based Document Template Editor for Data Stewardship Wizard Bachelor
Reservations: 0/2
Author: Ing. Marek Suchánek
The Data Stewardship Wizard (DSW) [1] generates documents based on the filled questionnaires and their specifications using the Jinja template language (Ginger implementation in Haskell). The aim of the thesis is to streamline work with these templates using an editor directly in the web interface, which will allow easy management, creation and editing of templates, including the suggestions and preview. The implementation will be in the form of modules in an existing open-source DSW on the backend (Haskell) as well as frontend (Elm).
- Acquaintance yourself with DSW architecture and used technologies.
- Based on the research, design a web editor of Jinja templates.
- Implement web template editor as designed as modules in frontend and backend part of DSW. When implementing, follow the conventions used in projects.
- Test and document the created editor properly.
[2]: https://ccmi.fit.cvut.cz#CCMi #ELIXIR
V nástroji Data Stewardship Wizard (DSW) [1] se na základě vyplněných dotazníků a jejich specifikace generují dokumenty s využitím šablonovacího jazyka Jinja (v Haskellu implementace Ginger). Cílem diplomové práce je zefektivnit práci s těmito šablonami pomocí editoru přímo ve webovém rozhraní, který bude umožňovat snadnou správu, vytváření a upravování šablon včetně funkce našeptávání a náhledu. Implementace bude ve formě modulů v existujícím open-source DSW na backendu (Haskell) a frontendu (Elm).
- Seznamte se s architekturou DSW a použitými technologiemi.
- Na základě rešerše navrhněte webový editor šablon jazyka Jinja.
- Implementujte webový editor šablon dle návrhu jako moduly ve frontendové i backendové části DSW. Při implementaci dodržte konvence použité v projektech.
- Vytvořený editor řádně otestujte a zdokumentujte.
[1]: https://github.com/ds-wizard
[2]: https://ccmi.fit.cvut.cz
#CCMi #ELIXIR
▼
Transformation of OntoUML Models into UML and the Relational Schema Master
Reservations: 0/2
Author: Ing. Robert Pergl, Ph.D.
In the research group Center for Conceptual Modeling and Implementation (#CCMi), we developed an original algorithm for transforming OntoUML models into UML and into the relational schema that maintains rules in models. The content of this topic is the implementation of these transformations in OpenPonk.
Specific assignment will be specified together with the student.
Specific assignment will be specified together with the student.
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#CCMi) jsme vyvinuli originální algoritmus pro transformaci OntoUML modelů do UML a relačního schématu, které zachovává pravidla v modelech. Obsahem tohoto tématu je implementace těchto transformací do nástroje OpenPonk.
Konkrétní zadání bude upřesněno se studentem.
Konkrétní zadání bude upřesněno se studentem.
▼
Transformation of OntoUML Models into UML and the Relational Schema Bachelor
Reservations: 0/2
Author: Ing. Robert Pergl, Ph.D.
In the research group Center for Conceptual Modeling and Implementation (#CCMi), we developed an original algorithm for transforming OntoUML models into UML and into the relational schema that maintains rules in models. The content of this topic is the implementation of these transformations in OpenPonk.
Specific assignment will be specified together with the student.
Specific assignment will be specified together with the student.
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#CCMi) jsme vyvinuli originální algoritmus pro transformaci OntoUML modelů do UML a relačního schématu, které zachovává pravidla v modelech. Obsahem tohoto tématu je implementace těchto transformací do nástroje OpenPonk.
Konkrétní zadání bude upřesněno se studentem.
Konkrétní zadání bude upřesněno se studentem.
▼
Open-source Visual Ontological Domain Designer Master
Reservations: 0/1
Author: Ing. Marek Skotnica
Ontological modelling plays an important role in a precise specification of domain models. However, good quality ontological models are hard to create. The models would benefit from a user-friendly visual interface such as Google Blockly which would introduce basic ontological patterns and allow to build the models like a puzzle. A goal of this thesis is to introduce a prototype of a visual designer based on Google Blockly.
Steps to take:
- Review a Unified Foundational Ontology (UFO) and Google Blockly
- Design a way of modelling UFO in Blockly.
- Create a proof of concept implementation.
#CCMi
▼
Generating Ethereum Smart Contracts from DasContract Language Master
Reservations: 0/1
Author: 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 Solidity that is hard to understand by humans and is prone to errors. Based on preliminary research, DasContract models seem to provide a better way to define smart contracts. A goal of this thesis is to propose a way how to generate Ethereum smart contracts from DasContract models.
Steps to take:
1. Explore the state-of-the-art Ethereum blockchain technology and assess its strengths and weaknesses.
2. Analyze ways to generate Ethereum smart contracts from DasContract models.
3. In .NET Core implement and test an algorithm that generates Ethereum smart contracts from DasContract models
#CCMi
▼
Generating Hyperledger Smart Contracts from DasContract Language Master
Reservations: 0/1
Author: 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 that is hard to understand by humans and is prone to errors. Based on preliminary research, DasContract 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 smart contracts from DasContract models.
Steps to take:
1. Explore the state-of-the-art Hyperledger blockchain technology and assess its strengths and weaknesses.
2. Analyze ways to generate Hyperledger smart contracts from DasContract models.
3. In .NET Core implement and test an algorithm that generates Hyperledger smart contracts from DasContract models.
#CCMi
▼
OpenPonk: a Vector Graphics Editor Supporting Rules Master
Reservations: 0/2
Author: Ing. Robert Pergl, Ph.D.
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 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.
▼
Evolvability of UI technologies Master
Reservations: 1/2
Author: 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.
▼
Development of a remote client management tool Bachelor
Reservations: 0/3
Author: Ing. Jan Blizničenko
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.
Ú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
▼
Using OpenPonk to Support Conceptual Modelling Research in Enterprise Engineering Master
Reservations: 1/2
Author: 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.
▼
Using OpenPonk to Support Conceptual Modelling Research in Enterprise Engineering Bachelor
Reservations: 0/2
Author: 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.
▼
Searching inside Conceptual Models Master
Reservations: 0/3
Author: Ing. Robert Pergl, Ph.D.
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.
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.
▼
Searching inside Conceptual Models Bachelor
Reservations: 0/3
Author: Ing. Robert Pergl, Ph.D.
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.
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.
▼
OpenPonk: a Vector Graphics Editor Supporting Rules Bachelor
Reservations: 1/2
Author: Ing. Robert Pergl, Ph.D.
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 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: Generating SQL DDL from a relational database model Master
Reservations: 0/3
Author: 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: Implementation of transformation of OntoUML models into database models Master
Reservations: 0/3
Author: 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
▼
OpenPonk Plaform Development Bachelor
Reservations: 0/4
Author: Ing. Robert Pergl, Ph.D.
#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.
#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).
▼
CASE Tool Implementation for the UWE Methodology Master
Reservations: 0/1
Author: Ing. Robert Pergl, Ph.D.
- 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.
- 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.
▼
CASE Tool Implementation for the UWE Methodology Bachelor
Reservations: 0/1
Author: Ing. Robert Pergl, Ph.D.
- 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.
- 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.
▼
Improving Applicability of DEMO Modelling in OpenPonk Platform Master
Reservations: 1/2
Author: Ing. Robert Pergl, Ph.D.
- 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.
viz anglicky popis
▼
Javascript Debugging Support for Complex Data Types Master
Reservations: 0/2
Author: Ing. Robert Pergl, Ph.D.
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.
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.
▼
Haskell Debugging Support for Complex Data Types Master
Reservations: 1/2
Author: Ing. Robert Pergl, Ph.D.
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.
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.
▼
OpenPonk Plaform Development Master
Reservations: 1/4
Author: Ing. Robert Pergl, Ph.D.
#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.
#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
Topics related to OpenPonk platform development.
▼
Transformation of OntoUML Models into UML and the Relational Schema Master
Reservations: 0/2
Author: Ing. Robert Pergl, Ph.D.
In the research group Center for Conceptual Modeling and Implementation (#CCMi), we developed an original algorithm for transforming OntoUML models into UML and into the relational schema that maintains rules in models. The content of this topic is the implementation of these transformations in OpenPonk.
Specific assignment will be specified together with the student.
Specific assignment will be specified together with the student.
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#CCMi) jsme vyvinuli originální algoritmus pro transformaci OntoUML modelů do UML a relačního schématu, které zachovává pravidla v modelech. Obsahem tohoto tématu je implementace těchto transformací do nástroje OpenPonk.
Konkrétní zadání bude upřesněno se studentem.
Konkrétní zadání bude upřesněno se studentem.
▼
Transformation of OntoUML Models into UML and the Relational Schema Bachelor
Reservations: 0/2
Author: Ing. Robert Pergl, Ph.D.
In the research group Center for Conceptual Modeling and Implementation (#CCMi), we developed an original algorithm for transforming OntoUML models into UML and into the relational schema that maintains rules in models. The content of this topic is the implementation of these transformations in OpenPonk.
Specific assignment will be specified together with the student.
Specific assignment will be specified together with the student.
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#CCMi) jsme vyvinuli originální algoritmus pro transformaci OntoUML modelů do UML a relačního schématu, které zachovává pravidla v modelech. Obsahem tohoto tématu je implementace těchto transformací do nástroje OpenPonk.
Konkrétní zadání bude upřesněno se studentem.
Konkrétní zadání bude upřesněno se studentem.
▼
OpenPonk: a Vector Graphics Editor Supporting Rules Master
Reservations: 0/2
Author: Ing. Robert Pergl, Ph.D.
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 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.
▼
Using OpenPonk to Support Conceptual Modelling Research in Enterprise Engineering Master
Reservations: 1/2
Author: 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.
▼
Using OpenPonk to Support Conceptual Modelling Research in Enterprise Engineering Bachelor
Reservations: 0/2
Author: 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.
▼
Searching inside Conceptual Models Master
Reservations: 0/3
Author: Ing. Robert Pergl, Ph.D.
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.
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.
▼
Searching inside Conceptual Models Bachelor
Reservations: 0/3
Author: Ing. Robert Pergl, Ph.D.
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.
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.
▼
OpenPonk: a Vector Graphics Editor Supporting Rules Bachelor
Reservations: 1/2
Author: Ing. Robert Pergl, Ph.D.
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 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: Generating SQL DDL from a relational database model Master
Reservations: 0/3
Author: 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
▼
Support of the BPMN Standard on the OpenPonk Platform Bachelor
Reservations: 1/3
Author: 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: Implementation of transformation of OntoUML models into database models Master
Reservations: 0/3
Author: 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
▼
OpenPonk Plaform Development Bachelor
Reservations: 0/4
Author: Ing. Robert Pergl, Ph.D.
#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.
#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).
▼
CASE Tool Implementation for the UWE Methodology Master
Reservations: 0/1
Author: Ing. Robert Pergl, Ph.D.
- 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.
- 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.
▼
CASE Tool Implementation for the UWE Methodology Bachelor
Reservations: 0/1
Author: Ing. Robert Pergl, Ph.D.
- 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.
- 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.
▼
Improving Applicability of DEMO Modelling in OpenPonk Platform Master
Reservations: 1/2
Author: Ing. Robert Pergl, Ph.D.
- 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.
viz anglicky popis
▼
OpenPonk Plaform Development Master
Reservations: 1/4
Author: Ing. Robert Pergl, Ph.D.
#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.
#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).
ELIXIR
Following topics related with ELIXIR are currently in the faculty’s Theses system:
▼
Web-Based Document Template Editor for Data Stewardship Wizard Master
Reservations: 0/2
Author: Ing. Marek Suchánek
The Data Stewardship Wizard (DSW) [1] generates documents based on the filled questionnaires and their specifications using the Jinja template language (Ginger implementation in Haskell). The aim of the thesis is to streamline work with these templates using an editor directly in the web interface, which will allow easy management, creation and editing of templates, including the suggestions and preview. The implementation will be in the form of modules in an existing open-source DSW on the backend (Haskell) as well as frontend (Elm).
- Acquaintance yourself with DSW architecture and used technologies.
- Based on the research, design a web editor of Jinja templates.
- Implement web template editor as designed as modules in frontend and backend part of DSW. When implementing, follow the conventions used in projects.
- Test and document the created editor properly.
[2]: https://ccmi.fit.cvut.cz#CCMi #ELIXIR
V nástroji Data Stewardship Wizard (DSW) [1] se na základě vyplněných dotazníků a jejich specifikace generují dokumenty s využitím šablonovacího jazyka Jinja (v Haskellu implementace Ginger). Cílem diplomové práce je zefektivnit práci s těmito šablonami pomocí editoru přímo ve webovém rozhraní, který bude umožňovat snadnou správu, vytváření a upravování šablon včetně funkce našeptávání a náhledu. Implementace bude ve formě modulů v existujícím open-source DSW na backendu (Haskell) a frontendu (Elm).
- Seznamte se s architekturou DSW a použitými technologiemi.
- Na základě rešerše navrhněte webový editor šablon jazyka Jinja.
- Implementujte webový editor šablon dle návrhu jako moduly ve frontendové i backendové části DSW. Při implementaci dodržte konvence použité v projektech.
- Vytvořený editor řádně otestujte a zdokumentujte.
[1]: https://github.com/ds-wizard
[2]: https://ccmi.fit.cvut.cz
#CCMi #ELIXIR
▼
Web-Based Document Template Editor for Data Stewardship Wizard Bachelor
Reservations: 0/2
Author: Ing. Marek Suchánek
The Data Stewardship Wizard (DSW) [1] generates documents based on the filled questionnaires and their specifications using the Jinja template language (Ginger implementation in Haskell). The aim of the thesis is to streamline work with these templates using an editor directly in the web interface, which will allow easy management, creation and editing of templates, including the suggestions and preview. The implementation will be in the form of modules in an existing open-source DSW on the backend (Haskell) as well as frontend (Elm).
- Acquaintance yourself with DSW architecture and used technologies.
- Based on the research, design a web editor of Jinja templates.
- Implement web template editor as designed as modules in frontend and backend part of DSW. When implementing, follow the conventions used in projects.
- Test and document the created editor properly.
[2]: https://ccmi.fit.cvut.cz#CCMi #ELIXIR
V nástroji Data Stewardship Wizard (DSW) [1] se na základě vyplněných dotazníků a jejich specifikace generují dokumenty s využitím šablonovacího jazyka Jinja (v Haskellu implementace Ginger). Cílem diplomové práce je zefektivnit práci s těmito šablonami pomocí editoru přímo ve webovém rozhraní, který bude umožňovat snadnou správu, vytváření a upravování šablon včetně funkce našeptávání a náhledu. Implementace bude ve formě modulů v existujícím open-source DSW na backendu (Haskell) a frontendu (Elm).
- Seznamte se s architekturou DSW a použitými technologiemi.
- Na základě rešerše navrhněte webový editor šablon jazyka Jinja.
- Implementujte webový editor šablon dle návrhu jako moduly ve frontendové i backendové části DSW. Při implementaci dodržte konvence použité v projektech.
- Vytvořený editor řádně otestujte a zdokumentujte.
[1]: https://github.com/ds-wizard
[2]: https://ccmi.fit.cvut.cz
#CCMi #ELIXIR
Normalized Systems
The following topics are related to Normalized Systems and they are offered in cooperation with the University of Antwerp. NS are lectured in MI-NSS, however this subject is not a prerequisity. The whole context and other topics may be found in this document.
▼
Evolvability of UI technologies Master
Reservations: 1/2
Author: 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.
For more information, contanct perglr nebo suchama4 via faculty email @fit.cvut.cz
Special topics
Apart from previous, we offer these special areas for theses topics (contact given person):
OpenPonk platform development
OpenPonk (formerly DynaCASE) is an open-source platform for conceptual modelling, diagramming and implementations. See here.
Topics in cooperation with ForMetis
These topics are related with DEMO methodology led by experts from the company ForMetis. At the moment we offer two subject areas:
- Cooperation on the development of DEMO Engine – a topic for experienced .NET programmers. Successful work is honored interesting scholarships.
- Cooperation on the initiative GRC (Governance, Risk and Compliance) – This is the application of methods DEMO in this area, which is very important eg. For large financial institutions. The scope is the modeling of regulations (Sarbanes Oxley, BASEL 2, etc.) and frameworks for IT management (ITIL, Cobit).
Contact: Ing. Robert Pergl, Ph.D.