An Efficient Solution for Model Checking Graph Transformation Systems

This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are suitable for checking interesting properties expressed as combinations of LTL and graph transformation rules. The first experimental results are encouraging and show that in most cases our proposal improves existing approaches, both in terms of performance and expressiveness.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini
• Keywords: ENTCS 2008, Graph Transformation, Graph Transformation Rules, Graph Transformation Systems