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.

BlenX-based compositional modeling of complex reaction mechanisms

Foundations of a Compositional Systems Biology

An Intermediate Level of Abstraction for Computational Systems Chemistry

Modeling and Analyzing Reaction Systems in Maude

An enzyme mechanism language for the mathematical modeling of metabolic pathways

A framework for modelling Molecular Interaction Maps

Combining Zhegalkin Polynomials and SAT Solving for Context-specific Boolean Modeling of Biological Systems

Extracting the Mechanisms and Kinetic Models of Complex Reactions from Atomistic Simulation Data

CRNs Exposed: Systematic Exploration of Chemical Reaction Networks

Bridging Mechanistic and Phenomenological Models of Complex Biological Systems

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

Modelling non-Markovian dynamics in biochemical reactions

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

A Toy Model for Cooperative Phenomena in Molecular Biology and the Utilization of Biochemical Applications of PNS in Genetic Applications

A modeling and simulation language for biological cells with coupled mechanical and chemical processes

Multiscale Analysis of Reaction Networks

Inference of Complex Reaction Mechanisms Applying Model Reduction Techniques

Beyond Element-Wise Interactions: Identifying Complex Interactions in Biological Processes

Construction, analysis and assessment of relevance of an algebraic model for a class of biochemical networks

Modular model building

Life in Silico - Simulation of Complex Systems by Enzymatic Computation