Executable biochemical space for specification and analysis of biochemical systems
Computational systems biology provides multiple formalisms for modelling of biochemical processes among which the rule-based approach is one of the most suitable. Its main advantage is a compact and precise mechanistic description of complex processes. However, state-of-the-art rule-based languages...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Public Library of Science (PLoS)
2020-01-01
|
| Series: | PLoS ONE |
| Online Access: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7485897/?tool=EBI |
| _version_ | 1818240436583530496 |
|---|---|
| author | Matej Troják David Šafránek Lukrécia Mertová Luboš Brim Bashar Ibrahim |
| author_facet | Matej Troják David Šafránek Lukrécia Mertová Luboš Brim Bashar Ibrahim |
| author_sort | Matej Troják |
| collection | DOAJ |
| description | Computational systems biology provides multiple formalisms for modelling of biochemical processes among which the rule-based approach is one of the most suitable. Its main advantage is a compact and precise mechanistic description of complex processes. However, state-of-the-art rule-based languages still suffer several shortcomings that limit their use in practice. In particular, the elementary (low-level) syntax and semantics of rule-based languages complicate model construction and maintenance for users outside computer science. On the other hand, mathematical models based on differential equations (ODEs) still make the most typical used modelling framework. In consequence, robust re-interpretation and integration of models are difficult, thus making the systems biology paradigm technically challenging. Though several high-level languages have been developed at the top of rule-based principles, none of them provides a satisfactory and complete solution for semi-automated description and annotation of heterogeneous biophysical processes integrated at the cellular level. We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems of existing solutions. BCSL relies on the formal basis of the rule-based methodology while preserving user-friendly syntax of plain chemical equations. BCSL combines the following aspects: the level of abstraction that hides structural and quantitative details but yet gives a precise mechanistic view of systems dynamics; executable semantics allowing formal analysis and consistency checking at the level of the language; universality allowing the integration of different biochemical mechanisms; scalability and compactness of the specification; hierarchical specification and composability of chemical entities; and support for genome-scale annotation. |
| first_indexed | 2024-12-12T13:13:25Z |
| format | Article |
| id | doaj.art-819aae361ffb455f9233445abe761fd2 |
| institution | Directory Open Access Journal |
| issn | 1932-6203 |
| language | English |
| last_indexed | 2024-12-12T13:13:25Z |
| publishDate | 2020-01-01 |
| publisher | Public Library of Science (PLoS) |
| record_format | Article |
| series | PLoS ONE |
| spelling | doaj.art-819aae361ffb455f9233445abe761fd22022-12-22T00:23:28ZengPublic Library of Science (PLoS)PLoS ONE1932-62032020-01-01159Executable biochemical space for specification and analysis of biochemical systemsMatej TrojákDavid ŠafránekLukrécia MertováLuboš BrimBashar IbrahimComputational systems biology provides multiple formalisms for modelling of biochemical processes among which the rule-based approach is one of the most suitable. Its main advantage is a compact and precise mechanistic description of complex processes. However, state-of-the-art rule-based languages still suffer several shortcomings that limit their use in practice. In particular, the elementary (low-level) syntax and semantics of rule-based languages complicate model construction and maintenance for users outside computer science. On the other hand, mathematical models based on differential equations (ODEs) still make the most typical used modelling framework. In consequence, robust re-interpretation and integration of models are difficult, thus making the systems biology paradigm technically challenging. Though several high-level languages have been developed at the top of rule-based principles, none of them provides a satisfactory and complete solution for semi-automated description and annotation of heterogeneous biophysical processes integrated at the cellular level. We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems of existing solutions. BCSL relies on the formal basis of the rule-based methodology while preserving user-friendly syntax of plain chemical equations. BCSL combines the following aspects: the level of abstraction that hides structural and quantitative details but yet gives a precise mechanistic view of systems dynamics; executable semantics allowing formal analysis and consistency checking at the level of the language; universality allowing the integration of different biochemical mechanisms; scalability and compactness of the specification; hierarchical specification and composability of chemical entities; and support for genome-scale annotation.https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7485897/?tool=EBI |
| spellingShingle | Matej Troják David Šafránek Lukrécia Mertová Luboš Brim Bashar Ibrahim Executable biochemical space for specification and analysis of biochemical systems PLoS ONE |
| title | Executable biochemical space for specification and analysis of biochemical systems |
| title_full | Executable biochemical space for specification and analysis of biochemical systems |
| title_fullStr | Executable biochemical space for specification and analysis of biochemical systems |
| title_full_unstemmed | Executable biochemical space for specification and analysis of biochemical systems |
| title_short | Executable biochemical space for specification and analysis of biochemical systems |
| title_sort | executable biochemical space for specification and analysis of biochemical systems |
| url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7485897/?tool=EBI |
| work_keys_str_mv | AT matejtrojak executablebiochemicalspaceforspecificationandanalysisofbiochemicalsystems AT davidsafranek executablebiochemicalspaceforspecificationandanalysisofbiochemicalsystems AT lukreciamertova executablebiochemicalspaceforspecificationandanalysisofbiochemicalsystems AT lubosbrim executablebiochemicalspaceforspecificationandanalysisofbiochemicalsystems AT basharibrahim executablebiochemicalspaceforspecificationandanalysisofbiochemicalsystems |