Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2014, December 10
Author: Glauer, Martin
Title: An Institution for (Hierarchical) UML State Machines


This talk will present a way to model UML State Machines using institutions. It will cover the main aspects of simple machines and the current way to model them. Based on this we will discuss an extension of aforementioned principle which allows the modelling of hierarcical states and parallel processing.


Back to the Oberseminar web page