Support for informal meta-modeling

Abstract

Softwaroví architekti a inženýři často spoléhají na neformální diagramy v raných fázích návrhu systému. Tento přístup sice nabízí flexibilitu a jednoduchost, ale je omezen nedo- statkem sémantiky, což znemožňuje využití těchto diagramů v pozdějších fázích vývoje. Tato práce tento problém řeší vývojem nástrojů, které uživatelům umožní vytvářet ne- formální metamodely a plynule je transformovat do formálních, strukturovaných modelů vhodných pro analýzu a automatizaci. Neformální modelování je podpořeno nástrojem pro kreslení UML diagramů UMLet, zatímco formální reprezentace modelu je zajištěna pomocí Eclipse Modeling Framework. Pro podporu tohoto pracovního postupu byla vyvi- nuta samostatná aplikace a pluginy pro IntelliJ IDEA a Apache Maven, které uživatelům umožňují skicovat neformální diagramy a transformovat je do formálních modelů pomocí jednotného nástroje. Tato práce nabízí řešení mezery v neformálním modelově řízeném vývoji a poskytuje praktickou nástrojovou podporu pro přechod od neformálního ke for- málnímu modelování.

Software architects and engineers often rely on informal diagrams during the early stages of system design. While this approach offers flexibility and ease of use, it is hin- dered by the lack of semantics, which limits the use of such diagrams in later stages of development. This thesis approaches this by developing tools that enable users to cre- ate informal metamodels and seamlessly transform them into formal, structured models suitable for analysis and automation. Informal modeling is supported through a UML diagram sketching tool called UMLet, while formal model representation is provided by the Eclipse Modeling Framework. To support this workflow, a standalone application and plugins for IntelliJ IDEA and Apache Maven were developed, allowing users to sketch informal diagrams and transform them into formal models using a unified toolchain. This thesis offers a solution to the gap in informal model-driven development, offering practical tooling support for transitioning from informal to formal modeling.