Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory 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 : Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. 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 capturing recurring questions which can be automatically translated to temporal logic. We develop a set of patterns for the analysis of qualitative models of genetic regulatory networks, which are sufficiently generic though to be useful in other application domains. The applicability of the patterns has been investigated by the analysis of a model of the network of global regulators controlling the carbon starvation response in Escherichia coli.
Type de document :
Communication dans un congrès
M. Ghallab and C.D. Spyropoulos and N. Fakotakis and N. Avouris. 18th European Conference on Artificial Intelligence, Aug 2008, Patras, Greece. IOS Press, 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00357802
Contributeur : Pedro T. Monteiro <>
Soumis le : lundi 2 février 2009 - 09:17:26
Dernière modification le : jeudi 28 juin 2018 - 14:35:27

Identifiants

  • HAL Id : inria-00357802, version 1

Collections

Citation

Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde De Jong. Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. M. Ghallab and C.D. Spyropoulos and N. Fakotakis and N. Avouris. 18th European Conference on Artificial Intelligence, Aug 2008, Patras, Greece. IOS Press, 2008. 〈inria-00357802〉

Partager

Métriques

Consultations de la notice

285