Source:http://linkedlifedata.com/resource/pubmed/id/18245877
Switch to
Predicate | Object |
---|---|
rdf:type | |
lifeskim:mentions | |
pubmed:issue |
1
|
pubmed:dateCreated |
2008-2-4
|
pubmed:abstractText |
A translation of Systems Biology Markup Language (SBML) into a process algebra is proposed in order to allow the formal specification, the simulation and the formal analysis of biological models. Beta-binders, a language with a quantitative stochastic extension, is chosen for the translation. The proposed translation focuses on the main components of SBML models, as species and reactions. Furthermore, it satisfies the compositional property, i.e. the translation of the whole model is obtained by composing the translation of the subcomponents. An automatic translator tool of SBML models into Beta-binders has been implemented as well. Finally, the translation of a simple model is reported.
|
pubmed:language |
eng
|
pubmed:journal | |
pubmed:citationSubset |
IM
|
pubmed:chemical | |
pubmed:status |
MEDLINE
|
pubmed:issn |
1545-5963
|
pubmed:author | |
pubmed:issnType |
Print
|
pubmed:volume |
5
|
pubmed:owner |
NLM
|
pubmed:authorsComplete |
Y
|
pubmed:pagination |
80-90
|
pubmed:meshHeading |
pubmed-meshheading:18245877-Algorithms,
pubmed-meshheading:18245877-Catalysis,
pubmed-meshheading:18245877-Computer Simulation,
pubmed-meshheading:18245877-Kinetics,
pubmed-meshheading:18245877-Metabolic Networks and Pathways,
pubmed-meshheading:18245877-Models, Biological,
pubmed-meshheading:18245877-Programming Languages,
pubmed-meshheading:18245877-Receptors, Cholinergic,
pubmed-meshheading:18245877-Stochastic Processes,
pubmed-meshheading:18245877-Systems Biology
|
pubmed:articleTitle |
An automatic translation of SBML into Beta-binders.
|
pubmed:affiliation |
University of Edinburgh, Scotland, UK. fciocche@inf.ed.ac.uk
|
pubmed:publicationType |
Journal Article
|