Sammanfattning Detta papper är en effektiv lösning för modellering av graftransformeringssystem. Tillvägagångssättet omvandlar AGG-specifikationer till Bogor-modeller och stöder både tillskrivna grafer och skiktade transformationer. Resultatmodeller är lämpliga för kontroll av intressanta egenskaper uttryckta som kombinationer av LTL och graftransformationsregler. De första experimentella resultaten är uppmuntrande och visar att vårt förslag i de flesta fall förbättrar befintliga metoder, både när det gäller prestanda och uttrycksförmåga.
Baresi m.fl. REF presenterar en effektiv lösning för modellering av diagramtransformeringssystem.
An Efficient Solution for Model Checking Graph Transformation Systems
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}