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, *
* Auteur correspondant
1 HELIX - Computer science and genomics
Inria Grenoble - Rhône-Alpes, LBBE - Laboratoire de Biométrie et Biologie Evolutive
2 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Motivation: 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 modelchecking approaches is hampered, however, by the difficulty for nonexpert users to formulate appropriate questions in temporal logic. Results: 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 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. Availability: GNA and the model of the carbon starvation response network are available at http://www-helix.inrialpes.fr/gna
Type de document :
Article dans une revue
Bioinformatics, Oxford University Press (OUP), 2008, ECCB 2008 CONFERENCE PROCEEDINGS 22-26 SEPTEMBER 2008, CAGLIARI, ITALY, 24 (16), pp.i227-i233. 〈10.1093/bioinformatics/btn275〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00357805
Contributeur : Pedro T. Monteiro <>
Soumis le : lundi 2 février 2009 - 09:30:52
Dernière modification le : vendredi 20 avril 2018 - 01:27:46
Document(s) archivé(s) le : vendredi 12 octobre 2012 - 10:30:17

Fichier

Bioinformatics_ECCB2008_Patter...
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Bioinformatics, Oxford University Press (OUP), 2008, ECCB 2008 CONFERENCE PROCEEDINGS 22-26 SEPTEMBER 2008, CAGLIARI, ITALY, 24 (16), pp.i227-i233. 〈10.1093/bioinformatics/btn275〉. 〈inria-00357805〉

Partager

Métriques

Consultations de la notice

432

Téléchargements de fichiers

112