An end-to-end workflow for engineering of biological networks from high-level specifications.

We present a workflow for the design and production of biological networks from high-level program specifications. The workflow is based on a sequence of intermediate models that incrementally translate high-level specifications into DNA samples that implement them. We identify algorithms for translating between adjacent models and implement them as a set of software tools, organized into a four-stage toolchain: Specification, Compilation, Part Assignment, and Assembly. The specification stage begins with a Boolean logic computation specified in the Proto programming language. The compilation stage uses a library of network motifs and cellular platforms, also specified in Proto, to transform the program into an optimized Abstract Genetic Regulatory Network (AGRN) that implements the programmed behavior. The part assignment stage assigns DNA parts to the AGRN, drawing the parts from a database for the target cellular platform, to create a DNA sequence implementing the AGRN. Finally, the assembly stage computes an optimized assembly plan to create the DNA sequence from available part samples, yielding a protocol for producing a sample of engineered plasmids with robotics assistance. Our workflow is the first to automate the production of biological networks from a high-level program specification. Furthermore, the workflow's modular design allows the same program to be realized on different cellular platforms simply by swapping workflow configurations. We validated our workflow by specifying a small-molecule sensor-reporter program and verifying the resulting plasmids in both HEK 293 mammalian cells and in E. coli bacterial cells.

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

[2]  J. Collins,et al.  DIVERSITY-BASED, MODEL-GUIDED CONSTRUCTION OF SYNTHETIC GENE NETWORKS WITH PREDICTED FUNCTIONS , 2009, Nature Biotechnology.

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

[4]  Ahmad S. Khalil,et al.  Synthetic biology: applications come of age , 2010, Nature Reviews Genetics.

[5]  Timothy S. Ham,et al.  Production of the antimalarial drug precursor artemisinic acid in engineered yeast , 2006, Nature.

[6]  Liliana Wroblewska,et al.  A Novel Method for Mammalian Large Genetic Circuit Assembly and Delivery , 2012 .

[7]  P. Swain,et al.  Accurate prediction of gene feedback circuit behavior from component properties , 2007, Molecular systems biology.

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

[9]  Jacob Beal,et al.  Infrastructure for engineered emergence on sensor/actuator networks , 2006, IEEE Intelligent Systems.

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

[11]  Timothy S. Ham,et al.  Design and Construction of a Double Inversion Recombination Switch for Heritable Sequential Genetic Memory , 2008, PloS one.

[12]  백남주.  자동설계 ( Automatic Design ) , 1978 .

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

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

[15]  Alan Villalobos,et al.  Gene Designer: a synthetic biology tool for constructing artificial DNA segments , 2006, BMC Bioinformatics.

[16]  Jacob Beal,et al.  Cells Are Plausible Targets for High-Level Spatial Languages , 2008, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[17]  Alfonso Jaramillo,et al.  Computational design of synthetic regulatory networks from a genetic library to characterize the designability of dynamical behaviors , 2011, Nucleic acids research.

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

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

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

[21]  L. Tsimring,et al.  A synchronized quorum of genetic clocks , 2009, Nature.

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

[23]  R. Weiss,et al.  Ultrasensitivity and noise propagation in a synthetic transcriptional cascade. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[24]  Calin Belta,et al.  Experimentally driven verification of synthetic biological circuits , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

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

[26]  Nathan J Hillson,et al.  DeviceEditor visual biological CAD canvas , 2012, Journal of Biological Engineering.

[27]  D. Endy,et al.  Rewritable digital data storage in live cells via engineered control of recombination directionality , 2012, Proceedings of the National Academy of Sciences.

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

[29]  J. Boeke,et al.  GeneDesign: rapid, automated design of multikilobase synthetic genes. , 2006, Genome research.

[30]  Jay D Keasling,et al.  Metabolic engineering delivers next-generation biofuels , 2008, Nature Biotechnology.

[31]  Alfonso Jaramillo,et al.  Computational design of digital and memory biological devices , 2007, Systems and Synthetic Biology.

[32]  Matthias Köppe,et al.  Automatic Design of Synthetic Gene Circuits through Mixed Integer Non-linear Programming , 2012, PloS one.

[33]  Jacob Beal,et al.  A Method for Fast, High-Precision Characterization of Synthetic Biology Devices , 2012 .

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

[35]  Christopher A. Voigt,et al.  Robust multicellular computing using genetically encoded NOR gates and chemical ‘wires’ , 2011, Nature.

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

[37]  Ron Weiss,et al.  Engineering life: building a fab for biology. , 2006, Scientific American.

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

[39]  George M Church,et al.  Multiplexed genome engineering and genotyping methods applications for synthetic biology and metabolic engineering. , 2011, Methods in enzymology.

[40]  Jay D. Keasling,et al.  A model for improving microbial biofuel production using a synthetic feedback loop , 2010, Systems and Synthetic Biology.

[41]  Christopher A. Voigt,et al.  Environmentally controlled invasion of cancer cells by engineered bacteria. , 2006, Journal of molecular biology.

[42]  Randolph V. Lewis,et al.  Spider Silk: Ancient Ideas for New Biomaterials , 2006 .

[43]  Wendell A Lim,et al.  Synthetic biology: lessons from the history of synthetic organic chemistry , 2007, Nature Chemical Biology.

[44]  J. Collins,et al.  Construction of a genetic toggle switch in Escherichia coli , 2000, Nature.

[45]  M. Elowitz,et al.  A synthetic oscillatory network of transcriptional regulators , 2000, Nature.

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

[47]  Ron Weiss,et al.  Cellular computation and communications using engineered genetic regulatory networks , 2001, Cellular Computing.

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

[49]  Thomas F. Knight,et al.  Idempotent Vector Design for Standard Assembly of Biobricks , 2003 .

[50]  Jeremy Minshull,et al.  Engineering the Salmonella type III secretion system to export spider silk monomers , 2009, Molecular systems biology.

[51]  Jacob Beal,et al.  Continuous Space-Time Semantics Allow Adaptive Program Execution , 2007, First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007).

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

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

[54]  Reshma P. Shetty,et al.  Applying engineering principles to the design and construction of transcriptional devices , 2008 .

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

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