Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems

Abstract : In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. signaling pathways, information on intracellular space, like the locations and motions of molecules, has to be taken into account. In this paper, we introduce Labeled SpacePi, an extension of the pi-calculus, in order to model spatio-temporal processes in cells. The formalism is tailored to the available data and knowledge about biomolecular systems. For the analysis, we employ model checking techniques known from the field of safety-critical systems. To this end, we develop a translation of Labeled SpacePi models into hybrid automata. Two use cases - one considering the activation of a signaling pathway and the other one concerning active transport in cells - demonstrate our concept by making use of the established analysis tools HyTech and HySat.
Type de document :
Communication dans un congrès
Asien-Pacific Conference on Conceptual Modeling, Jan 2009, Wellington, New Zealand. 2009
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00656269
Contributeur : Mathias John <>
Soumis le : mardi 3 janvier 2012 - 18:51:19
Dernière modification le : lundi 21 mars 2016 - 17:29:43
Document(s) archivé(s) le : mercredi 4 avril 2012 - 03:01:13

Fichier

apccm.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00656269, version 1

Collections

Citation

Andreas Schäfer, Mathias John. Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems. Asien-Pacific Conference on Conceptual Modeling, Jan 2009, Wellington, New Zealand. 2009. 〈hal-00656269〉

Partager

Métriques

Consultations de la notice

74

Téléchargements de fichiers

68