Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations

2010 ◽  
pp. 121-135 ◽  
Author(s):  
Thorsten Arendt ◽  
Enrico Biermann ◽  
Stefan Jurack ◽  
Christian Krause ◽  
Gabriele Taentzer
Keyword(s):  
Model Transformations ◽  
Emf Model

Formal foundation of consistent EMF model transformations by algebraic graph transformation

2011 ◽  
Vol 11 (2) ◽  
pp. 227-250 ◽  
Author(s):  
Enrico Biermann ◽  
Claudia Ermel ◽  
Gabriele Taentzer
Keyword(s):  
Graph Transformation ◽  
Model Transformations ◽  
Emf Model

scholarly journals Termination Analysis of Model Transformations by Petri Nets

2006 ◽  
pp. 260-274 ◽  
Author(s):  
Dániel Varró ◽  
Szilvia Varró–Gyapay ◽  
Hartmut Ehrig ◽  
Ulrike Prange ◽  
Gabriele Taentzer
Keyword(s):  
Petri Nets ◽  
Model Transformations ◽  
Termination Analysis

scholarly journals Agile validation of model transformations using compound F-Alloy specifications

2018 ◽  
Vol 162 ◽  
pp. 55-75 ◽  
Author(s):  
Loïc Gammaitoni ◽  
Pierre Kelsen ◽  
Qin Ma
Keyword(s):  
Model Transformations
Sign in / Sign up

Export Citation Format

Share Document