Related Experiment Video
Updated: Jul 7, 2026
08:01
A Web Tool for Generating High Quality Machine-readable Biological Pathways
Published on: February 8, 2017
An automatic translation of SBML into Beta-binders.
Federica Ciocchetta1, Corrado Priami, Paola Quaglia
1University of Edinburgh, Scotland, UK. fciocche@inf.ed.ac.uk
IEEE/ACM Transactions on Computational Biology and Bioinformatics
|February 5, 2008
Summary
This study introduces a method to translate Systems Biology Markup Language (SBML) models into Beta-binders, a process algebra. This enables formal analysis and simulation of biological systems, enhancing computational biology research.
Area of Science:
- Computational Biology
- Systems Biology
- Formal Methods
Background:
- Biological models are often described using Systems Biology Markup Language (SBML).
- Formal analysis and simulation of these models are crucial for understanding biological systems.
- Existing methods may lack formal guarantees or compositional properties.
Purpose of the Study:
- To propose a formal translation from Systems Biology Markup Language (SBML) to Beta-binders.
- To enable formal specification, simulation, and analysis of biological models.
- To ensure the translation is compositional.
Main Methods:
- A translation scheme from SBML to Beta-binders, a quantitative stochastic process algebra, is defined.
- The translation focuses on core SBML components: species and reactions.
- The compositional property is maintained, allowing whole model translation from subcomponent translations.
Main Results:
- A formal translation from SBML to Beta-binders has been developed.
- The translation adheres to the compositional property.
- An automatic tool for SBML to Beta-binders translation has been implemented.
- A simple model translation is demonstrated.
Conclusions:
- The proposed translation facilitates formal analysis and simulation of SBML models using Beta-binders.
- The compositional nature of the translation aids in building and analyzing complex biological models.
- The availability of an automatic tool promotes wider adoption and application of these formal methods.
More Related Videos
Related Concept Videos
02:40Ligand Binding Sites
Proteins are dynamic macromolecules that carry out a wide variety of essential processes; however, the activities of most proteins depend on their interactions with other molecules or ions, known as ligands.
Protein-ligand interactions are quite specific; even though numerous potential ligands surround a cellular protein at any given time, only a particular ligand can bind to that protein. Moreover, a ligand binds only to a dedicated area on the surface of the protein, known as the...
Protein-ligand interactions are quite specific; even though numerous potential ligands surround a cellular protein at any given time, only a particular ligand can bind to that protein. Moreover, a ligand binds only to a dedicated area on the surface of the protein, known as the...
02:40Ligand Binding Sites
Proteins are dynamic macromolecules that carry out a wide variety of essential processes; however, the activities of most proteins depend on their interactions with other molecules or ions, known as ligands.
Protein-ligand interactions are quite specific; even though numerous potential ligands surround a cellular protein at any given time, only a particular ligand can bind to that protein. Moreover, a ligand binds only to a dedicated area on the surface of the protein, known as the...
Protein-ligand interactions are quite specific; even though numerous potential ligands surround a cellular protein at any given time, only a particular ligand can bind to that protein. Moreover, a ligand binds only to a dedicated area on the surface of the protein, known as the...
00:49Ligand Binding and Linkage
Allosteric proteins have more than one ligand binding site; the binding of a ligand to any of these sites influences the binding of ligands to the other sites. When a protein is allosteric, its binding sites are called coupled or linked. In the case of enzymes, the site that binds to the substrate is known as the active site and the other site is known as the regulatory site. When a ligand binds to the regulatory site, this leads to conformational changes in the protein that can influence the...
00:49Ligand Binding and Linkage
Allosteric proteins have more than one ligand binding site; the binding of a ligand to any of these sites influences the binding of ligands to the other sites. When a protein is allosteric, its binding sites are called coupled or linked. In the case of enzymes, the site that binds to the substrate is known as the active site and the other site is known as the regulatory site. When a ligand binds to the regulatory site, this leads to conformational changes in the protein that can influence the...
01:49Conserved Binding Sites
Many proteins’ biological role depends on their interactions with their ligands, small molecules that bind to specific locations on the protein known as ligand-binding sites. Ligand-binding sites are often conserved among homologous proteins as these sites are critical for protein function.
Binding sites are often located in large pockets, and if their location on a protein’s surface is unknown, it can be predicted using various approaches. The energetic method computationally analyses the...
Binding sites are often located in large pockets, and if their location on a protein’s surface is unknown, it can be predicted using various approaches. The energetic method computationally analyses the...
01:49Conserved Binding Sites
Many proteins’ biological role depends on their interactions with their ligands, small molecules that bind to specific locations on the protein known as ligand-binding sites. Ligand-binding sites are often conserved among homologous proteins as these sites are critical for protein function.
Binding sites are often located in large pockets, and if their location on a protein’s surface is unknown, it can be predicted using various approaches. The energetic method computationally analyses the...
Binding sites are often located in large pockets, and if their location on a protein’s surface is unknown, it can be predicted using various approaches. The energetic method computationally analyses the...