文章基本信息

标题：Analysis of Graph Transformation Systems: Native vs Translation-based Techniques
本地全文：下载
作者：Reiko Heckel ; Leen Lambers ; Maryam Ghaffari Saadat 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2019
卷号：309
页码：1-22
DOI：10.4204/EPTCS.309.1
语种：English
出版社：Open Publishing Association
摘要：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.