Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Thursday, October 21, 2010 - 4:08:54 PM
Last modification on : Thursday, March 17, 2022 - 10:08:35 AM

Links full text




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



Record views