The Biochemical Abstract Machine BIOCHAM

Nathalie Chabrier-Rivier; François Fages; Sylvain Soliman

doi:10.1007/978-3-540-25974-9_14

The Biochemical Abstract Machine BIOCHAM

Nathalie Chabrier-Rivier
, François Fages
, Sylvain Soliman

INRIA Rocquencourt

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
Pages (de - à)	172-191
Nombre de pages	20
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3082
Les DOIs	https://doi.org/10.1007/978-3-540-25974-9_14
état	Publié - 1 janv. 2005
Modification externe	Oui
Evénement	International Conference on Computational Methods in Systems Biology, CMSB 2004 - Paris, France Durée: 26 mai 2004 → 28 mai 2004

Accès au document

10.1007/978-3-540-25974-9_14

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@article{4bb2cb492a044039b0e695df3e11f76e,

title = "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 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.",

author = "Nathalie Chabrier-Rivier and Fran{\c c}ois Fages and Sylvain Soliman",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/978-3-540-25974-9\_14",

language = "English",

volume = "3082",

pages = "172--191",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

note = "International Conference on Computational Methods in Systems Biology, CMSB 2004 ; Conference date: 26-05-2004 Through 28-05-2004",

}

The Biochemical Abstract Machine BIOCHAM. / Chabrier-Rivier, Nathalie; Fages, François; Soliman, Sylvain.
Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol 3082, 01.01.2005, p. 172-191.

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

TY - JOUR

T1 - The Biochemical Abstract Machine BIOCHAM

AU - Chabrier-Rivier, Nathalie

AU - Fages, François

AU - Soliman, Sylvain

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/26444590537

U2 - 10.1007/978-3-540-25974-9_14

DO - 10.1007/978-3-540-25974-9_14

M3 - Conference article

AN - SCOPUS:26444590537

SN - 0302-9743

VL - 3082

SP - 172

EP - 191

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - International Conference on Computational Methods in Systems Biology, CMSB 2004

Y2 - 26 May 2004 through 28 May 2004

ER -

The Biochemical Abstract Machine BIOCHAM

Résumé

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation