Skip to Main content Skip to Navigation
Conference papers

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Vincent Danos 1 Jérôme Feret 2, * Walter Fontana 3 Russell Harmer 4 Jonathan Hayman 2, 5 Jean Krivine 4 Chris Thompson-Walsh 5 Glynn Winskel 5
* Corresponding author
2 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
5 Computer Laboratory
Computer Laboratory [Cambridge]
Abstract : In this paper, we introduce a novel way of constructing concise causal histories (pathways) to represent how specified structures are formed during simulation of systems represented by rule- based models. This is founded on a new, clean, graph-based semantics introduced in the first part of this paper for Kappa, a rule-based modelling language that has emerged as a natural description of protein-protein interactions in molecular biology [1]. The semantics is capable of capturing the whole of Kappa, including subtle side-effects on deletion of structure, and its structured presentation provides the basis for the translation of techniques to other models. In particular, we give a notion of trajectory compression, which restricts a trace culminating in the production of a given structure to the actions necessary for the structure to occur. This is central to the reconstruction of biochemical pathways due to the failure of traditional techniques to provide adequately concise causal histories, and we expect it to be applicable in a range of other modelling situations.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00809065
Contributor : Jean Krivine Connect in order to contact the contributor
Submitted on : Monday, April 8, 2013 - 2:22:00 PM
Last modification on : Friday, October 15, 2021 - 1:39:42 PM
Long-term archiving on: : Monday, April 3, 2017 - 1:54:52 AM

File

fsttcs.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, et al.. Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS 2012 - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2012, Hyderabad, India. pp.276-288, ⟨10.4230/LIPIcs.FSTTCS.2012.276⟩. ⟨hal-00809065⟩

Share

Metrics

Record views

1061

Files downloads

420