Embedded Models

Overview

Embedded Models are an approach for model-driven software development (MDSD) that embed formal specification in static object-oriented program code structures. For this purpose, program code patterns are developed that represent the abstract syntax of the formal models. The patterns are not considered meta data, but are executed at run time according to the execution semantics of the respective models. Thus, only one representation exists that is always up-to-date and used for representation of the model and for execution.

Application

Embedded Models can be applied to different formal models, with a focus on behavioral models:

• State Machines: Implementation is complete. A graphical design tools exists. The models and be verified, simulated and model-checked in UPPAAl. In addition, software based on embedded state machines can be monitored with respect to the state machine model at run time.
• Process Models: The concept is completed. A design tool based on JWT is under development.
• UML Activity Diagrams are currently evaluated.

Publications

• Moritz Balz, Michael Goedicke: Embedding Process Models in Object-Oriented Program Code, in: Proceedings of the First Workshop on Behavioural Modelling in Model-Driven Architecture (BM-MDA) 2009, Enschede
• Michael Striewe, Michael Goedicke: Using a Triple Graph Grammar for State Machine Implementations, in: Electronic Communications of the EASST, Volume 16: International Conference on Graph Transformation 2008 - Doctoral Symposium
• Michael Goedicke, Michael Striewe, Moritz Balz: Support for Evolution of Software Systems using Embedded Models, in: Workshop "Design for Future - Langlebige Softwaresysteme", October 15th-16th, Karlsruhe
• Moritz Balz, Michael Striewe, Michael Goedicke: Embedding Behavioral Models into Object-Oriented Source Code, in: Proceedings of "Software Engineering 2009", Kaiserslautern, Germany
• Moritz Balz, Michael Striewe, Michael Goedicke: Embedding State Machine Models in Object-Oriented Source Code, in: Proceedings of the Workshop Models@run.time 2008, Toulouse

Contact Persons

• Moritz Balz
• Michael Striewe