| Date: | 2014, December 10 |
| Time: | |
| 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.