Termination Analysis of Model Transformations by Petri Nets

Abstract. Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly con-ducted to the specification and the automation of such transformations. However, since the transformations themselves may also contain concep-tual flaws, it is essential to formally analyze them prior to executing them on user models. In the current paper, we focus on a central val-idation 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