Abstrakt. Trots den ökande relevansen av modellomvandlingstekniker i modelldriven mjukvaruutveckling bedrivs forskning främst för specifikationen och automatiseringen av sådana omvandlingar. Men eftersom omvandlingarna själva kan innehålla begreppsmässiga brister, är det viktigt att formellt analysera dem innan de utförs på användarmodeller. I det aktuella dokumentet fokuserar vi på ett centralt valideringsproblem av betrodda modellomvandlingar, nämligen att avsluta och föreslå en petri nettobaserad analysmetod som ger ett tillräckligt kriterium för termineringsproblemet för modellomvandlingar som fångas upp av graftransformeringssystem.
Till exempel, i REF ett diagram omvandlingssystem är abstrakt till ett Petri nät för att studera terminering.
Termination Analysis of Model Transformations by Petri Nets
{'venue': 'in ICGT, 2006', 'journal': None, 'mag_field_of_study': ['Computer Science']}