Skip to Main content Skip to Navigation
New interface
Reports (Research report)

STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification

Szymon Stoma 1 Alexandre Donzé 2 François Bertaux 1, 3 Oded Maler 2 Grégory Batt 1, * 
* Corresponding author
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
3 BANG - Nonlinear Analysis for Biology and Geophysical flows
LJLL - Laboratoire Jacques-Louis Lions, Inria Paris-Rocquencourt
Abstract : Extrinsic apoptosis is a programmed cell death triggered by external ligands, such as the TNF-related apoptosis inducing ligand (TRAIL). Depending on the cell line, the specific molecular mechanisms leading to cell death may significantly differ. Precise characterization of these differences is crucial for understanding and exploiting extrinsic apoptosis. Cells show distinct behaviors on several aspects of apoptosis, including (i) the relative order of caspases activation, (ii) the necessity of Mitochondria Outer Membrane Permeabilization (MOMP) for effector caspase activation, and (iii) the survival of cell lines overexpressing Bcl2, leading to classification of cell lines into two groups (type I and type II). In this work we challenge this type I/II cell line classification. We encode the three aforementioned distinguishing behaviors in a formal language, called signal temporal logic (STL), and use it to extensively test the validity of a previously-proposed model of TRAIL-induced apoptosis with respect to experimental observations made on different cell lines. Then, STL-guided parameter search is used to solve the few inconsistencies found between model and data. We show that these three criteria do not define consistent cell line classifications in type I or type II, and suggest mutants that are predicted to exhibit ambivalent behaviors. In particular, this finding sheds light on the role of a feedback loop between caspases, and reconciliates two apparently-conflicting views regarding the importance of either upstream or downstream processes for cell type determination. More generally, our work suggests that rather than being considered as defining criteria for cell type classification, these three distinguishing behaviors should be merely considered as type I or II features. On the methodological point of view, this work illustrates the biological relevance of STL-diagrams, STL population data, and STL-guided parameter search. Such tools are well adapted to the ever-increasing availability of heterogeneous knowledge on complex signal transduction pathways.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [65 references]  Display  Hide  Download
Contributor : Szymon Stoma Connect in order to contact the contributor
Submitted on : Wednesday, November 14, 2012 - 2:26:59 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:36 AM
Long-term archiving on: : Friday, February 15, 2013 - 2:35:09 AM


Files produced by the author(s)


  • HAL Id : hal-00750063, version 1


Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Grégory Batt. STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification. [Research Report] RR-8121, INRIA. 2012, pp.35. ⟨hal-00750063⟩



Record views


Files downloads