Skip to Main content Skip to Navigation
Reports

Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks

Pedro T. Monteiro 1, * Delphine Ropers 1 Radu Mateescu 2 Ana T. Freitas 3 Hidde de Jong 1
* Corresponding author
1 HELIX - Computer science and genomics
Inria Grenoble - Rhône-Alpes, LBBE - Laboratoire de Biométrie et Biologie Evolutive - UMR 5558
2 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology to keep up with this increase in scale and complexity. The application of model-checking approaches is hampered, however, by the difficulty for non-expert users to formulate appropriate questions in temporal logic. In order to deal with this problem, we propose the use of patterns, that is, high-level query templates that capture recurring biological questions and that can be automatically translated into temporal logic. The applicability of the developed set of patterns has been investigated by the analysis of an extended model of the network of global regulators controlling the carbon starvation response in Escherichia coli.
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/inria-00260980
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, March 11, 2008 - 11:52:46 AM
Last modification on : Tuesday, July 20, 2021 - 5:20:02 PM
Long-term archiving on: : Thursday, September 23, 2010 - 5:18:34 PM

Files

RR-6470.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00260980, version 3
  • ARXIV : 0803.0802

Collections

Citation

Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong. Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks. [Research Report] RR-6470, INRIA. 2008. ⟨inria-00260980v3⟩

Share

Metrics

Record views

529

Files downloads

676