Exploring conflict reasons for graph transformation systems

DOI10.1007/978-3-030-23611-3_5MaRDI QIDQ2292969zbMATH OpenOpenAlexFDO

Authors Leen Lambers, Jens Kosiol, Daniel Strüber, Gabriele Taentzer

Publication date 6 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-23611-3_5

zbMATH Keywords

static analysisconflict analysisgraph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Granularity of conflicts and dependencies in graph transformation systems
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Characterizing conflicts between rule application and rule evolution in graph transformation systems
• Efficient conflict detection in graph transformation systems by essential critical pairs
• Analysing graph transformation systems through constraint handling rules
• Lessons Learned from Building a Graph Transformation System
• Graph Transformations
• Analysis of graph transformation systems: native vs translation-based techniques
• A general framework for well-structured graph transformation systems

Cited in

(7)

• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Granularity of conflicts and dependencies in graph transformation systems
• On the essence and initiality of conflicts
• Confluence up to garbage
• Confluence up to garbage in graph transformation
• Characterizing conflicts between rule application and rule evolution in graph transformation systems
• Lessons Learned from Building a Graph Transformation System

Describes a project that uses

Uses Software

• Henshin
• AGG

This page was built for publication: Exploring conflict reasons for graph transformation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2292969)