作者: William Waites , Göksel Mısırlı , Matteo Cavaliere , Vincent Danos , Anil Wipat
DOI: 10.1021/ACSSYNBIO.8B00201
关键词: Synthetic biology 、 Computer science 、 Code (cryptography) 、 Inference 、 Programming language 、 Semantic Web 、 Compiler 、 Semantics (computer science) 、 Structure (mathematical logic) 、 Electronic circuit
摘要: A central strategy of synthetic biology is to understand the basic processes living creatures through engineering organisms using same building blocks. Biological machines described in terms parts can be studied by computer simulation any several languages or robotically assembled vitro. In this paper we present a language, Genetic Circuit Description Language (GCDL) and compiler, Compiler (GCC). This language describes genetic circuits at level granularity appropriate both for automated assembly laboratory deriving code. The GCDL follows Semantic Web practice, compiler makes novel use logical inference facilities that are therefore available. We structure as study tool generating κ-language simulations from semantic descriptions circuits.