Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Autor:	Troják, Matej, Šafránek, David, Brim, Luboš
Rok vydání:	2020
Předmět:	Quantitative Biology - Molecular Networks Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
DOI:	10.1371/journal.pone.0238838
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. Comment: 18 pages, 5 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2002.00731 Zobrazit plný text záznamu View this record from Arxiv