Qualitative dynamics semantics for SBGN process description - Archive ouverte HAL Access content directly
Journal Articles BMC Systems Biology Year : 2016

Qualitative dynamics semantics for SBGN process description


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.
Fichier principal
Vignette du fichier
article_bmc.pdf (2.31 Mo) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-01332679 , version 1 (21-06-2016)



Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé. Qualitative dynamics semantics for SBGN process description. BMC Systems Biology, 2016, ⟨10.1186/s12918-016-0285-0⟩. ⟨hal-01332679⟩
308 View
115 Download



Gmail Facebook X LinkedIn More