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.

中文翻译：

---

模型执行轨迹的无损压缩

动态验证和验证（V＆V）技术用于在开发过程的早期验证和验证软件系统的行为。在模型驱动的工程中，通常使用特定于可执行域的建模语言（xDSML）定义此类行为。许多V＆V技术依靠执行跟踪来表示和分析可执行模型的行为。但是，痕迹往往很大，妨碍了对其内容的有效分析。虽然存在几个跟踪元模型为了表示执行跟踪，它们中的大多数都存在可伸缩性问题。在本文中，我们介绍了一种称为通用紧凑型跟踪元模型（CTM）的通用紧凑型跟踪表示格式，该格式允许构造和操纵可执行模型的紧凑型执行跟踪。CTM在支持广泛的xDSML的意义上是通用的。我们根据从现实世界中的fUML模型获得的迹线评估CTM。与现有的跟踪元模型相比，结果显示内存和磁盘消耗显着减少。此外，CTM提供了一种通用结构，旨在促进现有跟踪分析工具之间的互操作性。