Visual debugging support for graph rewriting-based model transformations
Visual debugging support for graph rewriting-based model transformations
复制标题
对基于图形重写的模型转换的可视化调试支持
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
L. Lengyel
中科院分区：
文献类型：
--
作者：
T. Mészáros;P. Fehér;L. Lengyel
基于图重写的模型转换是处理基于图的模型的重要工具，具有很强的数学背景。最新的建模工具倾向于支持以可视化或文本方式重写基于规则的转换的定义。然而，只有少数支持对模型执行的修改的连续动画，这使得转换的可跟踪性和调试更具挑战性。本文介绍了在可视化建模与转换系统中实现的可视化模型转换调试器。该解决方案有助于逐步执行模型转换，可视化转换的整体状态，并支持单独的匹配。此外，它提供了在运行时影响转换行为的可能性。实现的功能说明了从MATLAB Simulink域的案例研究。
Graph rewriting-based model transformation is an essential tool with a strong mathematical background used to process graph-based models. The most recent modeling tools tend to support the definition of rewriting rule based transformations in a visual or textual way. However, only a few of these support the continuous animation of the modifications performed on the models, which makes the traceability and the debugging of transformations more challenging. This paper presents the visual model transformation debugger realized in the Visual Modeling and Transformation System. The solution facilitates the step-by-step execution of model transformations, the visualization of the overall state of the transformation and also supports individual matches. Furthermore, it provides the possibility to influence the behavior of the transformation at runtime. The realized features are illustrated in a case study from the MATLAB Simulink domain.