Qualitative dynamics semantics for SBGN process description

Abstract : Background: Qualitative dynamics semantics provide a coarse-grain modeling of networks dynamics by abstracting away kinetic parameters. They allow to capture general features of systems dynamics, such as attractors or reachability properties, for which scalable analyses exist. The Systems Biology Graphical Notation Process Description language (SBGN-PD) has become a standard to represent reaction networks. However, no qualitative dynamics semantics taking into account all the main features available in SBGN-PD had been proposed so far. Results: We propose two qualitative dynamics semantics for SBGN-PD reaction networks, namely the general semantics and the stories semantics, that we formalize using asynchronous automata networks. While the general semantics extends standard Boolean semantics of reaction networks by taking into account all the main features of SBGN-PD, the stories semantics allows to model several molecules of a network by a unique variable. The obtained qualitative models can be checked against dynamical properties and therefore validated with respect to biological knowledge. We apply our framework to reason on the qualitative dynamics of a large network (more than 200 nodes) modeling the regulation of the cell cycle by RB/E2F. Conclusion: The proposed semantics provide a direct formalization of SBGN-PD networks in dynamical qualitative models that can be further analyzed using standard tools for discrete models. The dynamics in stories semantics have a lower dimension than the general one and prune multiple behaviors (which can be considered as spurious) by enforcing the mutual exclusiveness between the activity of different nodes of a same story. Overall, the qualitative semantics for SBGN-PD allow to capture efficiently important dynamical features of reaction network models and can be exploited to further refine them.
Type de document :
Article dans une revue
BMC Systems Biology, BioMed Central, 2016, 〈10.1186/s12918-016-0285-0〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01332679
Contributeur : Adrien Rougny <>
Soumis le : mardi 21 juin 2016 - 14:42:08
Dernière modification le : jeudi 7 février 2019 - 17:53:28
Document(s) archivé(s) le : jeudi 22 septembre 2016 - 10:57:30

Fichier

article_bmc.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé. Qualitative dynamics semantics for SBGN process description. BMC Systems Biology, BioMed Central, 2016, 〈10.1186/s12918-016-0285-0〉. 〈hal-01332679〉

Partager

Métriques

Consultations de la notice

430

Téléchargements de fichiers

66