AI Article Synopsis
- A new way to translate Systems Biology Markup Language (SBML) into a process algebra is introduced to enhance the formal analysis and simulation of biological models.
- The translation uses Beta-binders, which allows for both qualitative and quantitative insights into biological processes, focusing mainly on important elements like species and reactions.
- An automated tool has been developed to facilitate this translation, and a simple model has been demonstrated using this approach.
Article Abstract
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.
Download full-text PDF |
Source |
|---|---|
| http://dx.doi.org/10.1109/TCBB.2007.70219 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
An automatic translation of SBML into Beta-binders.
IEEE/ACM Trans Comput Biol Bioinform
May 2008
University of Edinburgh, Scotland, UK.
Article Synopsis
- A new way to translate Systems Biology Markup Language (SBML) into a process algebra is introduced to enhance the formal analysis and simulation of biological models.
- The translation uses Beta-binders, which allows for both qualitative and quantitative insights into biological processes, focusing mainly on important elements like species and reactions.
- An automated tool has been developed to facilitate this translation, and a simple model has been demonstrated using this approach.
Want AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!