MGS: a rule-based programming language for complex objects and collections. We present the first results in the development of a new declarative programming language called MGS. This language is devoted to the simulation of biological processes, especially those whose state space must be computed jointly with the current state of the system. MGS proposes a unified view on several computational mechanisms initially inspired by biological or chemical processes (Gamma and the CHAM, Lindenmayer systems, Paun systems and cellular automata). The basic computation step in MGS replaces in a collection A of elements, some subcollection B, by another collection C. The collection C only depends on B and its adjacent elements in A. The pasting of C into A – B depends on the shape of the involved collections. This step is called a transformation. The specification of the collection to be substituted can be done in many ways. We propose here a pattern language based on the neighborhood relationship induced by the topology of the collection. Several features to control the transformation applications are then presented.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
- Bigo, Louis; Andreatta, Moreno: Topological structures in computer-aided music analysis (2016)
- Andrei, Oana; Kirchner, Hélène: Runtime verification for biochemical programs (2013)
- Roşu, Grigore; Şerbănuţă, Traian Florin: An overview of the K semantic framework (2010)
- Andrei, Oana; Kirchner, Hélène: A higher-order graph calculus for autonomic computing (2009)
- Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni: Spatial calculus of looping sequences (2009)
- Gruau, Frédéric; Eisenbeis, Christine; Maignan, Luidnel: The foundation of self-developing blob machines for spatial computing (2008)
- Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel: A rewriting logic framework for operational semantics of membrane systems (2007)
- Mjolsness, Eric; Yosiphon, Guy: Stochastic process semantics for dynamical grammars (2006)
- Giavitto, Jean-Louis; Michel, Olivier: MGS: a rule-based programming language for complex objects and collections (2001)