Characterizing conflicts between rule application and rule evolution in graph transformation systems

DOI10.1007/978-3-319-21145-9_11MaRDI QIDQ2947220zbMATH OpenOpenAlexFDO

Authors Rodrigo Machado, Leila Ribeiro, R. Heckel

Publication date 22 September 2015

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-21145-9_11

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Conflict detection for model versioning based on graph modifications
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Conflict Detection for Graph Transformation with Negative Application Conditions
• On the essence and initiality of conflicts
• Exploring conflict reasons for graph transformation systems

Cites work

• 15 Years of Triple Graph Grammars
• Algebraic approach to single-pushout graph transformation
• Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
• Co-transformation of graphs and type graphs with application to model co-evolution
• Graph Transformations
• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Transformations of graph grammars

Cited in

(4)

• Exploring conflict reasons for graph transformation systems
• Conflict detection for model versioning based on graph modifications
• Modular soundness checking of feature model evolution plans
• Modular soundness checking of feature model evolution plans

This page was built for publication: Characterizing conflicts between rule application and rule evolution in graph transformation systems

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