Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2020
Druh Článek ve sborníku
Konference 9th International Workshop on Static Analysis and Systems Biology (SASB)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www https://doi.org/10.1016/j.entcs.2020.06.006
Doi http://dx.doi.org/10.1016/j.entcs.2020.06.006
Klíčová slova rule-based modelling; formal specification; static analysis
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.