Pattern Graphs and Rule-Based Models: The Semantics of Kappa - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More