Embedding State Machine Models in Object-Oriented Source Code

In: Proceedings of the 3rd Workshop on Models@run.time at MODELS 2008
Toulouse (2008), S. 6-15
Buchaufsatz / Kapitel / Fach: Informatik
Abstract:
This contribution presents an approach to maintain state machine model semantics in object-oriented structures. A framework is created that reads and executes these structures at run time and is completely aware of the model semantics. The goal is to embed such structures in arbitrary large systems and delegate program control to the framework. Hence we can debug and validate the system at run time and apply monitoring with respect to state machine model characteristics.