Pattern Graphs and Rule-Based Models: The Semantics of Kappa - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Pattern Graphs and Rule-Based Models: The Semantics of Kappa

Abstract

Domain-specific rule-based languages to represent the systems of reactions that occur inside cells, such as Kappa and BioNetGen, have attracted significant recent interest. For these models, powerful simulation and static analysis techniques have been developed to understand the behaviour of the systems that they represent, and these techniques can be transferred to other fields. The languages can be understood intuitively as transforming graph-like structures, but due to their expressivity these are difficult to model in 'traditional' graph rewriting frameworks. In this paper, we introduce pattern graphs and closed morphisms as a more abstract graph-like model and show how Kappa can be encoded in them by connecting its single-pushout semantics to that for Kappa. This level of abstraction elucidates the earlier single-pushout result for Kappa, teasing apart the proof and guiding the way to richer languages, for example the introduction of compartments within cells.
No file

Dates and versions

hal-00925345 , version 1 (07-01-2014)

Identifiers

Cite

Jonathan Hayman, Tobias Heindel. Pattern Graphs and Rule-Based Models: The Semantics of Kappa. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. pp.1--16, ⟨10.1007/978-3-642-37075-5⟩. ⟨hal-00925345⟩
127 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More