Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM

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

[1]  Alexander Bockmayr,et al.  Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems , 2002, ICLP.

[2]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[3]  François Fages,et al.  CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems , 2004, CMSB.

[4]  W. Kolch,et al.  The Role of Raf Kinases in Malignant Transformation , 2022 .

[5]  Stephan Merz,et al.  Model Checking , 2000 .

[6]  Bruce E. Shapiro,et al.  Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations , 2003, Bioinform..

[7]  Ron Maimon,et al.  Diagrammatic Notation and Computational Structure of Gene Networks , 2001 .

[8]  K. Kohn.  Molecular interaction map of the mammalian cell cycle control and DNA repair systems. , 1999, Molecular biology of the cell.

[9]  T. Ideker,et al.  A new approach to decoding life: systems biology. , 2001, Annual review of genomics and human genetics.

[10]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[11]  François Fages,et al.  The Biochemical Abstract Machine BIOCHAM , 2004, CMSB.

[12]  James C. Schaff,et al.  The Virtual Cell , 1998, Pacific Symposium on Biocomputing.

[13]  Claire J. Tomlin,et al.  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model , 2001, HSCC.

[14]  Hiroyuki Ogata,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 1999, Nucleic Acids Res..

[15]  François Fages,et al.  Symbolic Model Checking of Biochemical Networks , 2003, CMSB.

[16]  Calin Belta,et al.  Hybrid Modeling and Simulation of Biomolecular Networks , 2001, HSCC.

[17]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[18]  José Meseguer,et al.  Pathway Logic: Symbolic Analysis of Biological Signaling , 2001, Pacific Symposium on Biocomputing.

[19]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[20]  H. Kitano,et al.  Bio-calculus : Its Concept , and an Application for Molecular Interaction , 2000 .

[21]  Jehoshua Bruck,et al.  Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[22]  Katherine C. Chen,et al.  Kinetic analysis of a molecular model of the budding yeast cell cycle. , 2000, Molecular biology of the cell.