Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2019, November 26
Time: 11:00
Author: Daupayew, Nursultan
Title: Multi-view Consistency of Energy System UML Models

Abstract:

UML is an industry-standard modeling language and is used for modelling systems to represent the different phases of modeling from requirements specification to implementation of code. UML provides a wide range of tools and allows the specification of multiple views on a system using different types of diagrams. Different diagrams can be used to indicate various aspects, and their combination creates a complete description of the system.

The multi-view model allows us to focus on different aspects of system requirements and express them in the UML modeling language. As a result, every designed model has different needs, and each requirement consists of different types of diagram. Consistency checking multi-view UML models can help ensure their quality and coherence. This applies especially to more complex models, which are more prone to human error.

Our main goal is to improve a model of the energy system. The model of the energy system is about voltage regulation in the transmission system. The model has been created in Eclipse Papyrus and transferred to the consistency checking tool Hugo/RT. With Hugo/RT, we achieve to evaluate and improve our model.


Back to the Oberseminar web page
Webmaster