×
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐

交互式系统的模块化验证与生物学应用。 （英语） Zbl 1283.68204号

Krivine，Jean（编辑）等人，第一届计算机科学与生物学相互作用国际研讨会论文集（CS2Bio'10），荷兰阿姆斯特丹，2010年6月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记268，61-75（2010）。
摘要：我们提出了一种基于自动机的生物系统描述形式，允许以模块化的方式验证CTL通用片段中表示的属性。作为一个例子，我们展示了紫胶操纵子调控的建模和一些性质的模块验证。
关于整个系列，请参见[Zbl 1281.68031号].

引用于1文件

理学硕士：

60年第68季度 规范和验证（程序逻辑、模型检查等）
65年第68季度 形式语言和自动机
92立方厘米 系统生物学、网络

关键词：

系统生物学;并发交互系统;模块化验证;模型检查

软件：

生物CHAM;生物-PEPA
PDF格式BibTeX公司 XML格式引用
\textit{P.Drábik}等人，《电子》。注释Theor。计算。科学。268、61-75（2010年；Zbl 1283.68204）
全文： 内政部

参考文献：

[1] Attie，P.C.，《从动态规范合成大型动态并发程序》（2008），CoRR·Zbl 1392.68143号
[2] Barbuti，R。；新墨西哥州弗朗西斯科。；Santone，A。；Vaglini，G.，Loreto:一种减少lotos程序验证中状态爆炸的工具，Softw。，实际。专家。，29, 1123-1147 (1999)
[3] Barbuti，R。；Maggiolo-Schettini，A。；Milazzo，P。；Troina，A.，《模拟微生物系统的循环序列演算》，Fundam。Inf.，72，21-35（2006）·Zbl 1101.92021号
[4] Calzone，L。；Chabrier Rivier，北卡罗来纳州。；Fages，F。；Soliman，S.，《从时序逻辑属性中机器学习生化网络》（计算系统生物学学报，第六卷（2006）），68-94
[5] Cardelli，L.，Brane calculi，系统生物学中的计算方法，257-278（2005）·Zbl 1088.68657号
[6] 乔切塔，F。；Guerriero，M.L。；Hillston，J.，《研究生化系统过程代数模型分析中的模块性》（2010），CoRR
[7] 乔切塔，F。；Hillston，J.，《生物保护：生物系统建模和分析框架》，Theor。计算。科学。，410, 3065-3084 (2009) ·Zbl 1173.68041号
[8] Clarke，E.M.和E.A.Emerson，基于分支时间时序逻辑的同步骨架设计与综合，摘自：《程序逻辑》，研讨会（1982年），第52-71页。；Clarke，E.M.和E.A.Emerson，基于分支时间时序逻辑的同步骨架设计与综合，载于：《程序逻辑》，研讨会（1982年），第52-71页·Zbl 0546.68014号
[9] Dams，D。；Gerth，R。；Grumberg，O.，反应系统的抽象解释，ACM Trans。程序。语言系统。，19, 253-291 (1997)
[10] Danos，V。；Laneve，C.，《形式分子生物学》，Theor。计算。科学。，325, 69-110 (2004) ·Zbl 1071.68041号
[11] Fages，F。；索利曼，S。；Chabrier-Rivier，N.，生物化学抽象机生物炉中的交互网络建模与查询，生物物理与化学杂志，4，64-73（2004）
[12] 格伦伯格，O。；Long，D.E.，模型检查和模块验证，ACM Trans。程序。语言系统。，16, 843-871 (1994)
[13] 希思·J。；Kwiatkowska，M。；诺曼，G。；帕克博士。；Tymcyshyn，O.，复杂生物路径的概率模型检验，Theor。计算。科学。，391, 239-257 (2008) ·Zbl 1133.68043号
[14] 雅各布·F。；Monod，J.，蛋白质合成中的遗传调控机制，分子生物学杂志，3，318-356（1961）
[15] 蒙特罗，P.T。；Ropers，D。；Mateescu，R。；Freitas，A.T。；de Jong，H.，用于查询细胞交互网络动态模型的时间逻辑模式，生物信息学，24，i227-233（2008）
[16] 平托，M.C。；Foss，L。；Mombach，J.M。；Ribeiro，L.，《乳糖操纵子调控的建模、属性验证和行为等效性》，《生物和医学中的计算机》，37，134-148（2007）
[17] Priami，C。；雷格夫，A。；夏皮罗，E。；Silverman，W.，《随机命名演算在分子过程表示和模拟中的应用》，Inf.Process。莱特。，80, 25-31 (2001) ·Zbl 0997.92018号
[18] 雷格夫，A。；Panina，E.M。；西尔弗曼，W。；卡德利，L。；Shapiro，E.，《生物环境：生物隔间的抽象》，Theor。计算。科学。，325, 141-167 (2004) ·Zbl 1069.68569号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。