Reachability analysis of biological signalling pathways by abstract interpretation

Abstract : Agent-based formal languages can be used to describe biological signalling networks. As for any language, this process is error prone. Thus we require static analysis tools to check whether the formal description of models matches with what the programmer (or the biologist) has in mind. However, biological networks involve a large number of non-isomorphic complexes (i.e.~the number of non-isomorphic ways in which agents can connect), as a consequence static analyses must cope with this combinatorial blow up. We use the abstract interpretation framework, which is a theory of semantics approximation, to design an abstraction of the set of reachable complexes. This abstraction is both accurate and efficient. Then we show several applications. First, we use this abstraction to detect some bugs such as dead reactions (reactions that can never be triggered) and conflicting rules (distinct rules that compute the same thing). Our analysis also predicts whether two sites may bind in any context, or if this binding is controlled by other sites.
Type de document :
Communication dans un congrès
Simos, T.E. the International Conference of Computational Methods in Sciences and Engineerin - ICCMSE2007, Sep 2007, Corfu, Greece. American Institute of Physics, 963, pp.619 - 622, 2007, American Institute of Physics conference proceedings. 〈10.1063/1.2836158〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00528358
Contributeur : Jérôme Feret <>
Soumis le : jeudi 21 octobre 2010 - 16:08:54
Dernière modification le : mardi 24 avril 2018 - 17:20:12

Lien texte intégral

Identifiants

Collections

Citation

Jérôme Feret. Reachability analysis of biological signalling pathways by abstract interpretation. Simos, T.E. the International Conference of Computational Methods in Sciences and Engineerin - ICCMSE2007, Sep 2007, Corfu, Greece. American Institute of Physics, 963, pp.619 - 622, 2007, American Institute of Physics conference proceedings. 〈10.1063/1.2836158〉. 〈inria-00528358〉

Partager

Métriques

Consultations de la notice

311