Vizualizace modelů vytvořených v e-PFL pomocí UML diagramů

Abstract

Hlavním výstupem diplomové práce je realizace nástroje, umožňujícího generovat UML diagramy ze systému, který je popsán ve vestavném procesně funkcionálním jazyce e-PFL. Úkolem těchto diagramů je zpřehlednit a usnadnit pochopení navrhovaného systému. Vlastní nástroj je integrován do stávajícího překladače e-PFL a generuje validní XMI struktury souborů, které mohou být dále zpracovány v CASE nástrojích do podoby konkrétních diagramů. V teoretické části jsou obecně popsány charakteristiky vestavěných systémů, možnosti jejich modelování a využití technologie UML pro tuto oblast. Součástí je také popis samotného jazyka e-PFL a standardu XMI, jakožto klíčového standardu pro výměnu objektů UML modelů a metadat informací. Praktická část se zaměřuje na návrh a realizaci vlastního nástroje a jeho integraci s nástrojem e-PFL. Jsou zde přiloženy i příklady použití a případová studie demonstrující funkčnost na konkrétní úloze v e-PFL.

The aim of this thesis is the implementation of a tool which enables the generation of UML diagrams from the system which is described in e-PFL, the embedded process-functional language. The diagrams are to provide transparency and better understanding of the suggested system. The tool itself is integrated into an existing compiler of the e-PFL. It generates valid XMI structures of files which may be further processed and formed into specific diagrams using the CASE tools. The theoretical part of the thesis describes general characteristics of the embedded systems, their possible simulation and the usage of the UML technology for this area. Furthermore, this part describes the e-PFL language itself and the XMI standard as a key standard for the interchange of the UML objects of models and metadata information by the XML. The practical part of the thesis focuses on the plan and realization of the tool and the integration of the tool with the e-PFL tool. Additionally, this part contains examples of usage and a case study in which the functionality is demonstrated on a specific problem in e-PFL.