CSDL Home IEEE/ACM Transactions on Computational Biology and Bioinformatics 2008 vol.5 Issue No.01  JanuaryMarch
Subscribe
Issue No.01  JanuaryMarch (2008 vol.5)
pp: 8090
ABSTRACT
A translation of SBML (Systems Biology Markup Language) into a process algebra is proposed in order to allow the formal specification, the simulation and the formal analysis of biological models. Betabinders, 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 Betabinders has been implemented as well. Finally, the translation of a simple model is reported.
INDEX TERMS
Process algebras, biological systems, modeling, Systems Biology Markup Language (SBML), translation tool, systems biology
CITATION
Corrado Priami, Paola Quaglia, "An Automatic Translation of SBML into BetaBinders", IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.5, no. 1, pp. 8090, JanuaryMarch 2008, doi:10.1109/TCBB.2007.70219
REFERENCES
