TY - GEN
T1 - Model-Based traces
AU - Maoz, Shahar
N1 - Funding Information:
This research was supported by The John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science.
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=67650165133&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-01648-6_12
DO - 10.1007/978-3-642-01648-6_12
M3 - פרסום בספר כנס
AN - SCOPUS:67650165133
SN - 9783642016479
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 109
EP - 119
BT - Models in Software Engineering - Workshops and Symposia at MODELS 2008, Reports and Revised Selected Papers
Y2 - 28 September 2008 through 3 October 2008
ER -