ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
Describing Horizontal Model Transformations with Graph Rewriting Rules
Lecture Notes in Computer Science - Model Driven Architecture
◽
10.1007/11538097_7
◽
2005
◽
pp. 93-107
◽
Cited By ~ 4
Author(s):
Alexander Christoph
Keyword(s):
Model Transformations
◽
Graph Rewriting
◽
Rewriting Rules
Download Full-text
Visual debugging support for graph rewriting-based model transformations
Eurocon 2013
◽
10.1109/eurocon.2013.6625025
◽
2013
◽
Cited By ~ 1
Author(s):
Tamas Meszaros
◽
Peter Feher
◽
Laszlo Lengyel
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
◽
Cited By ~ 1
Author(s):
Christos Tsigkanos
◽
Nianyu Li
◽
Zhi Jin
◽
Zhenjiang Hu
◽
Carlo Ghezzi
Keyword(s):
Reactive Systems
◽
Model Transformations
◽
Multiple View
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
◽
Cited By ~ 1
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
◽
Cited By ~ 1
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
◽
Cited By ~ 30
Author(s):
Dániel Varró
◽
Szilvia Varró–Gyapay
◽
Hartmut Ehrig
◽
Ulrike Prange
◽
Gabriele Taentzer
Keyword(s):
Petri Nets
◽
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
◽
Cited By ~ 2
Author(s):
Loïc Gammaitoni
◽
Pierre Kelsen
◽
Qin Ma
Keyword(s):
Model Transformations
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close