Model building and model checking for biochemical processes

Antoniotti, M., Policriti, A., Ugel, N., Mishra, B. (2003) Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics, 38 (3). pp. 271-286. ISSN 1085-9195

URL: http://www.ncbi.nlm.nih.gov/pubmed/12794268
DOI: 10.1385/CBB:38:3:271

Abstract

A central claim of computational systems biology is that, by drawing on mathematical approaches developed in the context of dynamic systems, kinetic analysis, computational theory and logic, it is possible to create powerful simulation, analysis, and reasoning tools for working biologists to decipher existing data, devise new experiments, and ultimately to understand functional properties of genomes, proteomes, cells, organs, and organisms. In this article, a novel computational tool is described that achieves many of the goals of this new discipline. The novelty of this system involves an automaton-based semantics of the temporal evolution of complex biochemical reactions starting from the representation given as a set of differential equations. The related tools also provide ability to qualitatively reason about the systems using a propositional temporal logic that can express an ordered sequence of events succinctly and unambiguously The implementation of mathematical and computational models in the Simpathica and XSSYS systems is described briefly. Several example applications of these systems to cellular and biochemical processes are presented: the two most prominent are Leibler et al.'s repressilator (an artificial synthesized oscillatory network), and Curto-Voit-Sorribas-Cascante's purine metabolism reaction model.

Item Type: Paper
Uncontrolled Keywords: biochemical reactions biological models cellular processes model building model checking purine metabolism repressilator temporal logic PURINE METABOLISM
Subjects: bioinformatics
bioinformatics > computational biology
organism description > model organism
CSHL Authors:
Communities: CSHL labs > Wigler lab
Depositing User: Matt Covey
Date Deposited: 11 Jun 2013 20:20
Last Modified: 11 Jun 2013 20:20
Related URLs:
URI: http://repository.cshl.edu/id/eprint/27938

Actions (login required)

Administrator's edit/view item Administrator's edit/view item
CSHL HomeAbout CSHLResearchEducationNews & FeaturesCampus & Public EventsCareersGiving