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

Abstract

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.