Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM

Abstract : Recent progress in high-throughput data-production technologies pushes research toward systems biology, focusing on the global interaction between the components of biomolecular processes. In this article we present a formal modelling environment for network biology, called the Biochemical Abstract Machine (BIOCHAM). Biocham delivers precise semantics to biomolecular interaction maps. Based on this formal semantics, the Biocham system offers automated reasoning tools for querying the temporal properties of the system under all its possible behaviours. We present the main features of Biocham and report on our modelling experience with this language
Type de document :
Article dans une revue
Journal of Biological Physics and Chemistry, Basel, Switzerland : Collegium Basilea (Institute of Advanced Study) ; Tbilisi : Association of Modern Scientific Investigation (AMSI), 2004, 4 (2), pp.64--73
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01431345
Contributeur : Sylvain Soliman <>
Soumis le : mardi 10 janvier 2017 - 17:31:39
Dernière modification le : lundi 24 septembre 2018 - 14:00:04

Identifiants

  • HAL Id : hal-01431345, version 1

Collections

Citation

Francois Fages, Sylvain Soliman, Nathalie Chabrier-Rivier. Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM. Journal of Biological Physics and Chemistry, Basel, Switzerland : Collegium Basilea (Institute of Advanced Study) ; Tbilisi : Association of Modern Scientific Investigation (AMSI), 2004, 4 (2), pp.64--73. 〈hal-01431345〉

Partager

Métriques

Consultations de la notice

368