Model-Based Traces [chapter]

Shahar Maoz
2009 Lecture Notes in Computer Science  
We introduce model-based traces, which trace behavioral models of a system's design during its execution, allowing to combine modeldriven engineering with dynamic analysis. Specifically, we take visual inter-object scenario-based and intra-object state-based models (sequence charts and statecharts) used for a system's design, and follow their activation and progress as they come to life at runtime, during the system's execution. Thus, a system's runtime is recorded and viewed through
more » ... s provided by behavioral models used for its design. We present two example applications related to the automatic generation and visual exploration of model-based traces and suggest a list of related challenges.
doi:10.1007/978-3-642-01648-6_12 fatcat:bs3lgrj2afh7fd2lpybe73fug4