Statecharts for Gene Network Modeling

State diagrams (stategraphs) are suitable for describing the behavior of dynamic systems. However, when they are used to model large and complex systems, determining the states and transitions among them can be overwhelming, due to their flat, unstratified structure. In this article, we present the use of statecharts as a novel way of modeling complex gene networks. Statecharts extend conventional state diagrams with features such as nested hierarchy, recursion, and concurrency. These features are commonly utilized in engineering for designing complex systems and can enable us to model complex gene networks in an efficient and systematic way. We modeled five key gene network motifs, simple regulation, autoregulation, feed-forward loop, single-input module, and dense overlapping regulon, using statecharts. Specifically, utilizing nested hierarchy and recursion, we were able to model a complex interlocked feed-forward loop network in a highly structured way, demonstrating the potential of our approach for modeling large and complex gene networks.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Giovanni De Micheli,et al.  Synchronous versus asynchronous modeling of gene regulatory networks , 2008, Bioinform..

[3]  Richard Banks,et al.  Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach , 2007, Bioinform..

[4]  A. Oudenaarden,et al.  Nature, Nurture, or Chance: Stochastic Gene Expression and Its Consequences , 2008, Cell.

[5]  Jens Timmer,et al.  Dynamical modeling and multi-experiment fitting with PottersWheel , 2008, Bioinform..

[6]  Radu Mateescu,et al.  Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli , 2005, ISMB.

[7]  Ronald W. Davis,et al.  Quantitative Monitoring of Gene Expression Patterns with a Complementary DNA Microarray , 1995, Science.

[8]  M. L. Simpson,et al.  Frequency domain analysis of noise in autoregulated gene circuits , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[9]  Farren J. Isaacs,et al.  Computational studies of gene regulatory networks: in numero molecular biology , 2001, Nature Reviews Genetics.

[10]  U. Alon Network motifs: theory and experimental approaches , 2007, Nature Reviews Genetics.

[11]  E. Dougherty,et al.  Gene perturbation and intervention in probabilistic Boolean networks. , 2002, Bioinformatics.

[12]  Guy Karlebach,et al.  Modelling and analysis of gene regulatory networks , 2008, Nature Reviews Molecular Cell Biology.

[13]  M. Elowitz,et al.  Regulatory activity revealed by dynamic correlations in gene expression noise , 2008, Nature Genetics.

[14]  G. D. Gatta,et al.  Systems and Synthetic biology: tackling genetic networks and complex diseases , 2009, Heredity.

[15]  Ron Weiss,et al.  The effect of negative feedback on noise propagation in transcriptional gene networks. , 2006, Chaos.

[16]  J. Ellenberg,et al.  High-throughput fluorescence microscopy for systems biology , 2006, Nature Reviews Molecular Cell Biology.

[17]  R. Weiss,et al.  A universal RNAi-based logic evaluator that operates in mammalian cells , 2007, Nature Biotechnology.

[18]  S. Ramaswamy,et al.  Microarrays for an integrative genomics , 2004 .

[19]  W. Loomis,et al.  Transcriptional regulation of post-aggregation genes in Dictyostelium by a feed-forward loop involving GBF and LagC. , 2006, Developmental biology.

[20]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[21]  D. A. Baxter,et al.  Modeling transcriptional control in gene networks—methods, recent results, and future directions , 2000, Bulletin of mathematical biology.

[22]  Fang-Xiang Wu,et al.  Gene Regulatory Network modelling: a state-space approach , 2008, Int. J. Data Min. Bioinform..

[23]  B. Séraphin,et al.  Positive feedback in eukaryotic gene networks: cell differentiation by graded to binary response conversion , 2001, The EMBO journal.

[24]  M. L. Simpson,et al.  Frequency domain analysis of noise in simple gene circuits. , 2006, Chaos.

[25]  Chrystopher L. Nehaniv,et al.  Bio-Logic: Gene Expression and the Laws of Combinatorial Logic , 2008, Artificial Life.

[26]  S. Shen-Orr,et al.  Network motifs: simple building blocks of complex networks. , 2002, Science.

[27]  R. Seymour,et al.  Simplification and its consequences in biological modelling: conclusions from a study of calcium oscillations in hepatocytes , 2006, Journal of The Royal Society Interface.

[28]  S. Mangan,et al.  Structure and function of the feed-forward loop network motif , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[29]  N. Lee,et al.  Computational and experimental approaches for modeling gene regulatory networks. , 2007, Current pharmaceutical design.

[30]  Zvonko G. Vranesic,et al.  Fundamentals of Digital Logic with VHDL Design , 2008 .

[31]  M Kaufman,et al.  Positive feedback circuits and memory. , 2000, Comptes rendus de l'Academie des sciences. Serie III, Sciences de la vie.

[32]  James M. Bower,et al.  Computational modeling of genetic and biochemical networks , 2001 .

[33]  S. Shen-Orr,et al.  Networks Network Motifs : Simple Building Blocks of Complex , 2002 .

[34]  H. Bolouri Computational Modeling of Gene Regulatory Networks - A Primer , 2008 .

[35]  Chen Li,et al.  Designing and encoding models for synthetic biology , 2009, Journal of The Royal Society Interface.

[36]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[37]  U. Alon,et al.  Diverse two-dimensional input functions control bacterial sugar genes. , 2008, Molecular cell.

[38]  Uri Alon,et al.  The incoherent feed-forward loop can generate non-monotonic input functions for genes , 2008, Molecular systems biology.

[39]  Nicholas J. Guido,et al.  A bottom-up approach to gene regulation , 2006, Nature.

[40]  James J. Collins,et al.  Next-Generation Synthetic Gene Networks , 2009, Nature Biotechnology.

[41]  E. Andrianantoandro,et al.  Synthetic biology: new engineering rules for an emerging discipline , 2006, Molecular systems biology.

[42]  Shane T. Jensen,et al.  The Program of Gene Transcription for a Single Differentiating Cell Type during Sporulation in Bacillus subtilis , 2004, PLoS biology.

[43]  M. Vijver,et al.  Technology Insight: tuning into the genetic orchestra using microarrays—limitations of DNA microarrays in clinical practice , 2006, Nature Clinical Practice Oncology.

[44]  Edward R. Dougherty,et al.  Steady-State Analysis of Genetic Regulatory Networks Modelled by Probabilistic Boolean Networks , 2003, Comparative and functional genomics.

[45]  Debashis Sahoo,et al.  Extracting binary signals from microarray time-course data , 2007, Nucleic acids research.

[46]  E. Davidson,et al.  Modeling transcriptional regulatory networks. , 2002, BioEssays : news and reviews in molecular, cellular and developmental biology.