Abstracting the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture)

Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Rule-based approaches (as in our own Kappa [1], [2], or the BNG language [3], or many other propositions allowing the consideration of "reaction classes") 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 (eg, see Ref. [4], [5] for examples). 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 [6], we construct a reduction method which generates (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 require 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.

Original languageEnglish
Place of PublicationLOS ALAMITOS
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages20
ISBN (Print)978-0-7695-4114-3
Publication statusPublished - 2010
Event25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh
Duration: 11 Jul 201014 Jul 2010


Conference25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)


Dive into the research topics of 'Abstracting the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture)'. Together they form a unique fingerprint.

Cite this