Related Experiment Video
Updated: Jul 10, 2026

Inherent Dynamics Visualizer, an Interactive Application for Evaluating and Visualizing Outputs from a Gene Regulatory Network Inference Pipeline
Published on: December 7, 2021
Incremental and unifying modelling formalism for biological interaction networks.
Anastasia Yartseva1, Hanna Klaudel, Raymond Devillers
1IBISC - Université d'Evry Val d'Essonne, Tour Evry 2, 523 place des Terrasses de l'Agora, F-91000 Evry, France. iartseva@gmail.com
We introduce a novel formalism for modeling biological networks, enabling translation to other methods for dynamic analysis. This approach bridges intuitive biological representation with formal mathematical modeling.
Area of Science:
- Systems Biology
- Computational Biology
- Bioinformatics
Background:
- Selecting appropriate modeling formalisms is critical for analyzing complex biological systems.
- Existing methods may lack flexibility or intuitive biological representation.
Purpose of the Study:
- To propose a unifying and incremental formalism for biological interaction network representation and modeling.
- To enable automated translations between different modeling formalisms.
- To facilitate the study of biological system dynamics.
Main Methods:
- Developed a new unifying and incremental formalism for biological networks.
- Implemented automated translation capabilities into other formalisms.
- Demonstrated translation to R. Thomas' multivalued logical formalism.
- Showcased extraction of classical Ordinary Differential Equation (ODE) models.
Main Results:
- The proposed formalism allows for intuitive biological knowledge expression.
- It provides a formal and structured representation of biological systems.
- Successfully modeled the lambda phage genetic switch as a benchmark.
- Enabled dynamic analysis through translation to established formalisms like multivalued logic and ODEs.
Conclusions:
- The formalism offers an intermediate layer between biological and mathematical descriptions.
- Enhances understanding by combining intuitive representation with formal structure.
- Facilitates comprehensive dynamic analysis of biological systems.
Related Concept Videos
Protein Networks
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
Protein Networks
These interactions can be represented through maps depicting protein-protein interaction networks, represented as nodes and edges. Nodes are circles that are representative of a protein,...
Pharmacodynamic Models: Link Model and Systems Pharmacodynamic Model
Pharmacodynamic Models: Overview
Mechanistic Models: Compartment Models in Individual and Population Analysis
Model Approaches for Pharmacokinetic Data: Physiological Models
