The Biochemical Abstract Machine {BIOCHAM}

Abstract : In this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for networks biology. Biocham provides a precise semantics to biomolecular interaction maps. Based on this formal semantics, the Biocham system offers automated reasoning to ols for querying the temporal properties of the system under all its possible behavi ors. We present the main features of Biocham, provide details on a simple example of the MAPK signaling cascade and prove some results on the equivalence of model s w.r.t. their temporal properties.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000814
Contributor : Sylvain Soliman <>
Submitted on : Monday, November 21, 2005 - 3:05:24 PM
Last modification on : Monday, September 24, 2018 - 2:00:04 PM
Long-term archiving on : Friday, April 2, 2010 - 7:47:58 PM

Identifiers

  • HAL Id : inria-00000814, version 1

Collections

Citation

Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman. The Biochemical Abstract Machine {BIOCHAM}. : Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191. ⟨inria-00000814⟩

Share

Metrics

Record views

369

Files downloads

255