×

zbMATH — the first resource for mathematics

Efficient reduction of Kappa models by static inspection of the rule-set. (English) Zbl 1412.92075
Abate, Alessandro (ed.) et al., Hybrid systems biology. Fourth international workshop, HSB 2015, Madrid, Spain, September 4–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9271, 173-191 (2015).
Summary: When designing genetic circuits, the typical primitives used in major existing modelling formalisms are gene interaction graphs, where edges between genes denote either an activation or inhibition relation. However, when designing experiments, it is important to be precise about the low-level mechanistic details as to how each such relation is implemented. The rule-based modelling language Kappa allows to unambiguously specify mechanistic details such as DNA binding sites, dimerisation of transcription factors, or co-operative interactions. Such a detailed description comes with complexity and computationally costly executions. We propose a general method for automatically transforming a rule-based program, by eliminating intermediate species and adjusting the rate constants accordingly. To the best of our knowledge, we show the first automated reduction of rule-based models based on equilibrium approximations.
Our algorithm is an adaptation of an existing algorithm, which was designed for reducing reaction-based programs; our version of the algorithm scans the rule-based Kappa model in search for those interaction patterns known to be amenable to equilibrium approximations (e.g. Michaelis-Menten scheme). Additional checks are then performed in order to verify if the reduction is meaningful in the context of the full model. The reduced model is efficiently obtained by static inspection over the rule-set. The tool is tested on a detailed rule-based model of a \(\lambda \)-phage switch, which lists 92 rules and 13 agents. The reduced model has 11 rules and 5 agents, and provides a dramatic reduction in simulation time of several orders of magnitude.
For the entire collection see [Zbl 1408.92003].

MSC:
92C40 Biochemistry, molecular biology
92-08 Computational methods for problems pertaining to biology
Software:
KAPPA
PDF BibTeX XML Cite
Full Text: DOI