The Biochemical Abstract Machine BIOCHAM
- Cite this paper as:
- Chabrier-Rivier N., Fages F., Soliman S. (2005) The Biochemical Abstract Machine BIOCHAM. In: Danos V., Schachter V. (eds) Computational Methods in Systems Biology. CMSB 2004. Lecture Notes in Computer Science, vol 3082. Springer, Berlin, Heidelberg
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 tools for querying the temporal properties of the system under all its possible behaviors. 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 models w.r.t. their temporal properties.
Unable to display preview. Download preview PDF.