Modular, rule-based modeling for the design of eukaryotic synthetic gene circuits

BackgroundThe modular design of synthetic gene circuits via composable parts (DNA segments) and pools of signal carriers (molecules such as RNA polymerases and ribosomes) has been successfully applied to bacterial systems. However, eukaryotic cells are becoming a preferential host for new synthetic biology applications. Therefore, an accurate description of the intricate network of reactions that take place inside eukaryotic parts and pools is necessary. Rule-based modeling approaches are increasingly used to obtain compact representations of reaction networks in biological systems. However, this approach is intrinsically non-modular and not suitable per se for the description of composable genetic modules. In contrast, the Model Description Language (MDL) adopted by the modeling tool ProMoT is highly modular and it enables a faithful representation of biological parts and pools.ResultsWe developed a computational framework for the design of complex (eukaryotic) gene circuits by generating dynamic models of parts and pools via the joint usage of the BioNetGen rule-based modeling approach and MDL. The framework converts the specification of a part (or pool) structure into rules that serve as inputs for BioNetGen to calculate the part’s species and reactions. The BioNetGen output is translated into an MDL file that gives a complete description of all the reactions that take place inside the part (or pool) together with a proper interface to connect it to other modules in the circuit. In proof-of-principle applications to eukaryotic Boolean circuits with more than ten genes and more than one thousand reactions, our framework yielded proper representations of the circuits’ truth tables.ConclusionsFor the model-based design of increasingly complex gene circuits, it is critical to achieve exact and systematic representations of the biological processes with minimal effort. Our computational framework provides such a detailed and intuitive way to design new and complex synthetic gene circuits.

[1]  R. Weiss,et al.  Foundations for the design and implementation of synthetic genetic circuits , 2012, Nature Reviews Genetics.

[2]  R. Breaker Riboswitches and the RNA world. , 2012, Cold Spring Harbor perspectives in biology.

[3]  William S. Hlavacek,et al.  BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains , 2004, Bioinform..

[4]  Alfonso Jaramillo,et al.  Asmparts: assembly of biological model parts , 2007, Systems and Synthetic Biology.

[5]  Jean Peccoud,et al.  A syntactic model to design and verify synthetic genetic constructs derived from standard biological parts , 2007, Bioinform..

[6]  Y. Benenson Biomolecular computing systems: principles, progress and potential , 2012, Nature Reviews Genetics.

[7]  D. Endy,et al.  Refinement and standardization of synthetic biological parts and devices , 2008, Nature Biotechnology.

[8]  Drew Endy,et al.  Measuring the activity of BioBrick promoters using an in vivo reference standard , 2009, Journal of biological engineering.

[9]  Tom Ellis,et al.  Rational Diversification of a Promoter Providing Fine-Tuned Expression and Orthogonal Regulation for Synthetic Biology , 2012, PloS one.

[10]  P. Silver,et al.  A tunable zinc finger-based framework for Boolean logic computation in mammalian cells , 2012, Nucleic acids research.

[11]  D. Endy Foundations for engineering biology , 2005, Nature.

[12]  Christina D Smolke,et al.  Synthetic RNA switches as a tool for temporal and spatial control over gene expression. , 2012, Current opinion in biotechnology.

[13]  M. Ptashne A Genetic Switch , 1986 .

[14]  Mudita Singhal,et al.  COPASI - a COmplex PAthway SImulator , 2006, Bioinform..

[15]  Goksel Misirli,et al.  Standard virtual biological parts: a repository of modular modeling components for synthetic biology , 2010, Bioinform..

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

[17]  Chris J. Myers,et al.  Tablet—next generation sequence assembly visualization , 2009, Bioinform..

[18]  Karl-Dieter Entian,et al.  A fast and efficient translational control system for conditional expression of yeast genes , 2009, Nucleic acids research.

[19]  Deepak Chandran,et al.  TinkerCell: modular CAD tool for synthetic biology , 2009, Journal of biological engineering.

[20]  R. Breaker,et al.  Cooperative binding of effectors by an allosteric ribozyme. , 2001, Nucleic acids research.

[21]  Matthew W. Lux,et al.  Essential information for synthetic DNA sequences , 2011, Nature Biotechnology.

[22]  Jörg Stelling,et al.  Computational design of synthetic gene circuits with composable parts , 2008, Bioinform..

[23]  Vipul Periwal,et al.  Synthetic Gene Regulatory Systems , 2006 .

[24]  J. Davies,et al.  Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.

[25]  Satoshi Katahira,et al.  TPS1 Terminator Increases mRNA and Protein Yield in a Saccharomyces cerevisiae Expression System , 2011, Bioscience, biotechnology, and biochemistry.

[26]  Bruce A. Fenderson,et al.  MOLECULAR BIOLOGY OF THE CELL, 5TH EDITION , 2008 .

[27]  Tatiana T. Marquez-Lago,et al.  Synthetic Biology: Dynamic Modeling and Construction of Cell Systems , 2011 .

[28]  Pamela A. Silver,et al.  Eukaryotic systems broaden the scope of synthetic biology , 2009, The Journal of cell biology.

[29]  Swapnil Bhatia,et al.  Developer's and user's guide to Clotho v2.0 A software platform for the creation of synthetic biological systems. , 2011, Methods in enzymology.

[30]  Jeffrey P. Mower,et al.  RNAi in Budding Yeast , 2009, Science.

[31]  Ernst Dieter Gilles,et al.  ProMoT: modular modeling for systems biology , 2009, Bioinform..

[32]  A. Bogdanove,et al.  TAL Effectors: Customizable Proteins for DNA Targeting , 2011, Science.

[33]  Christina D Smolke,et al.  Rational design and tuning of ribozyme-based devices. , 2012, Methods in molecular biology.

[34]  Herbert M. Sauro,et al.  Antimony: a modular model definition language , 2009, Bioinform..

[35]  Zasha Weinberg,et al.  A Glycine-Dependent Riboswitch That Uses Cooperative Binding to Control Gene Expression , 2004, Science.

[36]  Emma M. B. Weeding,et al.  Eugene – A Domain Specific Language for Specifying and Constraining Synthetic Biological Parts, Devices, and Systems , 2011, PloS one.

[37]  James R. Faeder,et al.  Compartmental rule-based modeling of biochemical systems , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[38]  Yaakov Benenson,et al.  Synthetic biology with RNA: progress report. , 2012, Current opinion in chemical biology.

[39]  R. Weiss,et al.  Cancer Cells Multi-Input RNAi-Based Logic Circuit for Identification of Specific , 2011 .

[40]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[41]  Tom Ellis,et al.  Construction of synthetic regulatory networks in yeast , 2012, FEBS letters.

[42]  Jörg Stelling,et al.  Synthetic gene network computational design , 2009, 2009 IEEE International Symposium on Circuits and Systems.

[43]  Jonathan A. Goler BioJADE: A Design and Simulation Tool for Synthetic Biological Systems , 2004 .

[44]  M Ptashne,et al.  DNA binding is not sufficient for nuclear localization of regulatory proteins in Saccharomyces cerevisiae , 1986, Molecular and cellular biology.

[45]  Mario di Bernardo,et al.  Modeling RNA interference in mammalian cells , 2011, BMC Systems Biology.

[46]  Julio Saez-Rodriguez,et al.  Dissecting the puzzle of life: modularization of signal transduction networks , 2005, Comput. Chem. Eng..

[47]  Andrew Phillips,et al.  Towards programming languages for genetic engineering of living cells , 2009, Journal of The Royal Society Interface.

[48]  H. Sauro,et al.  Standard Biological Parts Knowledgebase , 2011, PloS one.

[49]  Carsten Conradi,et al.  The Process-Interaction-Model: a common representation of rule-based and logical models allows studying signal transduction on different levels of detail , 2012, BMC Bioinformatics.

[50]  Cosimo Laneve,et al.  Formal molecular biology , 2004, Theor. Comput. Sci..

[51]  Vassilios Sotiropoulos,et al.  SynBioSS: the synthetic biology modeling suite , 2008, Bioinform..

[52]  Jean Peccoud,et al.  Writing DNA with GenoCAD™ , 2009, Nucleic Acids Res..

[53]  Jörg Stelling,et al.  Automatic Design of Digital Synthetic Gene Circuits , 2011, PLoS Comput. Biol..

[54]  Andreas Kremling,et al.  Modular Modeling of Cellular Systems with ProMoT/Diva , 2003, Bioinform..