Number of the records: 1
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
- 1.
SYSNO ASEP 0536273 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Executable Biochemical Space for Specification and Analysis of Biochemical Systems Author(s) Troják, M. (CZ)
Šafránek, D. (CZ)
Brim, L. (CZ)
Šalagovič, Jakub (UEK-B)
Červený, Jan (UEK-B) RID, ORCID, SAINumber of authors 5 Source Title ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - Freiburg : Elsevier, 2020 - ISSN 1571-0661 Pages s. 91-116 Number of pages 26 s. Publication form Online - E Action 9th International Workshop on Static Analysis and Systems Biology (SASB) Event date 28.08.2018 - 28.08.2018 VEvent location Freiburg Country DE - Germany Event type EUR Language eng - English Country NL - Netherlands Keywords annotation ; simulation ; framework ; semantics ; kappa ; rule-based modelling ; formal specification ; static analysis Subject RIV IN - Informatics, Computer Science OECD category Environmental biotechnology R&D Projects LM2015055 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) Institutional support UEK-B - RVO:86652079 UT WOS 000577846300006 EID SCOPUS 85090902980 DOI 10.1016/j.entcs.2020.06.006 Annotation 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. Workplace Global Change Research Institute Contact Nikola Šviková, svikova.n@czechglobe.cz, Tel.: 511 192 268 Year of Publishing 2022
Number of the records: 1