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.
▼
Využití Data Stewardship Wizard pro tvorbu právních dokumentů Bakalářská
Rezervace: 0/1
Data Stewardship Wizard (DSW) je nástroj pro tvorbu tzv. Data Management Plánů pro vědecké projekty. Hlavní myšlenka spočívá v tom, že uživatelé místo psaní dlouhých textů vyplňují srozumitelné otázky ve formě strukturovaného dotazníku. Z odpovědí se generují výsledné dokumenty. Díky své flexibilitě je možné DSW využívat i v jiných doménách, což už se částečně děje.
Doména právních dokumentů čelí podobné problematice. Různé smlouvy jsou často stejné, liší se pouze některé detaily (např. smluvní strany), některé části jsou zobrazné na základě daných podmínek. Zajímavé by bylo vyzkoušet, zda je možné efektivně využít DSW i pro generování právních dokumentů.
Instrukce
- Seznamte se s DSW na uživatelské a administrátorské úrovni
- Proveďte rešerši existujících řešení pro generování dokumentů
- Analyzujte požadavky pro software na generování právních dokumentů
- Vytvořte konfiguraci DSW a ukázkové šablony
- Výsledné řešení otestujte a zhodnoťte zda je využití DSW k tomuto účelu vhodné
Data Stewardship Wizard (DSW) is a tool for building Data Management Plans for scientific projects. Instead of writing long text documents, users fill in simple questions in a structured questionnaire. The documents are generated form the answers. Thanks to the flexibility DSW is expanding to other domains.
Legal documents face similar issues. Various contracts are often the same, only some details are different (such as contracting parties), or some parts are visible based on conditions. It would be interesting to explore if DSW can be used for generating legal documents effectively.
Instructions
- Acquaint yourself with DSW on the user and administrator level
- Review existing solution for document generation
- Analyse requirements for software for generating legal documents
- Configure DSW and create sample templates
- Test your solution and evaluate the usability of DSW for this purpose
This topic is offered by the #CCMi research group.
▼
Simulace BORM diagramů v OpenPonk Diplomová
Rezervace: 0/3
BORM [1] je metoda pro modelování procesů, která se vyznačuje jednoduchou notací vhodnou pro modelování business procesů. OpenPonk [3] je platforma pro konceptuální modelování vyvjíjená ve výzkumné skupině #
CCMi (
https://ccmi.fit.cvut.cz). BORM vyučujeme ve volitelném předmětu BI-ZPI a k modelování používáme OpenPonk (OP).
Cílem této práce je implementace simulace BORM diagramů, podobně jako je v OP implementována simulace konečných automatů a Petriho sítí.
Podle úrovně (BP/DP), oboru a preferencí studenta společně přizpůsobíme konkrétní zadání. Pro obor Teoretická informatika je např. možno věnovat se více sémantice samotné simulace a vhodným teoretickým rozšířením metody BORM (viz články [2], na požádání budou poskytnuty).
BORM [1] is a method for process modeling, which is characterized by a simple notation suitable for modelling business processes. OpenPonk [3] is a platform for conceptual modeling developed in the research group #
CCMi (
https://ccmi.fit.cvut.cz). We teach BORM in the optional subject BI-ZPI and use OpenPonk (OP) for modelling.
The aim of this work is to implement the simulation of BORM diagrams, similarly to the simulation of finite state machines and Petri nets is implemented in OP.
According to the level (Bachelor / Master), study branch and preferences of the student, we will jointly formulate a specific assignment. For the branch of Theoretical Informatics, for example, it is possible to focus more on the semantics of the simulation itself and the appropriate theoretical extensions of the BORM method (see articles [2], will be provided on request).
▼
Simulace BORM diagramů v OpenPonk Bakalářská
Rezervace: 0/3
BORM [1] je metoda pro modelování procesů, která se vyznačuje jednoduchou notací vhodnou pro modelování business procesů. OpenPonk [3] je platforma pro konceptuální modelování vyvjíjená ve výzkumné skupině #
CCMi (
https://ccmi.fit.cvut.cz). BORM vyučujeme ve volitelném předmětu BI-ZPI a k modelování používáme OpenPonk (OP).
Cílem této práce je implementace simulace BORM diagramů, podobně jako je v OP implementována simulace konečných automatů a Petriho sítí.
Podle úrovně (BP/DP), oboru a preferencí studenta společně přizpůsobíme konkrétní zadání. Pro obor Teoretická informatika je např. možno věnovat se více sémantice samotné simulace a vhodným teoretickým rozšířením metody BORM (viz články [2], na požádání budou poskytnuty).
BORM [1] is a method for process modeling, which is characterized by a simple notation suitable for modelling business processes. OpenPonk [3] is a platform for conceptual modeling developed in the research group #
CCMi (
https://ccmi.fit.cvut.cz). We teach BORM in the optional subject BI-ZPI and use OpenPonk (OP) for modelling.
The aim of this work is to implement the simulation of BORM diagrams, similarly to the simulation of finite state machines and Petri nets is implemented in OP.
According to the level (Bachelor / Master), study branch and preferences of the student, we will jointly formulate a specific assignment. For the branch of Theoretical Informatics, for example, it is possible to focus more on the semantics of the simulation itself and the appropriate theoretical extensions of the BORM method (see articles [2], will be provided on request).
▼
Transformace OntoUML modelů do UML a relačního datového schématu Diplomová
Rezervace: 0/2
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#
CCMi) jsme vyvinuli originální algoritmus pro transformaci Onto
UML 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.
In the research group Center for Conceptual Modeling and Implementation (#
CCMi), we developed an original algorithm for transforming Onto
UML 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.
▼
Transformace OntoUML modelů do UML a relačního datového schématu Bakalářská
Rezervace: 0/2
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#
CCMi) jsme vyvinuli originální algoritmus pro transformaci Onto
UML 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.
In the research group Center for Conceptual Modeling and Implementation (#
CCMi), we developed an original algorithm for transforming Onto
UML 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.
▼
Open-source prostředí pro návrh ontologických modelů Diplomová
Rezervace: 0/1
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.
▼
Generování blockchain smart kontraktů technologie Hyperledger z modelů DasContract Diplomová
Rezervace: 0/1
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.
▼
OpenPonk: vektorový grafický editor s podporou pravidel Diplomová
Rezervace: 0/2
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.
▼
Vývoj nástroje pro vzdálenou správu klientů Bakalářská
Rezervace: 0/3
Ú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
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.
Goal is to remove DC and to release the client management in HRworks in
Pharo.
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.
▼
Generování blockchain kontraktů v jazyce Plutus z modelů Das Contract Diplomová
Rezervace: 0/2
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. A goal of this thesis is to propose a way how to generate Plutus smart contracts from Das Contract 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 Das Contract models.
Create an open-source algorithm that generates smart contracts from Das Contractmodels. 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
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.
▼
Využití OpenPonk pro výzkum konceptuálního modelování v inženýrství podniků Bakalářská
Rezervace: 0/2
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.
▼
Vyhledávání v konceptuálních modelech Diplomová
Rezervace: 1/3
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 Onto
UML) 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 Onto
UML) 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: 1/3
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 Onto
UML) 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 Onto
UML) 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
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: Generování SQL DDL z databázového modelu Diplomová
Rezervace: 0/3
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.
▼
OpenPonk: Implementace transformace z OntoUML do databázového modelu Diplomová
Rezervace: 0/3
Cílem práce je implementace transformace z Onto
UML 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 Onto
UML modelu. Téma vychází z výzkumu skupiny #
CCMi a publikací,
které budou zájemcům poskytnuty.
▼
Rozvoj platformy OpenPonk Bakalářská
Rezervace: 0/4
#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
- 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.
▼
Rozvoj platformy OpenPonk Diplomová
Rezervace: 1/4
#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.
OpenPonk
Témata zaměřená na rozvoj platformy OpenPonk.
▼
Simulace BORM diagramů v OpenPonk Diplomová
Rezervace: 0/3
BORM [1] je metoda pro modelování procesů, která se vyznačuje jednoduchou notací vhodnou pro modelování business procesů. OpenPonk [3] je platforma pro konceptuální modelování vyvjíjená ve výzkumné skupině #
CCMi (
https://ccmi.fit.cvut.cz). BORM vyučujeme ve volitelném předmětu BI-ZPI a k modelování používáme OpenPonk (OP).
Cílem této práce je implementace simulace BORM diagramů, podobně jako je v OP implementována simulace konečných automatů a Petriho sítí.
Podle úrovně (BP/DP), oboru a preferencí studenta společně přizpůsobíme konkrétní zadání. Pro obor Teoretická informatika je např. možno věnovat se více sémantice samotné simulace a vhodným teoretickým rozšířením metody BORM (viz články [2], na požádání budou poskytnuty).
BORM [1] is a method for process modeling, which is characterized by a simple notation suitable for modelling business processes. OpenPonk [3] is a platform for conceptual modeling developed in the research group #
CCMi (
https://ccmi.fit.cvut.cz). We teach BORM in the optional subject BI-ZPI and use OpenPonk (OP) for modelling.
The aim of this work is to implement the simulation of BORM diagrams, similarly to the simulation of finite state machines and Petri nets is implemented in OP.
According to the level (Bachelor / Master), study branch and preferences of the student, we will jointly formulate a specific assignment. For the branch of Theoretical Informatics, for example, it is possible to focus more on the semantics of the simulation itself and the appropriate theoretical extensions of the BORM method (see articles [2], will be provided on request).
▼
Simulace BORM diagramů v OpenPonk Bakalářská
Rezervace: 0/3
BORM [1] je metoda pro modelování procesů, která se vyznačuje jednoduchou notací vhodnou pro modelování business procesů. OpenPonk [3] je platforma pro konceptuální modelování vyvjíjená ve výzkumné skupině #
CCMi (
https://ccmi.fit.cvut.cz). BORM vyučujeme ve volitelném předmětu BI-ZPI a k modelování používáme OpenPonk (OP).
Cílem této práce je implementace simulace BORM diagramů, podobně jako je v OP implementována simulace konečných automatů a Petriho sítí.
Podle úrovně (BP/DP), oboru a preferencí studenta společně přizpůsobíme konkrétní zadání. Pro obor Teoretická informatika je např. možno věnovat se více sémantice samotné simulace a vhodným teoretickým rozšířením metody BORM (viz články [2], na požádání budou poskytnuty).
BORM [1] is a method for process modeling, which is characterized by a simple notation suitable for modelling business processes. OpenPonk [3] is a platform for conceptual modeling developed in the research group #
CCMi (
https://ccmi.fit.cvut.cz). We teach BORM in the optional subject BI-ZPI and use OpenPonk (OP) for modelling.
The aim of this work is to implement the simulation of BORM diagrams, similarly to the simulation of finite state machines and Petri nets is implemented in OP.
According to the level (Bachelor / Master), study branch and preferences of the student, we will jointly formulate a specific assignment. For the branch of Theoretical Informatics, for example, it is possible to focus more on the semantics of the simulation itself and the appropriate theoretical extensions of the BORM method (see articles [2], will be provided on request).
▼
Transformace OntoUML modelů do UML a relačního datového schématu Diplomová
Rezervace: 0/2
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#
CCMi) jsme vyvinuli originální algoritmus pro transformaci Onto
UML 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.
In the research group Center for Conceptual Modeling and Implementation (#
CCMi), we developed an original algorithm for transforming Onto
UML 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.
▼
Transformace OntoUML modelů do UML a relačního datového schématu Bakalářská
Rezervace: 0/2
Ve výzkumné skupině Centrum pro konceptuální modelování a implementace (#
CCMi) jsme vyvinuli originální algoritmus pro transformaci Onto
UML 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.
In the research group Center for Conceptual Modeling and Implementation (#
CCMi), we developed an original algorithm for transforming Onto
UML 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.
▼
OpenPonk: vektorový grafický editor s podporou pravidel Diplomová
Rezervace: 0/2
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.
▼
Využití OpenPonk pro výzkum konceptuálního modelování v inženýrství podniků Diplomová
Rezervace: 1/2
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.
▼
Využití OpenPonk pro výzkum konceptuálního modelování v inženýrství podniků Bakalářská
Rezervace: 0/2
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.
▼
Vyhledávání v konceptuálních modelech Diplomová
Rezervace: 1/3
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 Onto
UML) 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 Onto
UML) 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: 1/3
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 Onto
UML) 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 Onto
UML) 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
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: Generování SQL DDL z databázového modelu Diplomová
Rezervace: 0/3
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.
▼
Podpora standardu BPMN na platformě OpenPonk Bakalářská
Rezervace: 2/3
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í.
▼
OpenPonk: Implementace transformace z OntoUML do databázového modelu Diplomová
Rezervace: 0/3
Cílem práce je implementace transformace z Onto
UML 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 Onto
UML modelu. Téma vychází z výzkumu skupiny #
CCMi a publikací,
které budou zájemcům poskytnuty.
▼
Rozvoj platformy OpenPonk Bakalářská
Rezervace: 0/4
#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
- 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.
▼
Rozvoj platformy OpenPonk Diplomová
Rezervace: 1/4
#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:
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.
▼
Reverzní inženýrství rozšířených open-source systémů Bakalářská
Rezervace: 1/3
Toto rámcové téma bude dále upřesněno po domluvě se studentem. Základním cílem práce je aplikovat metody reverzního inženýrství na vybraný open-source projekt, který je rozšířený a rozsahově netriviální (například: Odoo, Wordpress, Joomla, Moodle, nebo Redmine). Reverzní inženýrství bude aplikováno v rámci některých z následujících scénářů:
(a) vytvoření konceptuálního modelu dle databázového schématu po vyčištění od implementačních záležitostí
(b) analýza unikátní (neopakující se) aplikační logiky v rámci systému
(c) uplatnění návrhových vzorů a porušení DRY principů
(d) případně jiný scénář na základě domluvy a zkušeností studenta
Ve všech případech bude práce obsahovat zhodnocení open-source systému z pohledu provedené práce a komentář ohledně možných zlepšení. Toto téma je vytvořeno ve spolupráci s NSX (Normalized Systems).
This thesis topic will be further clarified after consultation with the student. The basic aim of the thesis is to apply reverse engineering methods to a selected open-source project that is widespread and non-trivial in scope (for example, Odoo, Wordpress, Joomla, Moodle, or Redmine). Reverse engineering will be applied in some of the following scenarios:
(a) creating a conceptual model according to the database schema after cleansing the implementation issues
(b) analyzing unique (non-repetitive) application logic within the system
(c) applying design patterns and violating DRY principles
(d) potentially other based on the student's ideas and expertise
In all cases, the work will include an evaluation of the open-source system in terms of the work performed and comment on possible improvements. This topic is created in collaboration with NSX (Normalized Systems).
▼
Reverzní inženýrství rozšířených open-source systémů Diplomová
Rezervace: 0/3
Toto rámcové téma bude dále upřesněno po domluvě se studentem. Základním cílem práce je aplikovat metody reverzního inženýrství na vybraný open-source projekt, který je rozšířený a rozsahově netriviální (například: Odoo, Wordpress, Joomla, Moodle, nebo Redmine). Reverzní inženýrství bude aplikováno v rámci některých z následujících scénářů:
(a) vytvoření konceptuálního modelu dle databázového schématu po vyčištění od implementačních záležitostí
(b) analýza unikátní (neopakující se) aplikační logiky v rámci systému
(c) uplatnění návrhových vzorů a porušení DRY principů
(d) případně jiný scénář na základě domluvy a zkušeností studenta
Ve všech případech bude práce obsahovat zhodnocení open-source systému z pohledu provedené práce a komentář ohledně možných zlepšení. Toto téma je vytvořeno ve spolupráci s NSX (Normalized Systems).
This thesis topic will be further clarified after consultation with the student. The basic aim of the thesis is to apply reverse engineering methods to a selected open-source project that is widespread and non-trivial in scope (for example, Odoo, Wordpress, Joomla, Moodle, or Redmine). Reverse engineering will be applied in some of the following scenarios:
(a) creating a conceptual model according to the database schema after cleansing the implementation issues
(b) analyzing unique (non-repetitive) application logic within the system
(c) applying design patterns and violating DRY principles
(d) potentially other based on the student's ideas and expertise
In all cases, the work will include an evaluation of the open-source system in terms of the work performed and comment on possible improvements. This topic is created in collaboration with NSX (Normalized Systems).
▼
Normalized Systems Expanders pro vybrané technologie Bakalářská
Rezervace: 0/3
Normalized Systems Theory (NST) explains how modularity of a system should be designed in order to establish evolvability, to accommodate change and therefore to enable innovation. In practice, this theory is applied to expand enterprise information systems using code templates and with models and configurations as input. Currently, NSX develops expanders for enterprise web applications with Java and JavaScript technology stack. The task of this topic is to become acquainted with NST, NS Expanders, Prime Radiant and NS Modeler, and to design and develop expanders for different technology stack and/or different types of applications. For example, it can be used for REST APIs in Ruby, GUI-based application in Python or mobile application connecting to API. This decisions will be made based of the discussion and preferences/expertise of the student.
This topic is done in collaboration with NSX and University of Antwerp. MI-NSS course is not required but highly recommended.
▼
Systém pro analýzy modelů normalizovaných systémů Diplomová
Rezervace: 0/3
Normalized Systems apply concepts to eliminate combinatorial effects in software. Basically, information systems are being generated (more precisely expanded) from models and configuration. The goal of this thesis is to explore NS models and applications, design analysis of models as input data and create a system for that analysis. First, the analysis should be for change of a single application over time. It should be able to analyse similarities across different applications. Finally, it should be also able to analyse correlations in different applications over time. The results of all the analysis should be provided with appropriate visualizations. It is essential that the system for analysis is also a normalized system so it will be relevant also for the future NS applications and models.
This topic is done in collaboration with NSX and University of Antwerp. MI-NSS course is not required but highly recommended.
▼
Normalizovaný systém pro podporu PhD studia Diplomová
Rezervace: 0/1
At the Faculty of Information Technology, CTU in Prague, various administrative tasks are required for PhD students, e.g., various types of apply forms for certain events, semester reports, lists of publications, etc. Many of the documents have certain flows of approvals or validations, and require to copy data from existing systems such as KOS or V3S. Normalized Systems Theory (NST) explains how modularity of a system should be designed in order to establish evolvability, to accommodate change and therefore to enable innovation. In practice, this theory is applied to expand enterprise information systems using code templates and with models and configurations as input. The goal of this thesis is to use NST and related tools such as NS Modeler, Prime Radiant, and NS Expanders to design and generate the information system that will support PhD study at
FIT CTU.
This topic is done in collaboration with NSX and University of Antwerp. MI-NSS course is not required but highly recommended.
▼
UML modely expandované z normalizovaných systémů Diplomová
Rezervace: 0/1
Normalized Systems Theory (NST) explains how modularity of a system should be designed in order to establish evolvability, to accommodate change and therefore to enable innovation. In practice, this theory is applied to expand enterprise information systems using code templates and with models and configurations as input. The goal of this thesis is to expand to
UML models in standard XMI format. More concretely, it should generate
UML class model with adequate state machine models based on data, task, and flow NS Elements.
This topic is done in collaboration with NSX and University of Antwerp. MI-NSS course is not required but highly recommended.
▼
Expandování dokumentace normalizovaných systémů Diplomová
Rezervace: 0/2
Normalized Systems Theory (NST) explains how modularity of a system should be designed in order to establish evolvability, to accommodate change and therefore to enable innovation. In practice, this theory is applied to expand enterprise information systems using code templates and with models and configurations as input. The task of this topic is to become acquainted with NST, NS Expanders, Prime Radiant and NS Modeler, and to design and develop expanders for documentation of a system. The generated documentation must capture all NS elements, their fields, options, and other essential parts. The output and logic should be similar to Sphinx documentation system.
This topic is done in collaboration with NSX and University of Antwerp. MI-NSS course is not required but highly recommended.
▼
Normalized Systems Expanders pro vybrané technologie Diplomová
Rezervace: 0/5
Normalized Systems Theory (NST) explains how modularity of a system should be designed in order to establish evolvability, to accommodate change and therefore to enable innovation. In practice, this theory is applied to expand enterprise information systems using code templates and with models and configurations as input. Currently, NSX develops expanders for enterprise web applications with Java and JavaScript technology stack. The task of this topic is to become acquainted with NST, NS Expanders, Prime Radiant and NS Modeler, and to design and develop expanders for different technology stack and/or different types of applications. For example, it can be used for REST APIs in Ruby, GUI-based application in Python or mobile application connecting to API. This decisions will be made based of the discussion and preferences/expertise of the student.
This topic is done in collaboration with NSX and University of Antwerp. MI-NSS course is not required but highly recommended.
Speciální okruhy
Projekty pro Pharo komunitu
http://gsoc.pharo.org/
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