使用GReg对基因调控机制进行建模
计算机科学中的逻辑
2011-08-18 v1 计算工程、金融与科学
摘要
大多数现有工具提供模拟框架来研究生物系统模型，但模拟仅探索系统少数最可能的行为。相反，来自IT系统分析的技术（如模型检测）探索了建模系统的所有可能行为，从而有助于识别涌现特性。生命科学领域中大多数模型检测工具的一个主要缺点是，它们接受为计算机科学家设计的语言作为输入，而非专家用户难以理解。本文提出了一种基于领域特定语言(DSL)的方法。它提供了一种可理解的语言来描述系统，同时允许使用复杂而强大的底层模型检测技术。
引用
@article{arxiv.1108.3436,
title = {Modelling of Genetic Regulatory Mechanisms with GReg},
author = {Nicolas Sedlmajer and Didier Buchs and Steve Hostettler and Alban Linard and Edmundo Lopez and Alexis Marechal},
journal= {arXiv preprint arXiv:1108.3436},
year = {2011}
}
备注
Presented at MeCBIC 2011