The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Transformation Systems (GTSs). In addition to a comparison of native and translation-based techniques in this area, we explore design choices for the latter, s.a. choice of logic and encoding method, which have a considerable impact on the overall quality and complexity of the analysis. We substantiate our arguments by citing literature on application of theorem provers, model checkers, and SAT/SMT solver in GTSs, and conclude with a general discussion from a software engineering perspective, including comments from the workshop participants, and recommendations on how to investigate important design choices in the future.
@article{arxiv.1912.09607,
title = {Analysis of Graph Transformation Systems: Native vs Translation-based Techniques},
author = {Reiko Heckel and Leen Lambers and Maryam Ghaffari Saadat},
journal= {arXiv preprint arXiv:1912.09607},
year = {2019}
}