Abstract:Background: The modular design of synthetic gene circuits via composable parts (DNA segments) and pools of signal carriers (molecules such as RNA polymerases and ribosomes) has been successfully applied to bacterial systems. However, eukaryotic cells are becoming a preferential host for new synthetic biology applications. Therefore, an accurate description of the intricate network of reactions that take place inside eukaryotic parts and pools is necessary. Rule-based modeling approaches are increasingly used to obtain compact representations of reaction networks in biological systems. However, this approach is intrinsically non-modular and not suitable per se for the description of composable genetic modules. In contrast, the Model Description Language (MDL) adopted by the modeling tool ProMoT is highly modular and it enables a faithful representation of biological parts and pools. Results: We developed a computational framework for the design of complex (eukaryotic) gene circuits by generating dynamic models of parts and pools via the joint usage of the BioNetGen rule-based modeling approach and MDL. The framework converts the specification of a part (or pool) structure into rules that serve as inputs for BioNetGen to calculate the part's species and reactions. The BioNetGen output is translated into an MDL file that gives a complete description of all the reactions that take place inside the part (or pool) together with a proper interface to connect it to other modules in the circuit. In proof-of-principle applications to eukaryotic Boolean circuits with more than ten genes and more than one thousand reactions, our framework yielded proper representations of the circuits' truth tables. Conclusions: For the model-based design of increasingly complex gene circuits, it is critical to achieve exact and systematic representations of the biological processes with minimal effort. Our computational framework provides such a detailed and intuitive way to design new and complex synthetic gene circuits.

Modular Bond-graph Modelling and Analysis of Biomolecular Systems

Hierarchical Bond Graph Modelling of Biochemical Networks

Bond Graph Modelling of Chemiosmotic Biomolecular Energy Transduction

Energy-based Analysis of Biochemical Cycles using Bond Graphs

Bond Graphs Unify Stoichiometric Analysis and Thermodynamics

Bond Graph Modelling of Chemoelectrical Energy Transduction

Biomolecular System Energetics

Modular model building

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

Energy-based Modelling of Single Actin Filament Polymerisation Using Bond Graphs

Energy-based Analysis of Biochemical Oscillators Using Bond Graphs and Linear Control Theory.

A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems

A review of the diverse applications of bond graphs in biology and physiology

Network Thermodynamics of Biological Systems: A Bond Graph Approach

Graph theory approaches for molecular dynamics simulations

The linear framework: using graph theory to reveal the algebra and thermodynamics of biomolecular systems

JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems- and synthetic biology

Model validation of simple-graph representations of metabolism

Physically-Plausible Modelling of Biomolecular Systems: A Simplified, Energy-Based Model of the Mitochondrial Electron Transport Chain

Modular, rule-based modeling for the design of eukaryotic synthetic gene circuits

A mathematical framework to study organising principles in graphical representations of biochemical processes