Cyto-Sim: A formal language model and stochastic simulator of membrane-enclosed biochemical processes

Sean Sedwards, Tommaso Mazza

Research output: Contribution to journalArticle

20 Citations (Scopus)

Abstract

Motivation: Compartments and membranes are the basis of cell topology and more than 30% of the human genome codes for membrane proteins. While it is possible to represent compartments and membrane proteins in a nominal way with many mathematical formalisms used in systems biology, few, if any, explicitly model the topology of the membranes themselves. Discrete stochastic simulation potentially offers the most accurate representation of cell dynamics. Since the details of every molecular interaction in a pathway are often not known, the relationship between chemical species in not necessarily best described at the lowest level, i.e. by mass action. Simulation is a form of computer-aided analysis, relying on human interpretation to derive meaning. To improve efficiency and gain meaning in an automatic way, it is necessary to have a formalism based on a model which has decidable properties. Results: We present Cyto-Sim, a stochastic simulator of membrane-enclosed hierarchies of biochemical processes, where the membranes comprise an inner, outer and integral layer. The underlying model is based on formal language theory and has been shown to have decidable properties (Cavaliere and Sedwards, 2006), allowing formal analysis in addition to simulation. The simulator provides variable levels of abstraction via arbitrary chemical kinetics which link to ordinary differential equations. In addition to its compact native syntax, Cyto-Sim currently supports models described as Petri nets, can import all versions of SBML and can export SBML and MATLAB® m-files.

Original languageEnglish
Pages (from-to)2800-2802
Number of pages3
JournalBioinformatics
Volume23
Issue number20
DOIs
Publication statusPublished - Oct 15 2007

Fingerprint

Biochemical Phenomena
Formal languages
Formal Languages
Language Model
Formal Model
Simulator
Language
Membrane
Simulators
Membranes
Membrane Protein
Membrane Proteins
Systems Biology
Topology
Human Genome
Computer aided analysis
Chemical Kinetics
Molecular interactions
Formal Analysis
Cell

ASJC Scopus subject areas

  • Clinical Biochemistry
  • Computational Theory and Mathematics
  • Computer Science Applications

Cite this

Cyto-Sim : A formal language model and stochastic simulator of membrane-enclosed biochemical processes. / Sedwards, Sean; Mazza, Tommaso.

In: Bioinformatics, Vol. 23, No. 20, 15.10.2007, p. 2800-2802.

Research output: Contribution to journalArticle

@article{40c4f9aeb1234e22b5d478ff1b7a2c58,
title = "Cyto-Sim: A formal language model and stochastic simulator of membrane-enclosed biochemical processes",
abstract = "Motivation: Compartments and membranes are the basis of cell topology and more than 30{\%} of the human genome codes for membrane proteins. While it is possible to represent compartments and membrane proteins in a nominal way with many mathematical formalisms used in systems biology, few, if any, explicitly model the topology of the membranes themselves. Discrete stochastic simulation potentially offers the most accurate representation of cell dynamics. Since the details of every molecular interaction in a pathway are often not known, the relationship between chemical species in not necessarily best described at the lowest level, i.e. by mass action. Simulation is a form of computer-aided analysis, relying on human interpretation to derive meaning. To improve efficiency and gain meaning in an automatic way, it is necessary to have a formalism based on a model which has decidable properties. Results: We present Cyto-Sim, a stochastic simulator of membrane-enclosed hierarchies of biochemical processes, where the membranes comprise an inner, outer and integral layer. The underlying model is based on formal language theory and has been shown to have decidable properties (Cavaliere and Sedwards, 2006), allowing formal analysis in addition to simulation. The simulator provides variable levels of abstraction via arbitrary chemical kinetics which link to ordinary differential equations. In addition to its compact native syntax, Cyto-Sim currently supports models described as Petri nets, can import all versions of SBML and can export SBML and MATLAB{\circledR} m-files.",
author = "Sean Sedwards and Tommaso Mazza",
year = "2007",
month = "10",
day = "15",
doi = "10.1093/bioinformatics/btm416",
language = "English",
volume = "23",
pages = "2800--2802",
journal = "Bioinformatics",
issn = "1367-4803",
publisher = "NLM (Medline)",
number = "20",

}

TY - JOUR

T1 - Cyto-Sim

T2 - A formal language model and stochastic simulator of membrane-enclosed biochemical processes

AU - Sedwards, Sean

AU - Mazza, Tommaso

PY - 2007/10/15

Y1 - 2007/10/15

N2 - Motivation: Compartments and membranes are the basis of cell topology and more than 30% of the human genome codes for membrane proteins. While it is possible to represent compartments and membrane proteins in a nominal way with many mathematical formalisms used in systems biology, few, if any, explicitly model the topology of the membranes themselves. Discrete stochastic simulation potentially offers the most accurate representation of cell dynamics. Since the details of every molecular interaction in a pathway are often not known, the relationship between chemical species in not necessarily best described at the lowest level, i.e. by mass action. Simulation is a form of computer-aided analysis, relying on human interpretation to derive meaning. To improve efficiency and gain meaning in an automatic way, it is necessary to have a formalism based on a model which has decidable properties. Results: We present Cyto-Sim, a stochastic simulator of membrane-enclosed hierarchies of biochemical processes, where the membranes comprise an inner, outer and integral layer. The underlying model is based on formal language theory and has been shown to have decidable properties (Cavaliere and Sedwards, 2006), allowing formal analysis in addition to simulation. The simulator provides variable levels of abstraction via arbitrary chemical kinetics which link to ordinary differential equations. In addition to its compact native syntax, Cyto-Sim currently supports models described as Petri nets, can import all versions of SBML and can export SBML and MATLAB® m-files.

AB - Motivation: Compartments and membranes are the basis of cell topology and more than 30% of the human genome codes for membrane proteins. While it is possible to represent compartments and membrane proteins in a nominal way with many mathematical formalisms used in systems biology, few, if any, explicitly model the topology of the membranes themselves. Discrete stochastic simulation potentially offers the most accurate representation of cell dynamics. Since the details of every molecular interaction in a pathway are often not known, the relationship between chemical species in not necessarily best described at the lowest level, i.e. by mass action. Simulation is a form of computer-aided analysis, relying on human interpretation to derive meaning. To improve efficiency and gain meaning in an automatic way, it is necessary to have a formalism based on a model which has decidable properties. Results: We present Cyto-Sim, a stochastic simulator of membrane-enclosed hierarchies of biochemical processes, where the membranes comprise an inner, outer and integral layer. The underlying model is based on formal language theory and has been shown to have decidable properties (Cavaliere and Sedwards, 2006), allowing formal analysis in addition to simulation. The simulator provides variable levels of abstraction via arbitrary chemical kinetics which link to ordinary differential equations. In addition to its compact native syntax, Cyto-Sim currently supports models described as Petri nets, can import all versions of SBML and can export SBML and MATLAB® m-files.

UR - http://www.scopus.com/inward/record.url?scp=35748973241&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=35748973241&partnerID=8YFLogxK

U2 - 10.1093/bioinformatics/btm416

DO - 10.1093/bioinformatics/btm416

M3 - Article

C2 - 17855418

AN - SCOPUS:35748973241

VL - 23

SP - 2800

EP - 2802

JO - Bioinformatics

JF - Bioinformatics

SN - 1367-4803

IS - 20

ER -