Vývoj nástroje pro konceptuální modelování Normalizovaných systémů

Abstract

Tato práce se zaměřuje na tvorbu modelovacího a diagramovacího nástroje v platformě OpenPonk pro potřeby Normalizovaných Systémů a meta-systému Prime Radiant. Stručně je představena teorie Normalizovaných Systémů, platformy OpenPonk a dalších nástrojů použitých při tvorbě modeláře. Pro potřebu integrace mezi systémem Prime Radiant a implementovaným modelářem jsou analyzovány soubory XML obsahující deskripce Normalizovaných Systémů. Z analýzy je následně zkonstruován vhodný metamodel. Jak proces analýzy, tak i výstupný metamodel je detailně rozebrán. Současná notace používaná pro Normalizované Systémy je obohacena, a mimo jiné čerpá z myšlenek notací jako je diagram databází, UML diagramy tříd či stavových strojů. Jsou probrány různé možnosti, návrhy a přístupy k diagramové tvorbě modelů Normalizovaných Systémů. Dále je představena série validačních pravidel pro modely Normalizovaných Systémů. Téma samotného popisu takových pravidel je probrána, stejně jako i aktuální způsob implementace. Neboť tato práce popisuje softwarový projekt, je modelář zanalyzován a zhodnocen z hlediska testování a testovatelnosti, stejně jako i dlouhodobé údřzby. Na závěr jsou shrunty přínosy této a práce a je navřžena série kroků vhodných k budoucímu prozkoumání.

This thesis explores the topic of providing modeling and diagramming support for Normalized Systems constructed in the Prime Radiant tool using the OpenPonk modeling platform. The current state of the art of defining NS systems is summarized. The Normalized Systems theory, Prime Radiant, OpenPonk, and other framework used in the making of the modeler are introduced. The thesis then continues by analyzing the artifacts produced by the Prime Radiant that hold the definitions of NS systems. These artifacts are reverse engineered and a metamodel is constructed; both the process, and the result is discussed. Inspired by existing notations, such as Entity-Relationship diagrams, UML class diagrams, State Machine diagrams, and Flow diagrams, the existing NS diagramming notation is extended. It discusses various aspects not just of the notation itself, but also of the process of diagramming as a natural way to create the models. Several possibilities of forthcoming exploration are introduced. Modeling rules and validations are introduced and explored as a way to guide a user through possible pitfalls, and to raise the quality of the defined models. The implemented rules, the current state, and an approach relevent from mid- and long-term perspective is explored and discussed at length. As the main artifact of this thesis is a software project, testing, error tracking, and operations utilized in construction of the modeler are described. Finally, the achievements of this project are evaluated, and the path forward summarized.