Visual debugging support for graph rewriting-based model transformations

Eurocon 2013 ◽

10.1109/eurocon.2013.6625025 ◽

2013 ◽

Author(s):

Tamas Meszaros ◽

Peter Feher ◽

Laszlo Lengyel

Keyword(s):

Model Transformations ◽

Graph Rewriting

Download Full-text

Describing Horizontal Model Transformations with Graph Rewriting Rules

Lecture Notes in Computer Science - Model Driven Architecture ◽

10.1007/11538097_7 ◽

2005 ◽

pp. 93-107 ◽

Author(s):

Alexander Christoph

Keyword(s):

Model Transformations ◽

Graph Rewriting ◽

Rewriting Rules

Download Full-text

Survey of Graph Rewriting applied to Model Transformations

Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004731504310441 ◽

2014 ◽

Keyword(s):

Model Transformations ◽

Graph Rewriting

Download Full-text

Measuring Characteristics of Models and Model Transformations Using Ontology and Graph Rewriting Techniques

Communications in Computer and Information Science - Evaluation of Novel Approaches to Software Engineering ◽

10.1007/978-3-642-14819-4_1 ◽

2010 ◽

pp. 3-16

Author(s):

Motoshi Saeki ◽

Haruhiko Kaiya

Keyword(s):

Model Transformations ◽

Graph Rewriting

Download Full-text

Scalable multiple-view analysis of reactive systems via bidirectional model transformations

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3416579 ◽

2020 ◽

Author(s):

Christos Tsigkanos ◽

Nianyu Li ◽

Zhi Jin ◽

Zhenjiang Hu ◽

Carlo Ghezzi

Keyword(s):

Reactive Systems ◽

Model Transformations ◽

Download Full-text

Towards iterative software product line engineering with incremental multi-variant model transformations

Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems ◽

10.1145/3377024.3377032 ◽

2020 ◽

Author(s):

Sandra Greiner ◽

Bernhard Westfechtel

Keyword(s):

Software Product Line ◽

Product Line ◽

Model Transformations ◽

Product Line Engineering ◽

Software Product Line Engineering ◽

Software Product ◽

Iterative Software ◽

Line Engineering

Download Full-text

Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ◽

10.1145/3372885.3373831 ◽

2020 ◽

Author(s):

Christian Doczkal ◽

Damien Pous

Keyword(s):

Graph Isomorphism ◽

Graph Rewriting

Download Full-text

Automatically inferring technology compatibility with an ontology and graph rewriting rules

Journal of Engineering Design ◽

10.1080/09544828.2020.1860202 ◽

2020 ◽

pp. 1-25

Author(s):

M. N. Roelofs ◽

Roelof Vos

Keyword(s):

Graph Rewriting ◽

Rewriting Rules

Download Full-text

On the concurrent execution of model transformations with Linda

Proceedings of the Workshop on Scalability in Model Driven Engineering - BigMDE '13 ◽

10.1145/2487766.2487770 ◽

2013 ◽

Author(s):

Loli Burgueño ◽

Javier Troya ◽

Manuel Wimmer ◽

Antonio Vallecillo

Keyword(s):

Model Transformations ◽

Concurrent Execution

Download Full-text

Termination Analysis of Model Transformations by Petri Nets

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/11841883_19 ◽

2006 ◽

pp. 260-274 ◽

Author(s):

Dániel Varró ◽

Szilvia Varró–Gyapay ◽

Hartmut Ehrig ◽

Ulrike Prange ◽

Gabriele Taentzer

Keyword(s):

Model Transformations ◽

Termination Analysis

Download Full-text

Agile validation of model transformations using compound F-Alloy specifications

Science of Computer Programming ◽

10.1016/j.scico.2017.07.001 ◽

2018 ◽

Vol 162 ◽

pp. 55-75 ◽

Author(s):

Loïc Gammaitoni ◽

Pierre Kelsen ◽

Qin Ma

Keyword(s):

Model Transformations

Download Full-text