Analysis of Graph Transformation Systems: Native vs Translation-based Techniques
This is an incremental review paper summarizing a workshop session, with no new results or methods presented.
This paper compares native and translation-based techniques for analyzing Graph Transformation Systems (GTSs), exploring design choices like logic and encoding methods that affect analysis quality and complexity, and concludes with recommendations for future investigations.
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.