Graph Transformation for Topology Modelling

Authors:
Mathieu Poudret;Agnès Arnould;Jean-Paul Comet;Pascale Gall
Affiliations:
Programme d'Épigénomique, Génopole, Évry F-91000 and XLIM-SIC UMR 6172 CNRS, Univ. de Poitiers, Futuroscope, F-86962;XLIM-SIC UMR 6172 CNRS, Univ. de Poitiers, Futuroscope, F-86962;I3S, UMR 6070 CNRS, Univ. de Nice-Sophia-Antipolis, Sophia-Antipolis, F-06903;Programme d'Épigénomique, Génopole, Évry F-91000 and MAS, Ecole Centrale Paris, Grande Voie des Vignes, Châtenay-Malabry F-92195
Venue:
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Year:
2008

Citing 8
Cited 1

Subdivisions of n-dimensional spaces and n-dimensional generalized maps

SCG '89 Proceedings of the fifth annual symposium on Computational geometry
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Bioinformatics
Cloning and Expanding Graph Transformation Rules for Refactoring

Electronic Notes in Theoretical Computer Science (ENTCS)
Graph transformation with variables

Formal Methods in Software and Systems Modeling
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

Declarative mesh subdivision using topological rewriting in MGS

ICGT'10 Proceedings of the 5th international conference on Graph transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our proposal is motivated by the need of describing specific operations to be done on topological representations of objects in computer graphics, especially for simulation of complex structured systems where rearrangements of compartments are subject to change. We also define application of such meta-rules and prove that it preserves some necessary conditions for G-maps.