Preserving consistency in geometric modeling with graph transformations

DOI10.1017/S0960129522000226MaRDI QIDQ5059141zbMATH OpenFDO

Authors Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual

Publication date 23 December 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129522000226

zbMATH Keywords

consistency preservationDPO graph transformationgeneralized mapsgraph transformation with variablesstatic analysistopology-based geometric modeling

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 7317237
• Geometric modeling: consistency preservation using two-layered variable substitutions
• Graph Transformation for Topology Modelling
• Jerboa: a graph transformation library for topology-based geometric modeling
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations

Cites work

• Adaptive star grammars and their languages
• An axiomatic basis for computer programming
• Attributed Grammar-A Tool for Combining Syntactic and Statistical Approaches to Pattern Recognition
• Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation
• Combinatorial maps. Efficient data structures for computer graphics and image processing
• Correctness of high-level transformation systems relative to nested conditions
• Declarative mesh subdivision using topological rewriting in MGS
• DiaGen
• Formal Methods in Software and Systems Modeling
• Fundamentals of algebraic graph transformation
• Geometric modeling: consistency preservation using two-layered variable substitutions
• Graph Transformation for Topology Modelling
• Graph Transformations
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Handbook of Graph Grammars and Computing by Graph Transformation
• Hoare-style verification of graph programs
• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 2016072 (Why is no real title available?)
• scientific article; zbMATH DE number 2016090 (Why is no real title available?)
• scientific article; zbMATH DE number 2079672 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• scientific article; zbMATH DE number 7317237 (Why is no real title available?)
• Hyperedge replacement: grammars and languages
• Jerboa: a graph transformation library for topology-based geometric modeling
• N-DIMENSIONAL GENERALIZED COMBINATORIAL MAPS AND CELLULAR QUASI-MANIFOLDS
• Preserving consistency in geometric modeling with graph transformations
• Term Rewriting and All That
• The Graph Programming Language GP

Cited in

(6)

• Jerboa: a graph transformation library for topology-based geometric modeling
• Graph Transformation for Topology Modelling
• scientific article; zbMATH DE number 7317237 (Why is no real title available?)
• Geometric modeling: consistency preservation using two-layered variable substitutions
• Preserving consistency in geometric modeling with graph transformations
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations

Describes a project that uses

Uses Software

• GrGen
• PROGRES
• AGG
• GROOVE
• Jerboa
• DiaGen

This page was built for publication: Preserving consistency in geometric modeling with graph transformations

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