Dynamic Backward Slicing of Model Transformations
Dynamic Backward Slicing of Model Transformations
复制标题
模型转换的动态向后切片
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Dániel Varró
中科院分区：
文献类型：
--
作者：
Z. Ujhelyi;Á. Horváth;Dániel Varró
模型转换是各个领域自动化软件开发的常用手段，以提高质量并降低生产成本。模型转换的调试通常需要识别转换程序的部分以及对所选语句具有因果依赖性的转换后的模型。在传统的编程环境中，程序切片技术被广泛用于计算程序语句之间的控制和数据依赖关系。在这里，我们引入了用于模型转换的程序切片，其中主要挑战是同时评估数据并控制对转换程序和转换底层模型的依赖关系。在本文中，我们基于自动生成的转换执行跟踪模型，为模型转换程序及其转换模型提出了一种动态向后切片方法。我们使用不同的转型案例研究来评估我们的方法。
Model transformations are frequently used means for automating software development in various domains to improve quality and reduce production costs. Debugging of model transformations often necessitates identifying parts of the transformation program and the transformed models which have causal dependence on a selected statement. In traditional programming environments, program slicing techniques are widely used to calculate control and data dependencies between the statements of the program. Here, we introduce program slicing for model transformations where the main challenge is to simultaneously assess data and control dependencies over the transformation program and the underlying models of the transformation. In this paper, we present a dynamic backward slicing approach for both model transformation programs and their transformed models based on automatically generated execution trace models of transformations. We evaluate our approach using different transformation case studies.