An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models

Jérôme Feret 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Abstract : Symmetries arise naturally in rule-based models, and under various forms. Besides automorphisms between site graphs, which are usually built within the semantics, symmetries can take the form of pairs of sites having the same capabilities of interactions, of some protein variants behaving exactly the same way, or of some linear, planar, or 3D molecular complexes which could be seen modulo permutations of their axis and/or mirror-image symmetries. In this paper, we propose a unifying handling of symmetries in Kappa. We follow an algebraic approach, that is based on the single pushout semantics of Kappa. We model classes of symmetries as finite groups of transformations between site graphs, which are compatible with the notion of embedding (that is to say that it is always possible to restrict a symmetry that is applied with the image of an embedding to the domain of this embedding) and we provide some assumptions that ensure that symmetries are compatible with pushouts. Then, we characterise when a set of rules is symmetric with respect to a group of symmetries and, in such a case, we give sufficient conditions so that this group of symmetries induces a forward bisimulation and/or a backward bisimulation over the population semantics.
Type de document :
Communication dans un congrès
Heinz Koeppl; Loïc Paulevé. Static Analysis and Systems Biology, Sep 2014, Munich, Germany. Elsevier, Electronic Notes in Theoretical Computer Science, 316, pp.20, 2015, Electronic Notes in Theoretical Computer Science. 〈https://www.lri.fr/sasb2014/〉. 〈10.1016/j.entcs.2015.06.010〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01098556
Contributeur : Jérôme Feret <>
Soumis le : vendredi 26 décembre 2014 - 16:02:23
Dernière modification le : vendredi 25 mai 2018 - 12:02:07

Lien texte intégral

Identifiants

Collections

Citation

Jérôme Feret. An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. Heinz Koeppl; Loïc Paulevé. Static Analysis and Systems Biology, Sep 2014, Munich, Germany. Elsevier, Electronic Notes in Theoretical Computer Science, 316, pp.20, 2015, Electronic Notes in Theoretical Computer Science. 〈https://www.lri.fr/sasb2014/〉. 〈10.1016/j.entcs.2015.06.010〉. 〈hal-01098556〉

Partager

Métriques

Consultations de la notice

170