Computational Verification of Large Logical Models—Application to the Prediction of T Cell Response to Checkpoint Inhibitors
Open Access
- 30 September 2020
- journal article
- research article
- Published by Frontiers Media SA in Frontiers in Physiology
Abstract
At the crossroad between biology and mathematical modeling, computational systems biology can contribute to a mechanistic understanding of high-level biological phenomenon. But as knowledge accumulates, the size and complexity of mathematical models increase, calling for the development of efficient dynamical analysis methods. Here, we propose the use of two approaches for the development and analysis of complex cellular network models. A first approach, called "model verification" and inspired by unitary testing in software development, enables the formalization and automated verification of validation criteria for whole models or selected sub-parts. When combined with efficient analysis methods, this approach is suitable for continuous testing, thereby greatly facilitating model development. A second approach, called "value propagation," enables efficient analytical computation of the impact of specific environmental or genetic conditions on the dynamical behavior of some models. We apply these two approaches to the delineation and the analysis of a comprehensive model for T cell activation, taking into account CTLA4 and PD-1 checkpoint inhibitory pathways. While model verification greatly eases the delineation of logical rules complying with a set of dynamical specifications, propagation provides interesting insights into the different potential of CTLA4 and PD-1 immunotherapies. Both methods are implemented and made available in the all-inclusive CoLoMoTo Docker image, while the different steps of the model analysis are fully reported in two companion interactive jupyter notebooks, thereby ensuring the reproduction of our results.Keywords
Funding Information
- Institut National Du Cancer
This publication has 53 references indexed in Scilit:
- Integrative Modelling of the Influence of MAPK Network on Cancer Cell Fate DecisionPLoS Computational Biology, 2013
- T cell receptor signalling networks: branched, diversified and boundedNature Reviews Immunology, 2013
- Programming biological models in Python using PySBMolecular Systems Biology, 2013
- PANTHER in 2013: modeling the evolution of gene function, and other gene attributes, in the context of phylogenetic treesNucleic Acids Research, 2012
- T Cell ActivationAnnual Review of Immunology, 2009
- Digital Signaling and Hysteresis Characterize Ras Activation in Lymphoid CellsCell, 2009
- Unusual Interplay of Two Types of Ras Activators, RasGRP and SOS, Establishes Sensitive and Robust Ras Activation in LymphocytesMolecular and Cellular Biology, 2007
- COPASI—a COmplex PAthway SImulatorBioinformatics, 2006
- NFAT proteins: key regulators of T-cell development and functionNature Reviews Immunology, 2005
- Towards a logical analysis of the immune responseJournal of Theoretical Biology, 1985