Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

TROJÁK Matej ŠAFRÁNEK David BRIM Luboš ŠALAGOVIČ Jakub ČERVENÝ Jan

Year of publication 2020
Type Article in Proceedings
Conference 9th International Workshop on Static Analysis and Systems Biology (SASB)
MU Faculty or unit

Faculty of Informatics

Citation
Web https://doi.org/10.1016/j.entcs.2020.06.006
Doi http://dx.doi.org/10.1016/j.entcs.2020.06.006
Keywords rule-based modelling; formal specification; static analysis
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.