Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Biological Physics and Chemistry Année : 2004

Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM

Résumé

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

Dates et versions

hal-01431345 , version 1 (10-01-2017)

Identifiants

  • HAL Id : hal-01431345 , version 1

Citer

Francois Fages, Sylvain Soliman, Nathalie Chabrier-Rivier. Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM. Journal of Biological Physics and Chemistry, 2004, 4 (2), pp.64--73. ⟨hal-01431345⟩

Collections

INRIA INRIA2
157 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More