GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks.

This paper presents GINsim, a Java software suite devoted to the qualitative modelling, analysis and simulation of genetic regulatory networks. Formally, our approach leans on discrete mathematical and graph-theoretical concepts. GINsim encompasses an intuitive graph editor, enabling the definition and the parameterisation of a regulatory graph, as well as a simulation engine to compute the corresponding qualitative dynamical behaviour. Our computational approach is illustrated by a preliminary model analysis of the inter-cellular regulatory network activating Notch at the dorsal-ventral boundary in the wing imaginal disc of Drosophila. We focus on the cross-regulations between five genes (within and between two cells), which implements the dorsal-ventral border in the developing imaginal disc. Our simulations qualitatively reproduce the wild-type developmental pathway, as well as the outcome of various types of experimental perturbations, such as loss-of-function mutations or ectopically induced gene expression.

[1]  Denis Thieffry,et al.  Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.

[2]  T. Vogt,et al.  Dorsal-ventral signaling in limb development. , 1997, Current opinion in cell biology.

[3]  J. Couso,et al.  Serrate and wingless cooperate to induce vestigial gene expression and wing formation in Drosophila , 1995, Current Biology.

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  E. Wieschaus,et al.  fringe, a boundary-specific signaling molecule, mediates interactions between dorsal and ventral cells during Drosophila wing development , 1994, Cell.

[6]  D. Thieffry,et al.  Dynamical behaviour of biological regulatory networks—I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state , 1995 .

[7]  Denis Thieffry,et al.  Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli , 2005, ECCB/JBI.

[8]  Denis Thieffry,et al.  Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. , 2003, Journal of theoretical biology.

[9]  Denis Thieffry,et al.  A description of dynamical graphs associated to elementary regulatory circuits , 2003, ECCB.

[10]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[11]  D. Thieffry,et al.  A logical analysis of the Drosophila gap-gene system. , 2001, Journal of theoretical biology.

[12]  M. Milán,et al.  Temporal regulation of apterous activity during development of the Drosophila wing. , 2000, Development.

[13]  S. Carroll,et al.  Cell recognition, signal induction, and symmetrical gene activation at the dorsal-ventral boundary of the developing drosophila wing , 1995, Cell.

[14]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[15]  S. Cohen,et al.  Interaction between dorsal and ventral cells in the imaginal disc directs wing development in Drosophila , 1993, Cell.

[16]  A Wuensche,et al.  Genomic regulation modeled as a network with basins of attraction. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[17]  K. Irvine,et al.  Fringe modulates Notch–ligand interactions , 1997, Nature.

[18]  Martine Labbé,et al.  Identification of all steady states in large networks by logical analysis , 2003, Bulletin of mathematical biology.

[19]  S. Bray,et al.  Feed-back mechanisms affecting Notch activation at the dorsoventral boundary in the Drosophila wing. , 1997, Development.

[20]  Y. Jan,et al.  Delta is a ventral to dorsal signal complementary to Serrate, another Notch ligand, in Drosophila wing formation. , 1996, Genes & development.