图变换系统分析：原生技术与基于翻译的技术
软件工程
2019-12-23 v1 计算机科学中的逻辑
摘要
本文总结了GCM 2019会议上一个分会场的贡献，该分会场展示并讨论了针对图变换系统（GTSs）常见分析问题的原生与基于翻译的解决方案。除了比较该领域中原生与基于翻译的技术外，我们探讨了后者的设计选择，例如逻辑与编码方法的选择，这些对分析的整体质量与复杂度有显著影响。我们通过引用有关定理证明器、模型检验器以及SAT/SMT求解器在GTSs中应用的文献来支撑我们的论点，并从软件工程视角（包括研讨会参与者的评论）进行总体讨论，以及对未来如何研究重要设计选择的建议。
引用
@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}
}
备注
In Proceedings GCM 2019, arXiv:1912.08966