Translating BNGL models into Kappa our experience

Kim Quyen Ly 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
Abstract : So as to test the Kappa development tools on more examples, we translated the models provided with the BNGL distribution, into Kappa. In this talk, we report about our experience. The translation was quite straight-forward except for few interesting issues that we detail here. Firstly the use of static analysis has exposed some glitches in the modelling of some pathways in the models of the BNGL distribution. We explain how static analysis has helped us to detect, locate, and correct these flaws. Secondly, expanding BNGL rules using equivalent sites into rules with uniquely identified sites is not so easy when one wants to preserve faithfully the kinetics of interactions. We recall the semantics of BNGL for equivalent sites, and explain how to perform such translation.
Type de document :
Autre publication
Extended abstract. 2017, pp.4
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
Contributeur : Jérôme Feret <>
Soumis le : mercredi 11 octobre 2017 - 07:42:45
Dernière modification le : jeudi 7 février 2019 - 15:49:12
Document(s) archivé(s) le : vendredi 12 janvier 2018 - 12:46:53


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-01613604, version 1



Kim Quyen Ly. Translating BNGL models into Kappa our experience. Extended abstract. 2017, pp.4. 〈hal-01613604〉



Consultations de la notice


Téléchargements de fichiers