Filtered compression for Kappa - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Filtered compression for Kappa

Résumé

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

Dates et versions

hal-00925549 , version 1 (08-01-2014)

Identifiants

  • HAL Id : hal-00925549 , version 1

Citer

Jonathan Hayman. Filtered compression for Kappa. SASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jerome Feret and Andre Levchenko, Jun 2013, Seattle, United States. ⟨hal-00925549⟩
155 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More