TY - JOUR
T1 - Lossless compaction of model execution traces
AU - Hojaji, Fazilat
AU - Zamani, Bahman
AU - Hamou-Lhadj, Abdelwahab
AU - Mayerhofer, Tanja
AU - Bousse, Erwan
N1 - Publisher Copyright:
© 2019, Springer-Verlag GmbH Germany, part of Springer Nature.
PY - 2020/1/1
Y1 - 2020/1/1
N2 - Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the development process. In the context of model-driven engineering, such behaviors are usually defined using executable domain-specific modeling languages (xDSML). Many V&V techniques rely on execution traces to represent and analyze the behavior of executable models. Traces, however, tend to be overwhelmingly large, hindering effective and efficient analysis of their content. While there exist several trace metamodels to represent execution traces, most of them suffer from scalability problems. In this paper, we present a generic compact trace representation format called generic compact trace metamodel (CTM) that enables the construction and manipulation of compact execution traces of executable models. CTM is generic in the sense that it supports a wide range of xDSMLs. We evaluate CTM on traces obtained from real-world fUML models. Compared to existing trace metamodels, the results show a significant reduction in memory and disk consumption. Moreover, CTM offers a common structure with the aim to facilitate interoperability between existing trace analysis tools.
AB - Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the development process. In the context of model-driven engineering, such behaviors are usually defined using executable domain-specific modeling languages (xDSML). Many V&V techniques rely on execution traces to represent and analyze the behavior of executable models. Traces, however, tend to be overwhelmingly large, hindering effective and efficient analysis of their content. While there exist several trace metamodels to represent execution traces, most of them suffer from scalability problems. In this paper, we present a generic compact trace representation format called generic compact trace metamodel (CTM) that enables the construction and manipulation of compact execution traces of executable models. CTM is generic in the sense that it supports a wide range of xDSMLs. We evaluate CTM on traces obtained from real-world fUML models. Compared to existing trace metamodels, the results show a significant reduction in memory and disk consumption. Moreover, CTM offers a common structure with the aim to facilitate interoperability between existing trace analysis tools.
KW - Compaction
KW - Execution trace
KW - Model execution
KW - Trace metamodel
UR - http://www.scopus.com/inward/record.url?scp=85067276496&partnerID=8YFLogxK
U2 - 10.1007/s10270-019-00737-w
DO - 10.1007/s10270-019-00737-w
M3 - Article
AN - SCOPUS:85067276496
SN - 1619-1366
VL - 19
SP - 199
EP - 230
JO - Software and Systems Modeling
JF - Software and Systems Modeling
IS - 1
ER -