论文标题
可执行生化空间，用于规范和分析生化系统
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
论文作者
论文摘要
我们介绍了第二代基于规则的语言，称为生化空间语言（BCSL），该语言结合了不同方法的优势，因此努力克服现有解决方案的几个问题。语言的关键方面是它使用的抽象级别，它允许对生化实体的可扩展和紧凑的层次规范。该抽象使独特的分析技术可以理解语言和句法级别上用语言写的模型的属性。
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.
