Cells as Machines: Towards Deciphering Biochemical Programs in the Cell

Abstract : Systems biology aims at understanding complex biological processes in terms of their basic mechanisms at the molecular level in cells. The bet of applying theoretical computer science concepts and software engineering methods to the analysis of distributed biochemical reaction systems in the cell, designed by natural evolution, has led to interesting challenges in computer science, and new model-based insights in biology. In this paper, we review the development over the last decade of the biochemical abstract machine (Biocham) software environment for modeling cell biology molecular reaction systems, reasoning about them at different levels of abstraction, formalizing biological behaviors in temporal logic with numerical constraints, and using them to infer non-measurable kinetic parameter values, evaluate robustness, decipher natural biochemical processes and implement new programs in synthetic biology.
Document type :
Conference papers
Complete list of metadatas

Cited literature [50 references]  Display  Hide  Download

https://hal.inria.fr/hal-01103291
Contributor : François Fages <>
Submitted on : Wednesday, January 14, 2015 - 2:26:53 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Long-term archiving on : Friday, September 11, 2015 - 6:46:22 AM

File

Fages13icdcit.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

François Fages. Cells as Machines: Towards Deciphering Biochemical Programs in the Cell. ICDCIT 2014 - 10th International Conference Distributed Computing and Internet Technology, Feb 2014, Bhubanesvar, India. pp.50 - 67, ⟨10.1007/978-3-319-04483-5_6⟩. ⟨hal-01103291⟩

Share

Metrics

Record views

377

Files downloads

478