Executable Biochemical Space for Specification and Analysis of Biochemical Systems

0536273 - ÚVGZ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA MŠMT(CZ) LM2015055
Institucionální podpora: RVO:86652079
Klíčová slova: annotation * simulation * framework * semantics * kappa * rule-based modelling * formal specification * static analysis
Obor OECD: 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.
Trvalý link: http://hdl.handle.net/11104/0314081