Termination Analysis of Model Transformations by Petri Nets
Termination Analysis of Model Transformations by Petri Nets
复制标题
Petri 网模型转换的终止分析
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
G. Taentzer
中科院分区：
文献类型：
--
作者：
Dániel Varró;Szilvia Varró;H. Ehrig;Ulrike Golas;G. Taentzer
尽管模型转换技术在模型驱动软件开发中的相关性越来越大，但研究主要是针对这种转换的规范和自动化进行的。然而，由于转换本身也可能包含概念上的缺陷，因此在对用户模型执行转换之前对其进行正式分析是必要的。在本文中，我们关注可信模型转换的中心验证问题，即终止，并提出了一种基于Petri网的分析方法，该方法为图转换系统捕获的模型转换的终止问题提供了充分的准则。
Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such transformations. However, since the transformations themselves may also contain conceptual flaws, it is essential to formally analyze them prior to executing them on user models. In the current paper, we focus on a central validation problem of trusted model transformations, namely, termination and propose a Petri net based analysis method that provides a sufficient criterion for the termination problem of model transformations captured by graph transformation systems.