Stochastic P systems and the simulation of biochemical processes with dynamic compartments.

We introduce a sequential rewriting strategy for P systems based on Gillespie's stochastic simulation algorithm, and show that the resulting formalism of stochastic P systems makes it possible to simulate biochemical processes in dynamically changing, nested compartments. Stochastic P systems have been implemented using the spatially explicit programming language MGS. Implementation examples include models of the Lotka-Volterra auto-catalytic system, and the life cycle of the Semliki Forest virus.

Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering.

Synthetic biology is an emerging scientific field that promotes the standardized manufacturing of biological components without natural equivalents. Its goal is to create artificial living systems that can meet various needs in health care or energy domains. While most works are focused on the individual bacterium as a chemical reactor, our project, SynBioTIC, addresses a novel and more complex challenge: shape engineering; that is, the redesign of natural morphogenesis toward a new kind of developmental 3D printing. Potential applications include organ growth, natural computing in biocircuits, or future vegetal houses. To create in silico multicellular organisms that exhibit specific shapes, we construe their development as an iterative process combining fundamental collective phenomena such as homeostasis, patterning, segmentation, and limb growth. Our numerical experiments rely on the existing Escherichia coli simulator Gro, a physicochemical computation platform offering reaction-diffusion and collision dynamics solvers. The synthetic bioware of our model executes a set of rules, or genome, in each cell. Cells can differentiate into several predefined types associated with specific actions (divide, emit signal, detect signal, die). Transitions between types are triggered by conditions involving internal and external sensors that detect various protein levels inside and around the cell. Indirect communication between bacteria is relayed by morphogen diffusion and the mechanical constraints of 2D packing. Starting from a single bacterium, the overall architecture emerges in a purely endogenous fashion through a series of developmental stages, inlcuding proliferation, differentiation, morphogen diffusion, and synchronization. The genome can be parametrized to control the growth and features of appendages individually. As exemplified by the L and T shapes that we obtain, certain precursor cells can be inhibited while others can create limbs of varying size (divergence of the homology). Such morphogenetic phenotypes open the way to more complex shapes made of a recursive array of core bodies and limbs and, most importantly, to an evolutionary developmental exploration of unplanned functional forms.

Modeling the topological organization of cellular processes.

The cell as a dynamical system presents the characteristics of having a dynamical structure. That is, the exact phase space of the system cannot be fixed before the evolution and integrative cell models must state the evolution of the structure jointly with the evolution of the cell state. This kind of dynamical systems is very challenging to model and simulate. New programming concepts must be developed to ease their modeling and simulation. In this context, the goal of the MGS project is to develop an experimental programming language dedicated to the simulation of this kind of systems. MGS proposes a unified view on several computational mechanisms (CHAM, Lindenmayer systems, Paun systems, cellular automata) enabling the specification of spatially localized computations on heterogeneous entities. The evolution of a dynamical structure is handled through the concept of transformation which relies on the topological organization of the system components. An example based on the modeling of spatially distributed biochemical networks is used to illustrate how these notions can be used to model the spatial and temporal organization of intracellular processes.

Declarative simulation of dynamicals systems: the 812 programming language and its application to the simulation of genetic networks.

A major part of biological processes can be modeled as dynamical systems (DS), that is, as a time-varying state. In this article, we advocate a declarative approach for prototyping the simulation of DS. We introduce the concepts of collection, stream and fabric. A fabric is a multi-dimensional object that represents the successive values of a structured set of variables. A declarative programming language, called 8 1/2 has been developed to support the concept of fabrics. Several examples of working 8 1/2 programs are given to illustrate the relevance of the fabric data structure for simulation applications and to show how recursive fabric definitions can be easily used to model various biological phenomena in a natural way (a resolution of PDE, a simulation in artificial life, the Turing diffusion-reaction process and various examples of genetic networks). In the conclusion, we recapitulate several lessons we have learned from the 8 1/2 project.

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.

The relevance of biological materials and processes to computing-alias bioputing-has been explored for decades. These materials include DNA, RNA and proteins, while the processes include transcription, translation, signal transduction and regulation. Recently, the use of bacteria themselves as living computers has been explored but this use generally falls within the classical paradigm of computing. Computer scientists, however, have a variety of problems to which they seek solutions, while microbiologists are having new insights into the problems bacteria are solving and how they are solving them. Here, we envisage that bacteria might be used for new sorts of computing. These could be based on the capacity of bacteria to grow, move and adapt to a myriad different fickle environments both as individuals and as populations of bacteria plus bacteriophage. New principles might be based on the way that bacteria explore phenotype space via hyperstructure dynamics and the fundamental nature of the cell cycle. This computing might even extend to developing a high level language appropriate to using populations of bacteria and bacteriophage. Here, we offer a speculative tour of what we term bactoputing, namely the use of the natural behaviour of bacteria for calculating.

Rewriting systems and the modelling of biological systems.

This paper gives a brief survey of the use of algebraic rewriting systems for modelling and simulating various biological processes, particularly at the cellular level.

Hyperstructures, genome analysis and I-cells.

New concepts may prove necessary to profit from the avalanche of sequence data on the genome, transcriptome, proteome and interactome and to relate this information to cell physiology. Here, we focus on the concept of large activity-based structures, or hyperstructures, in which a variety of types of molecules are brought together to perform a function. We review the evidence for the existence of hyperstructures responsible for the initiation of DNA replication, the sequestration of newly replicated origins of replication, cell division and for metabolism. The processes responsible for hyperstructure formation include changes in enzyme affinities due to metabolite-induction, lipid-protein affinities, elevated local concentrations of proteins and their binding sites on DNA and RNA, and transertion. Experimental techniques exist that can be used to study hyperstructures and we review some of the ones less familiar to biologists. Finally, we speculate on how a variety of in silico approaches involving cellular automata and multi-agent systems could be combined to develop new concepts in the form of an Integrated cell (I-cell) which would undergo selection for growth and survival in a world of artificial microbiology.