GUBS，一种面向合成生物学开放系统的行为语言
GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology
摘要：
在这篇文章中，我们提出了一个领域特定的语言，GUBS（基因组统一行为规范），致力于合成生物设备的行为规范，被视为离散的开放动力系统。GUBS是一种基于规则的声明性语言。与封闭系统相比，程序总是对系统行为的部分描述。语言的语义说明了一些隐藏的非指定动作的存在，这些动作可能会改变编程设备的行为。编译框架遵循类似于自动定理证明的方案，旨在提高合成生物设计的安全性。
英文摘要：
In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems. GUBS is a rule-based declarative language. By contrast to a closed system, a program is always a partial description of the behavior of the system. The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device. The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
