Graph Consistency as a Graduated Property

DOI10.1007/978-3-030-51372-6_14zbMath1502.68154arXiv2005.04162OpenAlexW3038101674MaRDI QIDQ5100736

Jens Kosiol, Steffen Zschaler, Daniel Strüber, Gabriele Taentzer

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.04162

zbMATH Keywords

evolutionary searchgraph transformation systemsgraph consistencygraph repair

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Unnamed Item ⋮ Schema compliant consistency management via triple graph grammars and integer linear programming

Uses Software

• Henshin
• MDEOptimiser

Cites Work

• Unnamed Item
• Unnamed Item
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Helper-objectives: Using multi-objective evolutionary algorithms for single-objective optimisation
• Constructing constraint-preserving interaction schemes in adhesive categories
• Constructing optimized validity-preserving application conditions for graph transformation rules
• Fundamentals of algebraic graph transformation
• Correctness of high-level transformation systems relative to nested conditions
• k-Inductive Invariant Checking for Graph Transformation Systems
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: Graph Consistency as a Graduated Property