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
Document type :
Journal articles
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-01431345
Contributor : Sylvain Soliman <>
Submitted on : Tuesday, January 10, 2017 - 5:31:39 PM
Last modification on : Monday, September 24, 2018 - 2:00:04 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

456