期刊
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
卷 350, 期 -, 页码 91-116出版社
ELSEVIER
DOI: 10.1016/j.entcs.2020.06.006
关键词
rule-based modelling; formal specification; static analysis
资金
- Czech Science Foundation [18-00178S]
- Czech National Infrastructure grant [LM2015055]
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据