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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cardelli, L., Calculi, B.: Interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–280. Springer, Heidelberg (2005)
Calzone, L., Fages, F., Soliman, S.: Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805–1807 (2006)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
Hoffmann, B., Janssens, D., Van Eetvelde, N.: Cloning and expanding graph transformation rules for refactoring. Electr. Notes Theor. Comput. Sci. 152, 53–67 (2006)
Hoffmann, B.: Graph transformation with variables. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 101–115. Springer, Heidelberg (2005)
Lienhardt, P.: Subdivision of n-dimensional spaces and n-dimensional generalized maps. In: SCG 1989, pp. 228–236. ACM Press, New York (1989)
Lienhardt, P.: n-dimensional generalised combinatorial maps and cellular quasimanifolds. In: IJCGA (1994)
Poudret, M., Comet, J.-P., Le Gall, P., Arnould, A., Meseure, P.: Topology-based geometric modelling for biological cellular processes. In: LATA 2007, Tarragona, Spain, March 29 - April 4 (2007), http://grammars.grlmc.com/LATA2007/proc.html
Poudret, M., Comet, J.-P., Le Gall, P., Képès, F., Arnould, A., Meseure, P.: Topology-based abstraction of complex biological systems: Application to the Golgi apparatus. Theory in Biosciences (2008)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Foundations, vol. 1. World Scientific, Singapore (1997)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1), 141–167 (2004)
Tutte, W.: Graph Theory. Encyclopedia of Mathematics and its Applications, vol. 21. Addison-Wesley, Reading (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poudret, M., Arnould, A., Comet, JP., Le Gall, P. (2008). Graph Transformation for Topology Modelling. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds) Graph Transformations. ICGT 2008. Lecture Notes in Computer Science, vol 5214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87405-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-87405-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87404-1
Online ISBN: 978-3-540-87405-8
eBook Packages: Computer ScienceComputer Science (R0)