Number of the records: 1
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
- 1.0536273 - ÚVGZ 2022 RIV NL eng C - Conference Paper (international conference)
Troják, M. - Šafránek, D. - Brim, L. - Šalagovič, Jakub - Červený, Jan
Executable Biochemical Space for Specification and Analysis of Biochemical Systems.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Freiburg: Elsevier, 2020, s. 91-116. ISSN 1571-0661.
[9th International Workshop on Static Analysis and Systems Biology (SASB). Freiburg (DE), 28.08.2018-28.08.2018]
R&D Projects: GA MŠMT(CZ) LM2015055
Institutional support: RVO:86652079
Keywords : annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
OECD category: Environmental biotechnology
https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
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 with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.
Permanent Link: http://hdl.handle.net/11104/0314081
Number of the records: 1