BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Bioinformatics Year : 2006

BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Abstract

BIOCHAM (the BIOCHemical Abstract Machine) is a software environment for modeling biochemical systems. It is based on two aspects: (1) the analysis and simulation of boolean, kinetic and stoch-astic models and (2) the formalization of biological properties in temporal logic. BIOCHAM provides tools and languages for describing protein networks with a simple and straightforward syntax, and for integrating biological properties into the model. It then becomes possible to analyze, query, verify and maintain the model with respect to those properties. For kinetic models, BIOCHAM can search for appropriate parameter values in order to reproduce a specific behavior observed in experiments and formalized in temporal logic. Coupled with other methods such as bifurcation diagrams, this search assists the modeler/biologist in the modeling process.
btl172.pdf (141.5 Ko) Télécharger le fichier
Format : Short paper
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

Cite

Laurence Calzone, François Fages, Sylvain Soliman. BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 2006, 22 (14), pp.1805--1807. ⟨10.1093/bioinformatics/btl172⟩. ⟨hal-01431364⟩

Collections

INRIA INRIA2
298 View
54 Download

Altmetric

Share

Gmail Facebook X LinkedIn More