GenoCAD for iGEM: a grammatical approach to the design of standard-compliant constructs

Expanding the toolbox of probiotic Escherichia coli Nissle 1917 for synthetic biology

Escherichia coli Nissle 1917 (EcN) is a probiotic microbe that has the potential to be developed as a promising chassis for synthetic biology applications. However, the molecular tools and techniques for utilizing EcN remain to be further explored. To address this opportunity, the EcN-based toolbox was systematically expanded, enabling EcN as a powerful platform for more applications. First, two EcN cryptic plasmids and other compatible plasmids were genetically engineered to enrich the manipulable plasmid toolbox for multiple gene coexpression. Next, two EcN-based technologies were developed, including the conjugation strategy for DNA transfer, and quantification of protein expression capability. Finally, the EcN-based applications were further expanded by developing EcN native integrase-mediated genetic engineering and establishing an in vitro cell-free protein synthesis (CFPS) system. Overall, this study expanded the toolbox for manipulating and making full use of EcN as a commonly used probiotic chassis, providing several simplified, dependable, and predictable strategies for researchers working in synthetic biology fields.

GoldBricks: an improved cloning strategy that combines features of Golden Gate and BioBricks for better efficiency and usability

With increasing complexity of expression studies and the repertoire of characterized sequences, combinatorial cloning has become a common necessity. Techniques like BioBricks and Golden Gate aim to standardize and speed up the process of cloning large constructs while enabling sharing of resources. The BioBricks format provides a simplified and flexible approach to endless assembly with a compact library and useful intermediates but is a slow process, joining only two parts in a cycle. Golden Gate improves upon the speed with use of Type IIS enzymes and joins several parts in a cycle but requires a larger library of parts and logistical inefficiencies scale up significantly in the multigene format. We present here a method that provides improvement over these techniques by combining their features. By using Type IIS enzymes in a format like BioBricks, we have enabled a faster and efficient assembly with reduced scarring, which performs at a similarly fast pace as Golden Gate, but significantly reduces library size and user input. Additionally, this method enables faster assembly of operon-style constructs, a feature requiring extensive workaround in Golden Gate. Our format allows such inclusions resulting in faster and more efficient assembly.

BioMaster: An Integrated Database and Analytic Platform to Provide Comprehensive Information About BioBrick Parts

Synthetic biology seeks to create new biological parts, devices, and systems, and to reconfigure existing natural biological systems for custom-designed purposes. The standardized BioBrick parts are the foundation of synthetic biology. The incomplete and flawed metadata of BioBrick parts, however, are a major obstacle for designing genetic circuit easily, quickly, and accurately. Here, a database termed BioMaster http://www.biomaster-uestc.cn was developed to extensively complement information about BioBrick parts, which includes 47,934 items of BioBrick parts from the international Genetically Engineered Machine (iGEM) Registry with more comprehensive information integrated from 10 databases, providing corresponding information about functions, activities, interactions, and related literature. Moreover, BioMaster is also a user-friendly platform for retrieval and analyses of relevant information on BioBrick parts.

Auxotrophy to Xeno-DNA: an exploration of combinatorial mechanisms for a high-fidelity biosafety system for synthetic biology applications

BACKGROUND

Biosafety is a key aspect in the international Genetically Engineered Machine (iGEM) competition, which offers student teams an amazing opportunity to pursue their own research projects in the field of Synthetic Biology. iGEM projects often involve the creation of genetically engineered bacterial strains. To minimize the risks associated with bacterial release, a variety of biosafety systems were constructed, either to prevent survival of bacteria outside the lab or to hinder horizontal or vertical gene transfer.

MAIN BODY

Physical containment methods such as bioreactors or microencapsulation are considered the first safety level. Additionally, various systems involving auxotrophies for both natural and synthetic compounds have been utilized by iGEM teams in recent years. Combinatorial systems comprising multiple auxotrophies have been shown to reduced escape frequencies below the detection limit. Furthermore, a number of natural toxin-antitoxin systems can be deployed to kill cells under certain conditions. Additionally, parts of naturally occurring toxin-antitoxin systems can be used for the construction of 'kill switches' controlled by synthetic regulatory modules, allowing control of cell survival. Kill switches prevent cell survival but do not completely degrade nucleic acids. To avoid horizontal gene transfer, multiple mechanisms to cleave nucleic acids can be employed, resulting in 'self-destruction' of cells. Changes in light or temperature conditions are powerful regulators of gene expression and could serve as triggers for kill switches or self-destruction systems. Xenobiology-based containment uses applications of Xeno-DNA, recoded codons and non-canonical amino acids to nullify the genetic information of constructed cells for wild type organisms. A 'minimal genome' approach brings the opportunity to reduce the genome of a cell to only genes necessary for survival under lab conditions. Such cells are unlikely to survive in the natural environment and are thus considered safe hosts. If suitable for the desired application, a shift to cell-free systems based on Xeno-DNA may represent the ultimate biosafety system.

CONCLUSION

Here we describe different containment approaches in synthetic biology, ranging from auxotrophies to minimal genomes, which can be combined to significantly improve reliability. Since the iGEM competition greatly increases the number of people involved in synthetic biology, we will focus especially on biosafety systems developed and applied in the context of the iGEM competition.

Optimizing DNA assembly based on statistical language modelling

By successively assembling genetic parts such as BioBrick according to grammatical models, complex genetic constructs composed of dozens of functional blocks can be built. However, usually every category of genetic parts includes a few or many parts. With increasing quantity of genetic parts, the process of assembling more than a few sets of these parts can be expensive, time consuming and error prone. At the last step of assembling it is somewhat difficult to decide which part should be selected. Based on statistical language model, which is a probability distribution P(s) over strings S that attempts to reflect how frequently a string S occurs as a sentence, the most commonly used parts will be selected. Then, a dynamic programming algorithm was designed to figure out the solution of maximum probability. The algorithm optimizes the results of a genetic design based on a grammatical model and finds an optimal solution. In this way, redundant operations can be reduced and the time and cost required for conducting biological experiments can be minimized.

Use of processed data to design an orderly logic gate to construct plasmids in GenoCAD

Rapid developments have been made in synthetic biology within the past two decades, particularly in combination with chemistry, computer science, and other disciplines. Genetic components and internal features have been a main focus of research for synthetic biologists. Logic gates can be applied in various disciplines, but have not yet been used for plasmid design. GenoCAD is a computer-aided design software programme for synthetic biology that can be used to design complex structures. Thus, in this study, the authors analysed a large, commonly used data set containing over 70,000 feature sequences and eventually obtained comprehensive information for a complete data set without redundancy. By analysing the internal feature sequences, the authors input the most representative data in the GenoCAD platform, along with design rules and grammar for constructing high-quality practical parts. Additionally, the orderly logic gate for building biological parts designed in this study may be useful for professionals and non-professionals and may have applications in the design of a new biological computer. Finally, the authors compared the constructed plasmid with other successful examples in BLAST and PlasMapper software to demonstrate the rationality of the orderly logic gate.

A Versatile Microfluidic Device for Automating Synthetic Biology

New microbes are being engineered that contain the genetic circuitry, metabolic pathways, and other cellular functions required for a wide range of applications such as producing biofuels, biobased chemicals, and pharmaceuticals. Although currently available tools are useful in improving the synthetic biology process, further improvements in physical automation would help to lower the barrier of entry into this field. We present an innovative microfluidic platform for assembling DNA fragments with 10× lower volumes (compared to that of current microfluidic platforms) and with integrated region-specific temperature control and on-chip transformation. Integration of these steps minimizes the loss of reagents and products compared to that with conventional methods, which require multiple pipetting steps. For assembling DNA fragments, we implemented three commonly used DNA assembly protocols on our microfluidic device: Golden Gate assembly, Gibson assembly, and yeast assembly (i.e., TAR cloning, DNA Assembler). We demonstrate the utility of these methods by assembling two combinatorial libraries of 16 plasmids each. Each DNA plasmid is transformed into Escherichia coli or Saccharomyces cerevisiae using on-chip electroporation and further sequenced to verify the assembly. We anticipate that this platform will enable new research that can integrate this automated microfluidic platform to generate large combinatorial libraries of plasmids and will help to expedite the overall synthetic biology process.

Towards a behavioral-matching based compilation of synthetic biology functions

The field of synthetic biology is looking forward engineering framework for safely designing reliable de-novo biological functions. In this undertaking, Computer-Aided-Design (CAD) environments should play a central role for facilitating the design. Although, CAD environment is widely used to engineer artificial systems the application in synthetic biology is still in its infancy. In this article we address the problem of the design of a high level language which at the core of CAD environment. More specifically the Gubs (Genomic Unified Behavioural Specification) language is a specification language used to describe the observations of the expected behaviour. The compiler appropriately selects components such that the observation of the synthetic biological function resulting to their assembly complies to the programmed behaviour.

Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language

In the context of synthetic biology, model generation is the automated process of constructing biochemical models based on genetic designs. This paper discusses the use cases for model generation in genetic design automation (GDA) software tools and introduces the foundational concepts of standards and model annotation that make this process useful. Finally, this paper presents an implementation of model generation in the GDA software tool iBioSim and provides an example of generating a Systems Biology Markup Language (SBML) model from a design of a 4-input AND sensor written in the Synthetic Biology Open Language (SBOL).

Rule-Based Design of Plant Expression Vectors Using GenoCAD

Plant synthetic biology requires software tools to assist on the design of complex multi-genic expression plasmids. Here a vector design strategy to express genes in plants is formalized and implemented as a grammar in GenoCAD, a Computer-Aided Design software for synthetic biology. It includes a library of plant biological parts organized in structural categories and a set of rules describing how to assemble these parts into large constructs. Rules developed here are organized and divided into three main subsections according to the aim of the final construct: protein localization studies, promoter analysis and protein-protein interaction experiments. The GenoCAD plant grammar guides the user through the design while allowing users to customize vectors according to their needs. Therefore the plant grammar implemented in GenoCAD will help plant biologists take advantage of methods from synthetic biology to design expression vectors supporting their research projects.

GenoLIB: a database of biological parts derived from a library of common plasmid features

Synthetic biologists rely on databases of biological parts to design genetic devices and systems. The sequences and descriptions of genetic parts are often derived from features of previously described plasmids using ad hoc, error-prone and time-consuming curation processes because existing databases of plasmids and features are loosely organized. These databases often lack consistency in the way they identify and describe sequences. Furthermore, legacy bioinformatics file formats like GenBank do not provide enough information about the purpose of features. We have analyzed the annotations of a library of ∼2000 widely used plasmids to build a non-redundant database of plasmid features. We looked at the variability of plasmid features, their usage statistics and their distributions by feature type. We segmented the plasmid features by expression hosts. We derived a library of biological parts from the database of plasmid features. The library was formatted using the Synthetic Biology Open Language, an emerging standard developed to better organize libraries of genetic parts to facilitate synthetic biology workflows. As proof, the library was converted into GenoCAD grammar files to allow users to import and customize the library based on the needs of their research projects.

Proposed data model for the next version of the synthetic biology open language

While the first version of the Synthetic Biology Open Language (SBOL) has been adopted by several academic and commercial genetic design automation (GDA) software tools, it only covers a limited number of the requirements for a standardized exchange format for synthetic biology. In particular, SBOL Version 1.1 is capable of representing DNA components and their hierarchical composition via sequence annotations. This proposal revises SBOL Version 1.1, enabling the representation of a wider range of components with and without sequences, including RNA components, protein components, small molecules, and molecular complexes. It also introduces modules to instantiate groups of components on the basis of their shared function and assert molecular interactions between components. By increasing the range of structural and functional descriptions in SBOL and allowing for their composition, the proposed improvements enable SBOL to represent and facilitate the exchange of a broader class of genetic designs.

Application of synthetic biology for production of chemicals in yeast Saccharomyces cerevisiae

Synthetic biology and metabolic engineering enable generation of novel cell factories that efficiently convert renewable feedstocks into biofuels, bulk, and fine chemicals, thus creating the basis for biosustainable economy independent on fossil resources. While over a hundred proof-of-concept chemicals have been made in yeast, only a very small fraction of those has reached commercial-scale production so far. The limiting factor is the high research cost associated with the development of a robust cell factory that can produce the desired chemical at high titer, rate, and yield. Synthetic biology has the potential to bring down this cost by improving our ability to predictably engineer biological systems. This review highlights synthetic biology applications for design, assembly, and optimization of non-native biochemical pathways in baker's yeast Saccharomyces cerevisiae We describe computational tools for the prediction of biochemical pathways, molecular biology methods for assembly of DNA parts into pathways, and for introducing the pathways into the host, and finally approaches for optimizing performance of the introduced pathways.

Integration of microfluidics into the synthetic biology design flow

One goal of synthetic biology is to design and build genetic circuits in living cells for a range of applications. Major challenges in these efforts include increasing the scalability and robustness of engineered biological systems and streamlining and automating the synthetic biology workflow of specification-design-assembly-verification. We present here a summary of the advances in microfluidic technology, particularly microfluidic large scale integration, that can be used to address the challenges facing each step of the synthetic biology workflow. Microfluidic technologies allow precise control over the flow of biological content within microscale devices, and thus may provide more reliable and scalable construction of synthetic biological systems. The integration of microfluidics and synthetic biology has the capability to produce rapid prototyping platforms for characterization of genetic devices, testing of biotherapeutics, and development of biosensors.

Advances and computational tools towards predictable design in biological engineering

The design process of complex systems in all the fields of engineering requires a set of quantitatively characterized components and a method to predict the output of systems composed by such elements. This strategy relies on the modularity of the used components or the prediction of their context-dependent behaviour, when parts functioning depends on the specific context. Mathematical models usually support the whole process by guiding the selection of parts and by predicting the output of interconnected systems. Such bottom-up design process cannot be trivially adopted for biological systems engineering, since parts function is hard to predict when components are reused in different contexts. This issue and the intrinsic complexity of living systems limit the capability of synthetic biologists to predict the quantitative behaviour of biological systems. The high potential of synthetic biology strongly depends on the capability of mastering this issue. This review discusses the predictability issues of basic biological parts (promoters, ribosome binding sites, coding sequences, transcriptional terminators, and plasmids) when used to engineer simple and complex gene expression systems in Escherichia coli. A comparison between bottom-up and trial-and-error approaches is performed for all the discussed elements and mathematical models supporting the prediction of parts behaviour are illustrated.

Development of a domain-specific genetic language to design Chlamydomonas reinhardtii expression vectors

MOTIVATION

Expression vectors used in different biotechnology applications are designed with domain-specific rules. For instance, promoters, origins of replication or homologous recombination sites are host-specific. Similarly, chromosomal integration or viral delivery of an expression cassette imposes specific structural constraints. As de novo gene synthesis and synthetic biology methods permeate many biotechnology specialties, the design of application-specific expression vectors becomes the new norm. In this context, it is desirable to formalize vector design strategies applicable in different domains.

RESULTS

Using the design of constructs to express genes in the chloroplast of Chlamydomonas reinhardtii as an example, we show that a vector design strategy can be formalized as a domain-specific language. We have developed a graphical editor of context-free grammars usable by biologists without prior exposure to language theory. This environment makes it possible for biologists to iteratively improve their design strategies throughout the course of a project. It is also possible to ensure that vectors designed with early iterations of the language are consistent with the latest iteration of the language.

AVAILABILITY AND IMPLEMENTATION

The context-free grammar editor is part of the GenoCAD application. A public instance of GenoCAD is available at http://www.genocad.org. GenoCAD source code is available from SourceForge and licensed under the Apache v2.0 open source license.

PaR-PaR laboratory automation platform

Labor-intensive multistep biological tasks, such as the construction and cloning of DNA molecules, are prime candidates for laboratory automation. Flexible and biology-friendly operation of robotic equipment is key to its successful integration in biological laboratories, and the efforts required to operate a robot must be much smaller than the alternative manual lab work. To achieve these goals, a simple high-level biology-friendly robot programming language is needed. We have developed and experimentally validated such a language: Programming a Robot (PaR-PaR). The syntax and compiler for the language are based on computer science principles and a deep understanding of biological workflows. PaR-PaR allows researchers to use liquid-handling robots effectively, enabling experiments that would not have been considered previously. After minimal training, a biologist can independently write complicated protocols for a robot within an hour. Adoption of PaR-PaR as a standard cross-platform language would enable hand-written or software-generated robotic protocols to be shared across laboratories.

Taxonomy-Based Glyph Design—with a Case Study on Visualizing Workflows of Biological Experiments

Glyph-based visualization can offer elegant and concise presentation of multivariate information while enhancing speed and ease in visual search experienced by users. As with icon designs, glyphs are usually created based on the designers' experience and intuition, often in a spontaneous manner. Such a process does not scale well with the requirements of applications where a large number of concepts are to be encoded using glyphs. To alleviate such limitations, we propose a new systematic process for glyph design by exploring the parallel between the hierarchy of concept categorization and the ordering of discriminative capacity of visual channels. We examine the feasibility of this approach in an application where there is a pressing need for an efficient and effective means to visualize workflows of biological experiments. By processing thousands of workflow records in a public archive of biological experiments, we demonstrate that a cost-effective glyph design can be obtained by following a process of formulating a taxonomy with the aid of computation, identifying visual channels hierarchically, and defining application-specific abstraction and metaphors.