iBioSim 3: A Tool for Model-Based Genetic Circuit Design

Genetic Parts and Enabling Tools for Biocircuit Design

Synthetic biology aims to engineer biological systems for customized tasks through the bottom-up assembly of fundamental building blocks, which requires high-quality libraries of reliable, modular, and standardized genetic parts. To establish sets of parts that work well together, synthetic biologists created standardized part libraries in which every component is analyzed in the same metrics and context. Here we present a state-of-the-art review of the currently available part libraries for designing biocircuits and their gene expression regulation paradigms at transcriptional, translational, and post-translational levels in Escherichia coli. We discuss the necessary facets to integrate these parts into complex devices and systems along with the current efforts to catalogue and standardize measurement data. To better display the range of available parts and to facilitate part selection in synthetic biology workflows, we established biopartsDB, a curated database of well-characterized and useful genetic part and device libraries with detailed quantitative data validated by the published literature.

Investigating and Modeling the Factors That Affect Genetic Circuit Performance

Over the past 2 decades, synthetic biology has yielded ever more complex genetic circuits that are able to perform sophisticated functions in response to specific signals. Yet, genetic circuits are not immediately transferable to an outside-the-lab setting where their performance is highly compromised. We propose introducing a broader test step to the design-build-test-learn workflow to include factors that might contribute to unexpected genetic circuit performance. As a proof of concept, we have designed and evaluated a genetic circuit in various temperatures, inducer concentrations, nonsterilized soil exposure, and bacterial growth stages. We determined that the circuit's performance is dramatically altered when these factors differ from the optimal lab conditions. We observed significant changes in the time for signal detection as well as signal intensity when the genetic circuit was tested under nonoptimal lab conditions. As a learning effort, we then proceeded to generate model predictions in untested conditions, which is currently lacking in synthetic biology application design. Furthermore, broader test and learn steps uncovered a negative correlation between the time it takes for a gate to turn ON and the bacterial growth phases. As the synthetic biology discipline transitions from proof-of-concept genetic programs to appropriate and safe application implementations, more emphasis on test and learn steps (i.e., characterizing parts and circuits for a broad range of conditions) will provide missing insights on genetic circuit behavior outside the lab.

Algorithmic Programming of Sequential Logic and Genetic Circuits for Recording Biochemical Concentration in a Probiotic Bacterium

Through the implementation of designable genetic circuits, engineered probiotic microorganisms could be used as noninvasive diagnostic tools for the gastrointestinal tract. For these living cells to report detected biomarkers or signals after exiting the gut, the genetic circuits must be able to record these signals by using genetically encoded memory. Complex memory register circuits could enable multiplex interrogation of biomarkers and signals. A theory-based approach to create genetic circuits containing memory, known as sequential logic circuits, was previously established for a model laboratory strain of Escherichia coli, yet how circuit component performance varies for nonmodel and clinically relevant bacterial strains is poorly understood. Here, we develop a scalable computational approach to design robust sequential logic circuits in probiotic strain Escherichia coli Nissle 1917 (EcN). In this work, we used TetR-family transcriptional repressors to build genetic logic gates that can be composed into sequential logic circuits, along with a set of engineered sensors relevant for use in the gut environment. Using standard methods, 16 genetic NOT gates and nine sensors were experimentally characterized in EcN. These data were used to design and predict the performance of circuit designs. We present a set of genetic circuits encoding both combinational logic and sequential logic and show that the circuit outputs are in close agreement with our quantitative predictions from the design algorithm. Furthermore, we demonstrate an analog-like concentration recording circuit that detects and reports three input concentration ranges of a biochemical signal using sequential logic.

SynBioSuite: A Tool for Improving the Workflow for Genetic Design and Modeling

Synthetic biology research has led to the development of many software tools for designing, constructing, editing, simulating, and sharing genetic parts and circuits. Among these tools are SBOLCanvas, iBioSim, and SynBioHub, which can be used in conjunction to create a genetic circuit design following the design-build-test-learn process. However, although automation works within these tools, most of these software tools are not integrated, and the process of transferring information between them is a very manual, error-prone process. To address this problem, this work automates some of these processes and presents SynBioSuite, a cloud-based tool that eliminates many of the drawbacks of the current approach by automating the setup and reception of results for simulating a designed genetic circuit via an application programming interface.

Excel-SBOL Converter: Creating SBOL from Excel Templates and Vice Versa

Standards support synthetic biology research by enabling the exchange of component information. However, using formal representations, such as the Synthetic Biology Open Language (SBOL), typically requires either a thorough understanding of these standards or a suite of tools developed in concurrence with the ontologies. Since these tools may be a barrier for use by many practitioners, the Excel-SBOL Converter was developed to facilitate the use of SBOL and integration into existing workflows. The converter consists of two Python libraries: one that converts Excel templates to SBOL and another that converts SBOL to an Excel workbook. Both libraries can be used either directly or via a SynBioHub plugin.

The in silico lab: Improving academic code using lessons from biology

"Good code" is often regarded as a nebulous, impractical ideal. Common best practices toward improving code quality can be inaccessible to those without a rigorous computer science or software engineering background, contributing to a gap between advancing scientific research and FAIR practices. We seek to equip researchers with the necessary background and context to tackle the challenge of improving code quality in computational biology research using analogies from biology to synthesize why certain best practices are critical for advancing computational research. Improving code quality requires active stewardship; we encourage researchers to deliberately adopt and share practices that ensure reusability, repeatability, and reproducibility.

Novel Ground-Up 3D Multicellular Simulators for Synthetic Biology CAD Integrating Stochastic Gillespie Simulations Benchmarked with Topologically Variable SBML Models

The elevation of Synthetic Biology from single cells to multicellular simulations would be a significant scale-up. The spatiotemporal behavior of cellular populations has the potential to be prototyped in silico for computer assisted design through ergonomic interfaces. Such a platform would have great practical potential across medicine, industry, research, education and accessible archiving in bioinformatics. Existing Synthetic Biology CAD systems are considered limited regarding population level behavior, and this work explored the in silico challenges posed from biological and computational perspectives. Retaining the connection to Synthetic Biology CAD, an extension of the Infobiotics Workbench Suite was considered, with potential for the integration of genetic regulatory models and/or chemical reaction networks through Next Generation Stochastic Simulator (NGSS) Gillespie algorithms. These were executed using SBML models generated by in-house SBML-Constructor over numerous topologies and benchmarked in association with multicellular simulation layers. Regarding multicellularity, two ground-up multicellular solutions were developed, including the use of Unreal Engine 4 contrasted with CPU multithreading and Blender visualization, resulting in a comparison of real-time versus batch-processed simulations. In conclusion, high-performance computing and client-server architectures could be considered for future works, along with the inclusion of numerous biologically and physically informed features, whilst still pursuing ergonomic solutions.

Calibrating spatiotemporal models of microbial communities to microscopy data: A review

Spatiotemporal models that account for heterogeneity within microbial communities rely on single-cell data for calibration and validation. Such data, commonly collected via microscopy and flow cytometry, have been made more accessible by recent advances in microfluidics platforms and data processing pipelines. However, validating models against such data poses significant challenges. Validation practices vary widely between modelling studies; systematic and rigorous methods have not been widely adopted. Similar challenges are faced by the (macrobial) ecology community, in which systematic calibration approaches are often employed to improve quantitative predictions from computational models. Here, we review single-cell observation techniques that are being applied to study microbial communities and the calibration strategies that are being employed for accompanying spatiotemporal models. To facilitate future calibration efforts, we have compiled a list of summary statistics relevant for quantifying spatiotemporal patterns in microbial communities. Finally, we highlight some recently developed techniques that hold promise for improved model calibration, including algorithmic guidance of summary statistic selection and machine learning approaches for efficient model simulation.

BMSS2: A Unified Database-Driven Modeling Tool for Systematic Biomodel Selection

Modeling in synthetic biology constitutes a powerful means in our continuous search for improved performance with a rational Design-Build-Test-Learn approach. Particularly, kinetic models unravel system dynamics and enable system analysis for guiding experimental design. However, a systematic yet modular pipeline that allows one to identify the appropriate model and guide the experimental designs while tracing the entire model development and analysis is still lacking. Here, we develop BMSS2, a unified tool that streamlines and automates model selection by combining information criterion ranking with upstream and parallel analysis algorithms. These include Bayesian parameter inference, a priori and a posteriori identifiability analysis, and global sensitivity analysis. In addition, the database-driven design supports interactive model storage/retrieval to encourage reusability and facilitate automated model selection. This allows ease of model manipulation and deposition for the selection and analysis, thus enabling better utilization of models in guiding experimental design.

A framework to efficiently describe and share reproducible DNA materials and construction protocols

DNA constructs and their annotated sequence maps have been rapidly accumulating with the advancement of DNA cloning, synthesis, and assembly methods. Such resources have also been utilized in designing and building new DNA materials. However, as commonly seen in the life sciences, no framework exists to describe reproducible DNA construction processes. Furthermore, the use of previously developed DNA materials and building protocols is usually not appropriately credited. Here, we report a framework QUEEN (framework to generate quinable and efficiently editable nucleotide sequence resources) to resolve these issues and accelerate the building of DNA. QUEEN enables the flexible design of new DNA by using existing DNA material resource files and recording its construction process in an output file (GenBank file format). A GenBank file generated by QUEEN can regenerate the process code such that it perfectly clones itself and bequeaths the same process code to its successive GenBank files, recycling its partial DNA resources. QUEEN-generated GenBank files are compatible with existing DNA repository services and software. We propose QUEEN as a solution to start significantly advancing the material and protocol sharing of DNA resources.

DNA constructs and their annotated sequence maps have been rapidly accumulating with the advancement of DNA cloning, synthesis, and assembly methods. Here the authors introduce QUEEN, a framework to describe and share DNA materials and construction protocols.

LOICA: Integrating Models with Data for Genetic Network Design Automation

Genetic design automation tools are necessary to expand the scale and complexity of possible synthetic genetic networks. These tools are enabled by abstraction of a hierarchy of standardized components and devices. Abstracted elements must be parametrized from data derived from relevant experiments, and these experiments must be related to the part composition of the abstract components. Here we present Logical Operators for Integrated Cell Algorithms (LOICA), a Python package for designing, modeling, and characterizing genetic networks based on a simple object-oriented design abstraction. LOICA uses classes to represent different biological and experimental components, which generate models through their interactions. These models can be parametrized by direct connection to data contained in Flapjack so that abstracted components of designs can characterize themselves. Models can be simulated using continuous or stochastic methods and the data published and managed using Flapjack. LOICA also outputs SBOL3 descriptions and generates graph representations of genetic network designs.

Engineering genetic circuits: advancements in genetic design automation tools and standards for synthetic biology

Synthetic biology (SynBio) is a field at the intersection of biology and engineering. Inspired by engineering principles, researchers use defined parts to build functionally defined biological circuits. Genetic design automation (GDA) allows scientists to design, model, and analyze their genetic circuits in silico before building them in the lab, saving time, and resources in the process. Establishing SynBio's future is dependent on GDA, since the computational approach opens the field to a broad, interdisciplinary community. However, challenges with part libraries, standards, and software tools are currently stalling progress in the field. This review first covers recent advancements in GDA, followed by an assessment of the challenges ahead, and a proposed automated genetic design workflow for the future.

BioUML-towards a universal research platform

BioUML (https://www.biouml.org)—is a web-based integrated platform for systems biology and data analysis. It supports visual modelling and construction of hierarchical biological models that allow us to construct the most complex modular models of blood pressure regulation, skeletal muscle metabolism, COVID-19 epidemiology. BioUML has been integrated with git repositories where users can store their models and other data. We have also expanded the capabilities of BioUML for data analysis and visualization of biomedical data: (i) any programs and Jupyter kernels can be plugged into the BioUML platform using Docker technology; (ii) BioUML is integrated with the Galaxy and Galaxy Tool Shed; (iii) BioUML provides two-way integration with R and Python (Jupyter notebooks): scripts can be executed on the BioUML web pages, and BioUML functions can be called from scripts; (iv) using plug-in architecture, specialized viewers and editors can be added. For example, powerful genome browsers as well as viewers for molecular 3D structure are integrated in this way; (v) BioUML supports data analyses using workflows (own format, Galaxy, CWL, BPMN, nextFlow). Using these capabilities, we have initiated a new branch of the BioUML development—u-science—a universal scientific platform that can be configured for specific research requirements.

BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts

Biochemical interactions in systems and synthetic biology are often modeled with chemical reaction networks (CRNs). CRNs provide a principled modeling environment capable of expressing a huge range of biochemical processes. In this paper, we present a software toolbox, written in Python, that compiles high-level design specifications represented using a modular library of biochemical parts, mechanisms, and contexts to CRN implementations. This compilation process offers four advantages. First, the building of the actual CRN representation is automatic and outputs Systems Biology Markup Language (SBML) models compatible with numerous simulators. Second, a library of modular biochemical components allows for different architectures and implementations of biochemical circuits to be represented succinctly with design choices propagated throughout the underlying CRN automatically. This prevents the often occurring mismatch between high-level designs and model dynamics. Third, high-level design specification can be embedded into diverse biomolecular environments, such as cell-free extracts and in vivo milieus. Finally, our software toolbox has a parameter database, which allows users to rapidly prototype large models using very few parameters which can be customized later. By using BioCRNpyler, users ranging from expert modelers to novice script-writers can easily build, manage, and explore sophisticated biochemical models using diverse biochemical implementations, environments, and modeling assumptions.

This paper describes a new software package BioCRNpyler (pronounced “Biocompiler”) designed to support rapid development and exploration of mathematical models of biochemical networks and circuits by computational biologists, systems biologists, and synthetic biologists. BioCRNpyler allows its users to generate large complex models using very few lines of code in a way that is modular. To do this, BioCRNpyler uses a powerful new representation of biochemical circuits which defines their parts, underlying biochemical mechanisms, and chemical context independently. BioCRNpyler was developed as a Python scripting language designed to be accessible to beginning users as well as easily extendable and customizable for advanced users. Ultimately, we see Biocrnpyler being used to accelerate computer automated design of biochemical circuits and model driven hypothesis generation in biology.

NOT Gates Based on Protein Degradation as a Case Study for a New Modular Modeling via SBML Level 3—Comp Package

In 2008, we were among the first to propose a method for the visual design and modular modeling of synthetic gene circuits, mimicking the way electronic circuits are realized in silico. Basic components were DNA sequences that could be composed, first, into transcription units (TUs) and, then, circuits by exchanging fluxes of molecules, such as PoPS (polymerase per second) and RiPS (ribosomes per seconds) as suggested by Drew Endy. However, it became clear soon that such fluxes were not measurable, which highlighted the limit of using some concepts from electronics to represent biological systems. SBML Level 3 with the comp package permitted us to revise circuit modularity, especially for the modeling of eukaryotic networks. By using the libSBML Python API, TUs—rather than single parts—are encoded in SBML Level 3 files that contain species, reactions, and ports, i.e., the interfaces that permit to wire TUs into circuits. A circuit model consists of a collection of SBML Level 3 files associated with the different TUs plus a “main” file that delineates the circuit structure. Within this framework, there is no more need for any flux of molecules. Here, we present the SBML Level 3-based models and the wet-lab implementations of Boolean NOT gates that make use, in the yeast Saccharomyces cerevisiae, of the bacterial ClpX-ClpP system for protein degradation. This work is the starting point towards a new piece of software for the modular design of eukaryotic gene circuits and shows an alternative way to build genetic Boolean gates.

EMMA-CAD: Design Automation for Synthetic Mammalian Constructs

Computational design tools are the cornerstone of synthetic biology and have underpinned its rapid development over the past two decades. As the field has matured, the scale of biological investigation has expanded dramatically, and researchers often must rely on computational tools to operate in the high-throughput investigational space. This is especially apparent in the modular design of DNA expression circuits, where complexity is accumulated rapidly. Alongside our automated pipeline for the high-throughput construction of Extensible Modular Mammalian Assembly (EMMA) expression vectors, we recognized the need for an integrated software solution for EMMA vector design. Here we present EMMA-CAD (https://emma.cailab.org), a powerful web-based computer-aided design tool for the rapid design of bespoke mammalian expression vectors. EMMA-CAD features a variety of functionalities, including a user-friendly design interface, automated connector selection underpinned by rigorous computer optimization algorithms, customization of part libraries, and personalized design spaces. Capable of translating vector assembly designs into human- and machine-readable protocols for vector construction, EMMA-CAD integrates seamlessly into our automated EMMA pipeline, hence completing an end-to-end design to production workflow.

Virtual Parts Repository 2: Model-Driven Design of Genetic Regulatory Circuits

Engineering genetic regulatory circuits is key to the creation of biological applications that are responsive to environmental changes. Computational models can assist in understanding especially large and complex circuits for which manual analysis is infeasible, permitting a model-driven design process. However, there are still few tools that offer the ability to simulate the system under design. One of the reasons for this is the lack of accessible model repositories or libraries that cater to the modular composition of models of synthetic systems. Here, we present the second version of the Virtual Parts Repository, a framework to facilitate the model-driven design of genetic regulatory circuits, which provides reusable, modular, and composable models. The new framework is service-oriented, easier to use in computational workflows, and provides several new features and access methods. New features include supporting hierarchical designs via a graph-based repository or compatible remote repositories, enriching existing designs, and using designs provided in Synthetic Biology Open Language documents to derive system-scale and hierarchical Systems Biology Markup Language models. We also present a reaction-based modeling abstraction inspired by rule-based modeling techniques to facilitate scalable and modular modeling of complex and large designs. This modeling abstraction enhances the modeling capability of the framework, for example, to incorporate design patterns such as roadblocking, distributed deployment of genetic circuits using plasmids, and cellular resource dependency. The framework and the modeling abstraction presented in this paper allow computational design tools to take advantage of computational simulations and ultimately help facilitate more predictable applications.

Stochastic Hazard Analysis of Genetic Circuits in iBioSim and STAMINA

In synthetic biology, combinational circuits are used to program cells for various new applications like biosensors, drug delivery systems, and biofuels. Similar to asynchronous electronic circuits, some combinational genetic circuits may show unwanted switching variations (glitches) caused by multiple input changes. Depending on the biological circuit, glitches can cause irreversible effects and jeopardize the circuit's functionality. This paper presents a stochastic analysis to predict glitch propensities for three implementations of a genetic circuit with known glitching behavior. The analysis uses STochastic Approximate Model-checker for INfinite-state Analysis (STAMINA), a tool for stochastic verification. The STAMINA results were validated by comparison to stochastic simulation in iBioSim resulting in further improvements of STAMINA. This paper demonstrates that stochastic verification can be utilized by genetic designers to evaluate design choices and input restrictions to achieve a desired reliability of operation.

Modular assembly of dynamic models in systems biology

It is widely acknowledged that the construction of large-scale dynamic models in systems biology requires complex modelling problems to be broken up into more manageable pieces. To this end, both modelling and software frameworks are required to enable modular modelling. While there has been consistent progress in the development of software tools to enhance model reusability, there has been a relative lack of consideration for how underlying biophysical principles can be applied to this space. Bond graphs combine the aspects of both modularity and physics-based modelling. In this paper, we argue that bond graphs are compatible with recent developments in modularity and abstraction in systems biology, and are thus a desirable framework for constructing large-scale models. We use two examples to illustrate the utility of bond graphs in this context: a model of a mitogen-activated protein kinase (MAPK) cascade to illustrate the reusability of modules and a model of glycolysis to illustrate the ability to modify the model granularity.

Toward Full-Stack In Silico Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation

We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated computational environment for the computer-aided design of synthetic biological systems. It supports an iterative workflow that begins with specification of the desired synthetic system, followed by simulation and verification of the system in high-performance environments and ending with the eventual compilation of the system specification into suitable genetic constructs. IBW integrates modeling, simulation, verification, and biocompilation features into a single software suite. This integration is achieved through a new domain-specific biological programming language, the Infobiotics Language (IBL), which tightly combines these different aspects of in silico synthetic biology into a full-stack integrated development environment. Unlike existing synthetic biology modeling or specification languages, IBL uniquely blends modeling, verification, and biocompilation statements into a single file. This allows biologists to incorporate design constraints within the specification file rather than using decoupled and independent formalisms for different in silico analyses. This novel approach offers seamless interoperability across different tools as well as compatibility with SBOL and SBML frameworks and removes the burden of doing manual translations for standalone applications. We demonstrate the features, usability, and effectiveness of IBW and IBL using well-established synthetic biological circuits.

A Computational Metabolic Model for Engineered Production of Resveratrol in Escherichia coli

Although engineered microbial production of natural compounds provides a promising alternative method to plant production and extraction, the process can be inefficient and ineffective in terms of time and cost. To render microbial systems profitable and viable, the process must be optimized to produce as much product as possible. To this end, this work illustrates the construction of a new probabilistic computational model to simulate the microbial production of a well-known cardioprotective molecule, resveratrol, and the implementation of the model to enhance the yield of the product in Escherichia coli. This model identified stilbene synthase as the limiting enzyme and informed the effects on changes in concentration and source of this enzyme. These parameters, when employed in a laboratory system, were able to improve the titer from 62.472 mg/L to 172.799 mg/L, demonstrating the model's ability to produce a useful simulation of a dynamic microbial resveratrol production system.

WinBEST-KIT: Biochemical Reaction Simulator for Analyzing Multi-Layered Metabolic Pathways

We previously developed the biochemical reaction simulator WinBEST-KIT. In recent years, research interest has shifted from analysis of individual biochemical reactions to analysis of metabolic pathways as systems. These large-scale and complicated metabolic pathways can be considered as characteristic multi-layered structures, which, for convenience, are separated from whole biological systems according to their specific roles. These pathways include reactants having the same name but with unique stoichiometric coefficients arranged across many different places and connected between arbitrary layers. Accordingly, in this study, we have developed a new version of WinBEST-KIT that allows users (1) to utilize shortcut symbols that can be arranged with multiple reactants having the same name but with unique stoichiometric coefficients, thereby providing a layout that is similar to metabolic pathways depicted in biochemical textbooks; (2) to create layers that divide large-scale and complicated metabolic pathways according to their specific roles; (3) to connect the layers by using shortcut symbols; and (4) to analyze the interactions between these layers. These new and existing features allow users to create and analyze such multi-layered metabolic pathways efficiently. Furthermore, WinBEST-KIT supports SBML, making it possible for users to utilize these new and existing features to create and publish SBML models.

SynBiopython: an open-source software library for Synthetic Biology

Advances in hardware automation in synthetic biology laboratories are not yet fully matched by those of their software counterparts. Such automated laboratories, now commonly called biofoundries, require software solutions that would help with many specialized tasks such as batch DNA design, sample and data tracking, and data analysis, among others. Typically, many of the challenges facing biofoundries are shared, yet there is frequent wheel-reinvention where many labs develop similar software solutions in parallel. In this article, we present the first attempt at creating a standardized, open-source Python package. A number of tools will be integrated and developed that we envisage will become the obvious starting point for software development projects within biofoundries globally. Specifically, we describe the current state of available software, present usage scenarios and case studies for common problems, and finally describe plans for future development. SynBiopython is publicly available at the following address: http://synbiopython.org.

Flapjack: Data Management and Analysis for Genetic Circuit Characterization

Characterization is fundamental to the design, build, test, learn (DBTL) cycle for engineering synthetic genetic circuits. Components must be described in such a way as to account for their behavior in a range of contexts. Measurements and associated metadata, including part composition, constitute the test phase of the DBTL cycle. These data may consist of measurements of thousands of circuits, measured in hundreds of conditions, in multiple assays potentially performed in different laboratories and using different techniques. In order to inform the learn phase this large volume of data must be filtered, collated, and analyzed. Characterization consists of using this data to parametrize models of component function in different contexts, and combining them to predict behaviors of novel circuits. Tools to store, organize, share, and analyze large volumes of measurement and metadata are therefore essential to linking the test phase to the build and learn phases, closing the loop of the DBTL cycle. Here we present such a system, implemented as a web app with a backend data registry and analysis engine. An interactive frontend provides powerful querying, plotting, and analysis tools, and we provide a REST API and Python package for full integration with external build and learn software. All measurements are associated with circuit part composition via SBOL (Synthetic Biology Open Language). We demonstrate our tool by characterizing a range of genetic components and circuits according to composition and context.

Tools for time-course simulation in systems biology: a brief overview

Dynamic modeling of biological systems is essential for understanding all properties of a given organism as it allows us to look not only at the static picture of an organism but also at its behavior under various conditions. With the increasing amount of experimental data, the number of tools that enable dynamic analysis also grows. However, various tools are based on different approaches, use different types of data and offer different functions for analyses; so it can be difficult to choose the most suitable tool for a selected type of model. Here, we bring a brief overview containing descriptions of 50 tools for the reconstruction of biological models, their time-course simulation and dynamic analysis. We examined each tool using test data and divided them based on the qualitative and quantitative nature of the mathematical apparatus they use.

Automated engineering of synthetic metabolic pathways for efficient biomanufacturing

Metabolic engineering involves the engineering and optimization of processes from single-cell to fermentation in order to increase production of valuable chemicals for health, food, energy, materials and others. A systems approach to metabolic engineering has gained traction in recent years thanks to advances in strain engineering, leading to an accelerated scaling from rapid prototyping to industrial production. Metabolic engineering is nowadays on track towards a truly manufacturing technology, with reduced times from conception to production enabled by automated protocols for DNA assembly of metabolic pathways in engineered producer strains. In this review, we discuss how the success of the metabolic engineering pipeline often relies on retrobiosynthetic protocols able to identify promising production routes and dynamic regulation strategies through automated biodesign algorithms, which are subsequently assembled as embedded integrated genetic circuits in the host strain. Those approaches are orchestrated by an experimental design strategy that provides optimal scheduling planning of the DNA assembly, rapid prototyping and, ultimately, brings forward an accelerated Design-Build-Test-Learn cycle and the overall optimization of the biomanufacturing process. Achieving such a vision will address the increasingly compelling demand in our society for delivering valuable biomolecules in an affordable, inclusive and sustainable bioeconomy.

Modelling co-translational dimerization for programmable nonlinearity in synthetic biology

Nonlinearity plays a fundamental role in the performance of both natural and synthetic biological networks. Key functional motifs in living microbial systems, such as the emergence of bistability or oscillations, rely on nonlinear molecular dynamics. Despite its core importance, the rational design of nonlinearity remains an unmet challenge. This is largely due to a lack of mathematical modelling that accounts for the mechanistic basis of nonlinearity. We introduce a model for gene regulatory circuits that explicitly simulates protein dimerization-a well-known source of nonlinear dynamics. Specifically, our approach focuses on modelling co-translational dimerization: the formation of protein dimers during-and not after-translation. This is in contrast to the prevailing assumption that dimer generation is only viable between freely diffusing monomers (i.e. post-translational dimerization). We provide a method for fine-tuning nonlinearity on demand by balancing the impact of co- versus post-translational dimerization. Furthermore, we suggest design rules, such as protein length or physical separation between genes, that may be used to adjust dimerization dynamics in vivo. The design, build and test of genetic circuits with on-demand nonlinear dynamics will greatly improve the programmability of synthetic biological systems.

WinBEST-KIT: Biochemical reaction simulator that can define and customize algebraic equations and events as GUI components

We previously developed Windows-based Biochemical Engineering System analyzing Tool-KIT (WinBEST-KIT), a biochemical reaction simulator for analyzing large-scale and complicated biochemical reaction networks. One particularly notable feature is the ability for users to define original mathematical equations for representing unknown kinetic mechanisms and customize them as GUI components for representing reaction steps. Many simulators support System Biology Markup Language SBML; however, since the definition of the algebraic equations (AssignmentRule) and the events are made through an interface that is distinct from the definition of the reaction steps, there are tough works to define them. Accordingly, we have developed a new version of WinBEST-KIT that allows users to define the algebraic equations and the events through the same interface as those used in the definition of the reaction steps and customize them as GUI components appearing in the symbol selection area. The customized algebraic equations and events can thus be visually arranged at any time and any place. It also allows users to easily understand the roles of the algebraic equations and the events. We have also implemented other useful features, including importing/exporting of SBML format files, exporting to MATLAB, and merging the existing models into the model currently being created. The current version of WinBEST-KIT is freely available at http://winbest-kit.org/.

Genetic Circuit Dynamics: Hazard and Glitch Analysis

Multiple input changes can cause unwanted switching variations, or glitches, in the output of genetic combinational circuits. These glitches can have drastic effects if the output of the circuit causes irreversible changes within or with other cells such as a cascade of responses, apoptosis, or the release of a pharmaceutical in an off-target tissue. Therefore, avoiding unwanted variation of a circuit's output can be crucial for the safe operation of a genetic circuit. This paper investigates what causes unwanted switching variations in combinational genetic circuits using hazard analysis and a new dynamic model generator. The analysis is done in previously built and modeled genetic circuits with known glitching behavior. The dynamic models generated not only predict the same steady states as previous models but can also predict the unwanted switching variations that have been observed experimentally. Multiple input changes may cause glitches due to propagation delays within the circuit. Modifying the circuit's layout to alter these delays may change the likelihood of certain glitches, but it cannot eliminate the possibility that the glitch may occur. In other words, function hazards cannot be eliminated. Instead, they must be avoided by restricting the allowed input changes to the system. Logic hazards, on the other hand, can be avoided using hazard-free logic synthesis. This paper demonstrates this by showing how a circuit designed using a popular genetic design automation tool can be redesigned to eliminate logic hazards.

The Synthetic Biology Open Language (SBOL) Version 3: Simplified Data Exchange for Bioengineering

The Synthetic Biology Open Language (SBOL) is a community-developed data standard that allows knowledge about biological designs to be captured using a machine-tractable, ontology-backed representation that is built using Semantic Web technologies. While early versions of SBOL focused only on the description of DNA-based components and their sub-components, SBOL can now be used to represent knowledge across multiple scales and throughout the entire synthetic biology workflow, from the specification of a single molecule or DNA fragment through to multicellular systems containing multiple interacting genetic circuits. The third major iteration of the SBOL standard, SBOL3, is an effort to streamline and simplify the underlying data model with a focus on real-world applications, based on experience from the deployment of SBOL in a variety of scientific and industrial settings. Here, we introduce the SBOL3 specification both in comparison to previous versions of SBOL and through practical examples of its use.

Microbes as Biosensors

The ability to detect disease early and deliver precision therapy would be transformative for the treatment of human illnesses. To achieve these goals, biosensors that can pinpoint when and where diseases emerge are needed. Rapid advances in synthetic biology are enabling us to exploit the information-processing abilities of living cells to diagnose disease and then treat it in a controlled fashion. For example, living sensors could be designed to precisely sense disease biomarkers, such as by-products of inflammation, and to respond by delivering targeted therapeutics in situ. Here, we provide an overview of ongoing efforts in microbial biosensor design, highlight translational opportunities, and discuss challenges for enabling sense-and-respond precision medicines.

Best Practices for Making Reproducible Biochemical Models

Like many scientific disciplines, dynamical biochemical modeling is hindered by irreproducible results. This limits the utility of biochemical models by making them difficult to understand, trust, or reuse. We comprehensively list the best practices that biochemical modelers should follow to build reproducible biochemical model artifacts-all data, model descriptions, and custom software used by the model-that can be understood and reused. The best practices provide advice for all steps of a typical biochemical modeling workflow in which a modeler collects data; constructs, trains, simulates, and validates the model; uses the predictions of a model to advance knowledge; and publicly shares the model artifacts. The best practices emphasize the benefits obtained by using standard tools and formats and provides guidance to modelers who do not or cannot use standards in some stages of their modeling workflow. Adoption of these best practices will enhance the ability of researchers to reproduce, understand, and reuse biochemical models.

The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE)

This paper presents a report on outcomes of the 10th Computational Modeling in Biology Network (COMBINE) meeting that was held in Heidelberg, Germany, in July of 2019. The annual event brings together researchers, biocurators and software engineers to present recent results and discuss future work in the area of standards for systems and synthetic biology. The COMBINE initiative coordinates the development of various community standards and formats for computational models in the life sciences. Over the past 10 years, COMBINE has brought together standard communities that have further developed and harmonized their standards for better interoperability of models and data. COMBINE 2019 was co-located with a stakeholder workshop of the European EU-STANDS4PM initiative that aims at harmonized data and model standardization for in silico models in the field of personalized medicine, as well as with the FAIRDOM PALs meeting to discuss findable, accessible, interoperable and reusable (FAIR) data sharing. This report briefly describes the work discussed in invited and contributed talks as well as during breakout sessions. It also highlights recent advancements in data, model, and annotation standardization efforts. Finally, this report concludes with some challenges and opportunities that this community will face during the next 10 years.

BioModels-15 years of sharing computational models in life science

Computational modelling has become increasingly common in life science research. To provide a platform to support universal sharing, easy accessibility and model reproducibility, BioModels (https://www.ebi.ac.uk/biomodels/), a repository for mathematical models, was established in 2005. The current BioModels platform allows submission of models encoded in diverse modelling formats, including SBML, CellML, PharmML, COMBINE archive, MATLAB, Mathematica, R, Python or C++. The models submitted to BioModels are curated to verify the computational representation of the biological process and the reproducibility of the simulation results in the reference publication. The curation also involves encoding models in standard formats and annotation with controlled vocabularies following MIRIAM (minimal information required in the annotation of biochemical models) guidelines. BioModels now accepts large-scale submission of auto-generated computational models. With gradual growth in content over 15 years, BioModels currently hosts about 2000 models from the published literature. With about 800 curated models, BioModels has become the world’s largest repository of curated models and emerged as the third most used data resource after PubMed and Google Scholar among the scientists who use modelling in their research. Thus, BioModels benefits modellers by providing access to reliable and semantically enriched curated models in standard formats that are easy to share, reproduce and reuse.

BioUML: an integrated environment for systems biology and collaborative analysis of biomedical data

BioUML (homepage: http://www.biouml.org, main public server: https://ict.biouml.org) is a web-based integrated environment (platform) for systems biology and the analysis of biomedical data generated by omics technologies. The BioUML vision is to provide a computational platform to build virtual cell, virtual physiological human and virtual patient. BioUML spans a comprehensive range of capabilities, including access to biological databases, powerful tools for systems biology (visual modelling, simulation, parameters fitting and analyses), a genome browser, scripting (R, JavaScript) and a workflow engine. Due to integration with the Galaxy platform and R/Bioconductor, BioUML provides powerful possibilities for the analyses of omics data. The plug-in-based architecture allows the user to add new functionalities using plug-ins. To facilitate a user focus on a particular task or database, we have developed several predefined perspectives that display only those web interface elements that are needed for a specific task. To support collaborative work on scientific projects, there is a central authentication and authorization system (https://bio-store.org). The diagram editor enables several remote users to simultaneously edit diagrams.

SEVA 3.0: an update of the Standard European Vector Architecture for enabling portability of genetic constructs among diverse bacterial hosts

The Standard European Vector Architecture 3.0 database (SEVA-DB 3.0, http://seva.cnb.csic.es) is the update of the platform launched in 2013 both as a web-based resource and as a material repository of formatted genetic tools (mostly plasmids) for analysis, construction and deployment of complex bacterial phenotypes. The period between the first version of SEVA-DB and the present time has witnessed several technical, computational and conceptual advances in genetic/genomic engineering of prokaryotes that have enabled upgrading of the utilities of the updated database. Novelties include not only a more user-friendly web interface and many more plasmid vectors, but also new links of the plasmids to advanced bioinformatic tools. These provide an intuitive visualization of the constructs at stake and a range of virtual manipulations of DNA segments that were not possible before. Finally, the list of canonical SEVA plasmids is available in machine-readable SBOL (Synthetic Biology Open Language) format. This ensures interoperability with other platforms and affords simulations of their behaviour under different in vivo conditions. We argue that the SEVA-DB will remain a useful resource for extending Synthetic Biology approaches towards non-standard bacterial species as well as genetically programming new prokaryotic chassis for a suite of fundamental and biotechnological endeavours.

An Automated Biomodel Selection System (BMSS) for Gene Circuit Designs

Constructing a complex functional gene circuit composed of different modular biological parts to achieve the desired performance remains challenging without a proper understanding of how the individual module behaves. To address this, mathematical models serve as an important tool toward better interpretation by quantifying the performance of the overall gene circuit, providing insights, and guiding the experimental designs. As different gene circuits might require exclusively different mathematical representations in the form of ordinary differential equations to capture their transient dynamic behaviors, a recurring challenge in model development is the selection of the appropriate model. Here, we developed an automated biomodel selection system (BMSS) which includes a library of pre-established models with intuitive or unintuitive features derived from a vast array of expression profiles. Selection of models is built upon the Akaike information criteria (AIC). We tested the automated platform using characterization data of routinely used inducible systems, constitutive expression systems, and several different logic gate systems (NOT, AND, and OR gates). The BMSS achieved a good agreement for all the different characterization data sets and managed to select the most appropriate model accordingly. To enable exchange and reproducibility of gene circuit design models, the BMSS platform also generates Synthetic Biology Open Language (SBOL)-compliant gene circuit diagrams and Systems Biology Markup Language (SBML) output files. All aspects of the algorithm were programmed in a modular manner to ease the efforts on model extensions or customizations by users. Taken together, the BMSS which is implemented in Python supports users in deriving the best mathematical model candidate in a fast, efficient, and automated way using part/circuit characterization data.

Better research by efficient sharing: evaluation of free management platforms for synthetic biology designs

Synthetic biology aims to introduce engineering principles into biology, for example, the construction of biological devices by assembling previously-characterized, functional parts. This approach demands new resources for cataloging and sharing biological components and designs, in order to accelerate the design-build-test-learn cycle. We evaluated two free, open source software platforms for managing synthetic biology data: Joint Bioenergy Institute-Inventory of Composable Elements (JBEI-ICE) and SynBioHub. We analyzed the systems from the perspective of experimental biology research groups in academia, which seek to incorporate the repositories into their synthetic biology workflow. Here, we define the minimal requirements for a repository in this context and develop three usage scenarios, where we then examine the two platforms: (i) supporting the synthetic biology design-build-test-learn cycle, (ii) batch deposit of existing designs into the repository and (iii) discovery and reuse of designs from the repository. Our evaluation of JBEI-ICE and SynBioHub provides an insight into the current state of synthetic biology resources, might encourage their wider adoption and should guide future development to better meet the needs of this user group.