AUTOMATIC CODE GENERATION BASED ON FORMALLY ANALYZED UML STATECHART MODELS

This paper aims at providing an efficient implementation pattern for source code level instantiation of UML statcharts based on extended hierarchical automata, enabling automatic implementation of formally analyzed models.