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.

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

Modular model building

A practical guide to mechanistic systems modeling in biology using a logic-based approach

Modular Bond-graph Modelling and Analysis of Biomolecular Systems

Modeling Biomolecular Networks In Cells Structures And Dynamics Introduction

The Emergence of Modularity in Biological Systems

Mechanistic interactions as the origin of modularity in biological networks

Prospects for Declarative Mathematical Modeling of Complex Biological Systems

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning

Boolean modelling as a logic-based dynamic approach in systems medicine

Dynamical Modularity in Automata Models of Biochemical Networks

Adapting a Formal Model Theory to Applications in Augmented Personalized Medicine

Modular control of Boolean network models

Modularity in biological evolution and evolutionary computation

Boolean modeling: a logic‐based dynamic approach for understanding signaling and regulatory networks and for making useful predictions

Modeling of Molecular Networks

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

Open systems, quantum probability and logic for quantum-like modeling in biology, cognition, and decision making

The Spectrum of Mechanism-oriented Models for Explanations of Biological Phenomena

Computational Modeling, Formal Analysis, and Tools for Systems Biology

Modular Organization in a Cell: Concepts and Applications