Bioinformatics Advance Access originally published online on September 13, 2007
Bioinformatics 2007 23(20):2800-2802; doi:10.1093/bioinformatics/btm416
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes
1Microsoft Research – University of Trento Centre for Computational & Systems Biology and 2Department of Experimental & Clinical Medicine, Magna Græcia University of Catanzaro, Italy
*To whom correspondence should be addressed.
 |
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.
Availability: Cyto-Sim is available free, either as an applet or a stand-alone Java program via the web page (http://www.cosbi.eu/Rpty_Soft_CytoSim.php). Other versions can be made available upon request.
Contact: t.mazza{at}unicz.it
Received on June 8, 2007; revised on July 25, 2007; accepted on August 9, 2007
CiteULike 
Connotea 
Del.icio.us What's this?
This article has been cited by other articles:
|
|
 |
|
  R. Breitling, D. Gilbert, M. Heiner, and R. Orton A structured approach for the engineering of biochemical network models, illustrated for signalling pathways Brief Bioinform, September 1, 2008; 9(5): 404 - 421. [Abstract] [Full Text] [PDF]
|
|