Filtered compression for Kappa

Jonathan Hayman 1, 2, *
* Auteur correspondant
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Kappa is a language geared towards the modelling of the complex systems of reactions that can occur between proteins inside cells. It is supported by sophisticated simulation and static analysis techniques which can be applied to the models to study their emergent behaviour. Part of this is the construction by the simulator of causal histories explaining the generation of patterns of connectivity that the user speci es to be of interest, for example the existence of links between speci ed kinds of protein. Standard notions of independence of rule applications fail to provide adequately concise causal histories, leading to the earlier formulation of strong and weak forms of trajectory compression for Kappa. In this paper, we give a simple categorical account of how forms of compression can be uniformly obtained. This generalisation also describes a way for the user to specify their own levels of compression between weak and strong, which we call ltered compression. This is based on the idea of the user specifying the part of the type graph that represents the the structure which the compression technique should track through the trace.
Type de document :
Communication dans un congrès
Jérôme Feret and Andre Levchenko. SASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jun 2013, Seattle, United States. Elsevier, 2014, 4th International Workshop on Static Analysis and Systems Biology
Liste complète des métadonnées

https://hal.inria.fr/hal-00925549
Contributeur : Jérôme Feret <>
Soumis le : mercredi 8 janvier 2014 - 11:18:41
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : hal-00925549, version 1

Collections

Citation

Jonathan Hayman. Filtered compression for Kappa. Jérôme Feret and Andre Levchenko. SASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jun 2013, Seattle, United States. Elsevier, 2014, 4th International Workshop on Static Analysis and Systems Biology. 〈hal-00925549〉

Partager

Métriques

Consultations de la notice

187