Using alternated sums to express the occurrence number of extended patterns in site-graphs

Ferdinanda Camporesi 1 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 de Paris
Abstract : Site-graph rewriting languages as Kappa or BNGL supply a convenient way to describe models of signalling pathways. Unlike classical reaction networks, they emphasise on the biochemical structure of proteins. We use patterns to formalise properties about bio-molecular species. Intentionally, a pattern is a part of a species, but extensionally it denotes the multi-set of the species containing this pattern (with the multiplicity). Thus reasoning on patterns allows to handle symbolically arbitrarily big (if not infinite) multi-sets of species. This is a key point to design fast simulation algorithms or model reduction schemes. In this paper, we introduce the notion of extended patterns. Each extended pattern is made of a classical pattern and of a set of potential bonds between pairs of sites. Extended patterns have positive (when at least one of the potential bonds is realised) and negative (when none is realised) instances. They are important to express the consumption and the production of patterns by the rules that may break cycles in bio-molecular species by side-effects. We show that the number of positive (resp. negative) instances of extended patterns may be expressed as alternated sums of the number of occurrences of classical patterns.
Type de document :
Communication dans un congrès
Jean Yang and John A. Bachman. SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. Elsevier, ENTCS, pp.18, 2017, Static Analysis and Systems Biology. 〈http://www.cs.cmu.edu/~sasb2017/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01613603
Contributeur : Jérôme Feret <>
Soumis le : mercredi 11 octobre 2017 - 07:44:21
Dernière modification le : mercredi 8 novembre 2017 - 04:26:05

Fichier

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

Identifiants

  • HAL Id : hal-01613603, version 1

Collections

Citation

Ferdinanda Camporesi, Jérôme Feret. Using alternated sums to express the occurrence number of extended patterns in site-graphs. Jean Yang and John A. Bachman. SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. Elsevier, ENTCS, pp.18, 2017, Static Analysis and Systems Biology. 〈http://www.cs.cmu.edu/~sasb2017/〉. 〈hal-01613603〉

Partager

Métriques

Consultations de la notice

94

Téléchargements de fichiers

11