An End-to-End Workflow for Engineering of Biological Networks from High-Level Specifications
详细信息 查看全文
- 作者：Jacob Beal ; Ron Weiss ; Douglas Densmore ; Aaron Adler ; Evan Appleton ; Jonathan Babb ; Swapnil Bhatia ; Noah Davidsohn ; Traci Haddock ; Joseph Loyall ; Richard Schantz ; Viktor Vasilev ; Fusun Yaman
- 刊名：ACS Synthetic Biology
- 出版年：2012
- 出版时间：August 17, 2012
- 年：2012
- 卷：1
- 期：8
- 页码：317-331
- 全文大小：730K
- 年卷期：v.1,no.8(August 17, 2012)
- ISSN：2161-5063
文摘
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鈥檚 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.