کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422504 685097 2008 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An Efficient Solution for Model Checking Graph Transformation Systems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
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 amenable to check interesting properties expressed as combinations of LTL (Linear Temporal Logic) 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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 213, Issue 1, 5 May 2008, Pages 3-21