尼古拉斯·塞德马杰尔;迪迪埃·布克斯;史蒂夫·霍斯特特勒;阿尔班·利纳德;埃德蒙多·洛佩斯·博贝达;亚历克西斯·马雷查尔 基因调控机制分析的领域特定语言方法。 （英语） Zbl 1377.92033号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型上的事务》。六、 柏林：施普林格出版社（ISBN 978-3-642-35178-5/pbk）。计算机科学7400课堂讲稿。《期刊副刊》，123-145（2012）。 概述：系统生物学和合成生物学可以被视为模型驱动的方法论。在这种情况下，模型用于发现组件之间复杂交互产生的紧急属性。大多数可用工具都提出了研究生物系统模型的模拟框架。模拟只探索了这些模型的有限数量的行为。这可能导致对系统的偏见。相反，模型检查探索所有可能的行为。模型检查在生命科学领域的应用是有限的。它受到计算机科学家设计的建模语言的复杂性的影响。本文描述了一种基于领域特定语言的方法。它提供了一种称为GReg的可理解但正式的语言，用于描述基因调控机制及其属性，并对其应用强大的模型检查技术。GReg的目标是保护用户免受这些底层技术的复杂性的影响。关于整个系列，请参见[Zbl 1253.68013号]. 理学硕士： 92C40型 生物化学、分子生物学 关键词：遗传调控机制;特定于域的语言 PDF格式BibTeX公司 XML格式引用 \textit{N.Sedlmajer}等人，Lect。注释计算。科学。7400123-145（2012年；兹bl 1377.92033） 全文： 内政部