MGS: a Programming Language for the Transformations of Topological Collections

作者: Jean-Louis Giavitto , Olivier Michel

DOI:

关键词:

摘要: We present the first results in development of a new declarative programming language called MGS. This is devoted to simulation biological processes, especially those whose state space must be computed jointly with running system (for instance, morphogenesis). MGS proposes unified view on several computational mechanisms. Some them are initially inspired by or chemical processes (Gamma and CHAM, Lindenmayer systems, Paun systems cellular automata). They share property specifying local transformations time. The basic computation step replaces collection A elements, some subcollection B, another C. C function solely B its adjacent elements A. pasting into A−B depends shape involved collections. transformation. organisation collections viewed from topological viewpoint. formal framework specify this notion proposed. By changing structure collection, underlying model changed. specification substituted can done many ways. propose here pattern based neighborhood relationship induced topology collection. Several features control transformation applications then presented.

参考文章(35)
Przemyslaw Prusinkiewicz, Mark Hammel, Visualization of developmental processes by extrusion in space-time graphics interface. pp. 246- 258 ,(1996)
James R. Munkres, Elements of Algebraic Topology ,(1984)
Guy E. Blelloch, NESL: A Nested Data-Parallel Language (Version 2.6) Carnegie Mellon University. ,(1993)
L.W. Buss, W. Fontana, The Barrier of Objects: From Dynamical Systems to Bounded Organizations Research Papers in Economics. ,(1996)
Jean-Louis Giavitto, Olivier Michel, Jean-Paul Sansonnet, Group-Based Fields PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems. pp. 209- 214 ,(1995) , 10.1007/BFB0023063
I. R. Shafarevich, Basic notions of algebra ,(2005)
Vincenzo Manca, Logical string rewriting Theoretical Computer Science. ,vol. 264, pp. 25- 51 ,(2001) , 10.1016/S0304-3975(00)00212-7
George Havas, Derek F. Holt, Sarah Rees, Recognizing badly presented Z-modules Linear Algebra and its Applications. ,vol. 192, pp. 137- 163 ,(1993) , 10.1016/0024-3795(93)90241-F
Jean-Louis Giavitto, Olivier Michel, Declarative definition of group indexed data structures and approximation of their domains principles and practice of declarative programming. pp. 150- 161 ,(2001) , 10.1145/773184.773201