Design Automation in Synthetic Biology.

Design automation refers to a category of software tools for designing systems that work together in a workflow for designing, building, testing, and analyzing systems with a target behavior. In synthetic biology, these tools are called bio-design automation (BDA) tools. In this review, we discuss the BDA tools areas-specify, design, build, test, and learn-and introduce the existing software tools designed to solve problems in these areas. We then detail the functionality of some of these tools and show how they can be used together to create the desired behavior of two types of modern synthetic genetic regulatory networks.

[1]  Adam Arkin,et al.  Setting the standard in synthetic biology , 2008, Nature Biotechnology.

[2]  Jacob Beal,et al.  Signal-to-Noise Ratio Measures Efficacy of Biological Computing Devices and Circuits , 2015, Front. Bioeng. Biotechnol..

[3]  Matthias Köppe,et al.  SBROME: a scalable optimization and module matching framework for automated biosystems design. , 2013, ACS synthetic biology.

[4]  H. Salis,et al.  Translation rate is controlled by coupled trade-offs between site accessibility, selective RNA unfolding and sliding at upstream standby sites , 2013, Nucleic acids research.

[5]  N. Kikuchi,et al.  CellDesigner 3.5: A Versatile Modeling Tool for Biochemical Networks , 2008, Proceedings of the IEEE.

[6]  Jan-Hendrik S. Hofmeyr,et al.  Modelling cellular systems with PySCeS , 2005, Bioinform..

[7]  Michael Bissell,et al.  Genotype Specification Language. , 2016, ACS synthetic biology.

[8]  Swapnil Bhatia,et al.  Merlin: Computer-Aided Oligonucleotide Design for Large Scale Genome Engineering with MAGE. , 2016, ACS synthetic biology.

[9]  Matthew R. Pocock,et al.  SBOL Visual: A Graphical Language for Genetic Designs , 2015, PLoS biology.

[10]  Andrew Balmford,et al.  Walk on the Wild Side: Estimating the Global Magnitude of Visits to Protected Areas , 2015, PLoS biology.

[11]  S. Brotherstone,et al.  Estimation of quantitative genetic parameters , 2008 .

[12]  Eric Klavins,et al.  Specification and simulation of synthetic multicelled behaviors. , 2012, ACS synthetic biology.

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

[14]  Jens Meiler,et al.  ROSETTA3: an object-oriented software suite for the simulation and design of macromolecules. , 2011, Methods in enzymology.

[15]  Miguel Rocha,et al.  OptFlux: an open-source software platform for in silico metabolic engineering , 2010, BMC Systems Biology.

[16]  Nathan J Hillson,et al.  j5 DNA assembly design automation. , 2014, Methods in molecular biology.

[17]  Douglas Densmore.  Bio-design automation: nobody said it would be easy. , 2012, ACS synthetic biology.

[18]  Linda R. Petzold,et al.  Improved leap-size selection for accelerated stochastic simulation , 2003 .

[19]  Anne Van Devender,et al.  A platform-based design environment for synthetic biological systems , 2009, TAPIA '09.

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

[21]  D. Gillespie.  Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

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

[23]  A. Arkin,et al.  It's a noisy business! Genetic regulation at the nanomolar scale. , 1999, Trends in genetics : TIG.

[24]  D. G. Gibson,et al.  Enzymatic assembly of DNA molecules up to several hundred kilobases , 2009, Nature Methods.

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

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

[27]  Douglas Densmore,et al.  Interactive assembly algorithms for molecular cloning , 2014, Nature Methods.

[28]  Carola Engler,et al.  A One Pot, One Step, Precision Cloning Method with High Throughput Capability , 2008, PloS one.

[29]  Jacob Beal,et al.  Improving Synthetic Biology Communication: Recommended Practices for Visual Depiction and Digital Submission of Genetic Designs. , 2016, ACS synthetic biology.

[30]  Christina D Smolke,et al.  Building outside of the box: iGEM and the BioBricks Foundation , 2009, Nature Biotechnology.

[31]  Le Cong,et al.  Multiplex Genome Engineering Using CRISPR/Cas Systems , 2013, Science.

[32]  Swapnil Bhatia,et al.  Bio-design automation: software + biology + robots. , 2014, Trends in biotechnology.

[33]  Nathan J Hillson,et al.  PR-PR: cross-platform laboratory automation system. , 2014, ACS synthetic biology.

[34]  Håkan L. S. Younes,et al.  Numerical vs. statistical probabilistic model checking , 2006, International Journal on Software Tools for Technology Transfer.

[35]  Drew Endy,et al.  A survey of enabling technologies in synthetic biology , 2013, Journal of biological engineering.

[36]  Allan Kuchinsky,et al.  The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology , 2014, Nature Biotechnology.

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

[38]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.

[39]  Paola Lecca,et al.  Deterministic versus stochastic modelling in biochemistry and systems biology , 2013 .

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

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

[42]  Adam P. Arkin,et al.  GLAMM: Genome-Linked Application for Metabolic Maps , 2011, Nucleic Acids Res..

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

[44]  Anna R. Panchenko,et al.  Refining multiple sequence alignments with conserved core regions , 2006, Nucleic acids research.

[45]  Erika Check Hayden.  Synthetic biology called to order. , 2015, Nature.

[46]  Ilias Tagkopoulos,et al.  Optimal part and module selection for synthetic gene circuit design automation. , 2014, ACS synthetic biology.

[47]  Alfonso Jaramillo,et al.  AutoBioCAD: full biodesign automation of genetic circuits. , 2013, ACS synthetic biology.

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

[49]  Farren J. Isaacs,et al.  Programming cells by multiplex genome engineering and accelerated evolution , 2009, Nature.

[50]  Erika Check Hayden,et al.  Synthetic biologists seek standards for nascent field , 2015, Nature.

[51]  Matthew R. Pocock,et al.  The SBOL Stack: A Platform for Storing, Publishing, and Sharing Synthetic Biology Designs. , 2016, ACS synthetic biology.

[52]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[53]  Jeffrey J. Tabor,et al.  FlowCal: A User-Friendly, Open Source Software Tool for Automatically Converting Flow Cytometry Data from Arbitrary to Calibrated Units. , 2016, ACS synthetic biology.

[54]  Timothy S. Ham,et al.  Design, implementation and practice of JBEI-ICE: an open source biological part registry platform and tools , 2012, Nucleic acids research.

[55]  Corrado Priami,et al.  Snazer: the simulations and networks analyzer , 2010, BMC Systems Biology.

[56]  Maido Remm,et al.  Enhancements and modifications of primer design program Primer3 , 2007, Bioinform..

[57]  B. Faircloth,et al.  Primer3—new capabilities and interfaces , 2012, Nucleic acids research.

[58]  Amin Espah Borujeni,et al.  Translation Initiation is Controlled by RNA Folding Kinetics via a Ribosome Drafting Mechanism. , 2016, Journal of the American Chemical Society.

[59]  D. Gillespie.  Markov Processes: An Introduction for Physical Scientists , 1991 .

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

[61]  Nathan J Hillson,et al.  j5 DNA assembly design automation software. , 2012, ACS synthetic biology.

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

[63]  C. A. Petri.  Communication with automata , 1966 .

[64]  Linda R Petzold,et al.  The slow-scale stochastic simulation algorithm. , 2005, The Journal of chemical physics.

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

[66]  Swapnil Bhatia,et al.  Functional optimization of gene clusters by combinatorial design and assembly , 2014, Nature Biotechnology.

[67]  D. Densmore,et al.  Algorithms for automated DNA assembly , 2010, Nucleic acids research.

[68]  Hyun Uk Kim,et al.  Design of homo-organic acid producing strains using multi-objective optimization. , 2015, Metabolic engineering.

[69]  Manuel Porcar,et al.  iGEM 2.0—refoundations for engineering biology , 2014, Nature Biotechnology.

[70]  Jacob Beal,et al.  Automated selection of synthetic biology parts for genetic regulatory networks. , 2012, ACS synthetic biology.

[71]  Matthew W Lux,et al.  Genetic design automation: engineering fantasy or scientific renewal? , 2012, Trends in biotechnology.

[72]  Mario Andrea Marchisio,et al.  Parts & Pools: A Framework for Modular Design of Synthetic Gene Circuits , 2014, Front. Bioeng. Biotechnol..

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

[74]  Nicholas Roehner,et al.  Double Dutch: A Tool for Designing Combinatorial Libraries of Biological Systems. , 2016, ACS synthetic biology.

[75]  Ernst Oberortner,et al.  Web-based software tool for constraint-based design specification of synthetic biological systems. , 2015, ACS synthetic biology.

[76]  Haiyao Huang,et al.  Fluigi: Microfluidic Device Synthesis for Synthetic Biology , 2014, ACM J. Emerg. Technol. Comput. Syst..

[77]  Jingdong Tian,et al.  Circular Polymerase Extension Cloning of Complex Gene Libraries and Pathways , 2009, PloS one.

[78]  Gang Wu,et al.  The Synthetic Gene Designer: a flexible web platform to explore sequence manipulation for heterologous expression. , 2006, Protein expression and purification.

[79]  Christopher A. Voigt,et al.  Genetic circuit design automation , 2016, Science.

[80]  A. Granell,et al.  GoldenBraid: An Iterative Cloning System for Standardized Assembly of Reusable Genetic Modules , 2011, PloS one.

[81]  S. Elledge,et al.  Harnessing homologous recombination in vitro to generate recombinant DNA via SLIC , 2007, Nature Methods.

[82]  Jacob Beal,et al.  An end-to-end workflow for engineering of biological networks from high-level specifications. , 2012, ACS synthetic biology.

[83]  Madhukar S. Dasika,et al.  OptCircuit: An optimization based method for computational design of genetic circuits , 2008, BMC Systems Biology.

[84]  Chris J Myers,et al.  A methodology to annotate systems biology markup language models with the synthetic biology open language. , 2014, ACS synthetic biology.

[85]  Raphael Gottardo,et al.  Orchestrating high-throughput genomic analysis with Bioconductor , 2015, Nature Methods.

[86]  Swapnil Bhatia,et al.  Pigeon: a design visualizer for synthetic biology. , 2013, ACS synthetic biology.

[87]  Ronan M. T. Fleming,et al.  Quantitative prediction of cellular metabolism with constraint-based models: the COBRA Toolbox v2.0 , 2007, Nature Protocols.

[88]  Walter de Back,et al.  Morpheus: a user-friendly modeling environment for multiscale and multicellular systems biology , 2014, Bioinform..

[89]  Nicolas Le Novère,et al.  BioModels Database: a repository of mathematical models of biological processes. , 2013, Methods in molecular biology.

[90]  Michael Zuker,et al.  Mfold web server for nucleic acid folding and hybridization prediction , 2003, Nucleic Acids Res..

[91]  James W. Fickett,et al.  The GenBank genetic sequence databank , 1986, Nucleic Acids Res..

[92]  P. Waage,et al.  Studies concerning affinity , 1986 .

[93]  Paolo Zuliani,et al.  BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models , 2015, CMSB.

[94]  Goksel Misirli,et al.  Model annotation for synthetic biology: automating model to nucleotide sequence conversion , 2011, Bioinform..

[95]  Jacob Beal,et al.  CIDAR MoClo: Improved MoClo Assembly Standard and New E. coli Part Library Enable Rapid Combinatorial Design for Synthetic and Traditional Biology. , 2016, ACS synthetic biology.

[96]  D. Lipman,et al.  Improved tools for biological sequence comparison. , 1988, Proceedings of the National Academy of Sciences of the United States of America.

[97]  R. Weiss,et al.  Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks , 2011, PloS one.

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

[99]  Ernst Weber,et al.  A Modular Cloning System for Standardized Assembly of Multigene Constructs , 2011, PloS one.

[100]  Nagasuma R. Chandra,et al.  Flux balance analysis of biological systems: applications and challenges , 2009, Briefings Bioinform..

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

[102]  Ivan A. Nestorov,et al.  Sensitivity Analysis of Pharmacokinetic and Pharmacodynamic Systems: I. A Structural Approach to Sensitivity Analysis of Physiologically Based Pharmacokinetic Models , 1999, Journal of Pharmacokinetics and Biopharmaceutics.

[103]  Zhen Zhang,et al.  Sharing Structure and Function in Biological Design with SBOL 2.0. , 2016, ACS synthetic biology.

[104]  Uriel Feige,et al.  Heuristic for maximizing DNA reuse in synthetic DNA library assembly. , 2014, ACS synthetic biology.

[105]  Evan Appleton,et al.  Owl: electronic datasheet generator. , 2014, ACS synthetic biology.

[106]  M. Bennett,et al.  A fast, robust, and tunable synthetic gene oscillator , 2008, Nature.

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

[108]  Kimberly L Ogden,et al.  Efficient extraction method to collect sugar from sweet sorghum , 2013, Journal of Biological Engineering.

[109]  Christopher A. Voigt,et al.  Automated Design of Synthetic Ribosome Binding Sites to Precisely Control Protein Expression , 2009, Nature Biotechnology.

[110]  Drew Endy,et al.  Engineering BioBrick vectors from BioBrick parts , 2008, Journal of Biological Engineering.

[111]  D. Gillespie.  A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[112]  Ian Stark,et al.  The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling , 2008, CMSB.