GUBS：一种面向合成生物学的开放系统基于行为的语言
编程语言
2012-11-20 v2 计算工程、金融与科学
摘要
在本文中，我们提出了一种领域特定语言 GUBS（Genomic Unified Behavior Specification，基因组统一行为规范），专用于合成生物器件的行为规范，将其视为离散开放动力系统。GUBS 是一种基于规则的声明式语言。与封闭系统不同，程序始终只是系统行为的部分描述。该语言的语义考虑了某些隐藏的未指定动作的存在，这些动作可能会改变编程器件的行为。其编译框架遵循类似于自动定理证明的方案，旨在提高合成生物设计的安全性。
引用
@article{arxiv.1206.6098,
title = {GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology},
author = {Adrien Basso-Blandin and Franck Delaplace},
journal= {arXiv preprint arXiv:1206.6098},
year = {2012}
}
备注
In Proceedings MeCBIC 2012, arXiv:1211.3476