HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [59 references]  Display  Hide  Download

Contributor : Adrien Rougny Connect in order to contact the contributor
Submitted on : Tuesday, June 21, 2016 - 2:42:08 PM
Last modification on : Thursday, May 19, 2022 - 4:48:04 PM
Long-term archiving on: : Thursday, September 22, 2016 - 10:57:30 AM


Publisher files allowed on an open archive



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⟩



Record views


Files downloads