Model-Based traces

Shahar Maoz*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


We introduce model-based traces, which trace behavioral models of a system's design during its execution, allowing to combine model-driven 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 abstractions 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.

Original languageEnglish
Title of host publicationModels in Software Engineering - Workshops and Symposia at MODELS 2008, Reports and Revised Selected Papers
Number of pages11
StatePublished - 2009
Externally publishedYes
EventModels in Software Engineering, MODELS 2008 - Toulouse, France
Duration: 28 Sep 20083 Oct 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceModels in Software Engineering, MODELS 2008


Dive into the research topics of 'Model-Based traces'. Together they form a unique fingerprint.

Cite this