Local traces: an over-approximation of the behaviour of the proteins in rule-based models

Jérôme Feret 1 Kim Quyen Ly 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
Abstract : Thanks to rule-based modelling languages, we can assemble large sets of mechanistic protein-protein interactions within integrated models. Our goal would be to understand how the behaviour of these systems emerges from these low-level interactions. Yet this is a quite long term challenge and it is desirable to offer intermediary levels of abstraction, so as to get a better understanding of the models and to increase our confidence within our mechanistic assumptions. In this paper, we propose an abstract interpretation of the behaviour of each protein, in isolation. Given a model written in Kappa, this abstraction computes for each kind of protein a transition system that describes which conformations this protein can take and how a protein can pass from one conformation to another one. Then, we use simplicial complexes to abstract away the interleaving order of the transformations between conformations that commute. As a result, we get a compact summary of the potential behaviour of each protein of the model.
Type de document :
Communication dans un congrès
E. Bartocci; P. Lio'; N. Paoletti. CMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Sep 2016, Cambridge, United Kingdom. Springer, LNCS/LNBI, 9859, pp.116-131, 2016, Computational Methods in Systems Biology. 〈https://www.cl.cam.ac.uk/events/cmsb2016〉. 〈10.1007/978-3-319-45177-0_8〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01379897
Contributeur : Jérôme Feret <>
Soumis le : vendredi 14 octobre 2016 - 16:10:31
Dernière modification le : jeudi 26 avril 2018 - 10:29:00

Fichier

cmsb2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jérôme Feret, Kim Quyen Ly. Local traces: an over-approximation of the behaviour of the proteins in rule-based models. E. Bartocci; P. Lio'; N. Paoletti. CMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Sep 2016, Cambridge, United Kingdom. Springer, LNCS/LNBI, 9859, pp.116-131, 2016, Computational Methods in Systems Biology. 〈https://www.cl.cam.ac.uk/events/cmsb2016〉. 〈10.1007/978-3-319-45177-0_8〉. 〈hal-01379897〉

Partager

Métriques

Consultations de la notice

264

Téléchargements de fichiers

36