Abstracting the differential semantics of rule-based models: exact and automated model reduction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Abstracting the differential semantics of rule-based models: exact and automated model reduction

Résumé

Rule-based approaches offer new and more powerful ways to capture the combinatorial interactions that are typical of molecular biological systems. They afford relatively compact and faithful descriptions of cellular interaction networks despite the combination of two broad types of interaction: the formation of complexes (a biological term for the ubiquitous non-covalent binding of bio-molecules), and the chemical modifications of macromolecules (aka post-translational modifications). However, all is not perfect. This same combinatorial explosion that pervades biological systems also seems to prevent the simulation of molecular networks using systems of differential equations. In all but the simplest cases the generation (and even more the integration) of the explicit system of differential equations which is canonically associated to a rule set is unfeasible. So there seems to be a price to pay for this increase in clarity and precision of the description, namely that one can only execute such rule-based systems using their stochastic semantics as continuous time Markov chains, which means a slower if more accurate simulation. In this paper, we take a fresh look at this question, and, using techniques from the abstract interpretation framework, we construct a reduction method which gener- ates (typically) far smaller systems of differential equations than the concrete/canonical one. We show that the abstract/reduced differential system has solutions which are linear combinations of the canonical ones. Importantly, our method: 1) does not re- quire the concrete system to be explicitly computed, so it is intensional, 2) nor does it rely on the choice of a specific set of rate constants for the system to be reduced, so it is symbolic, and 3) achieves good compression when tested on rule-based models of significant size, so it is also realistic.
Fichier principal
Vignette du fichier
Dan_etal10a.pdf (392.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00520112 , version 1 (23-09-2010)

Identifiants

  • HAL Id : hal-00520112 , version 1

Citer

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine. Abstracting the differential semantics of rule-based models: exact and automated model reduction. Logic in Computer Science, 2010, Edinburgh, United Kingdom. pp.362-381. ⟨hal-00520112⟩
454 Consultations
261 Téléchargements

Partager

Gmail Facebook X LinkedIn More