戈丽，罗伯塔;弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 （英语） 兹比尔1205.68244 Inf.计算。 208，第8期，869-921（2010）. 摘要：本文讨论了形式化方法在生物系统中的应用，特别是在BioAmbients（移动环境演算的一种变体）中建模。遵循基于语义的抽象解释方法，我们定义了一种新的静态分析，用于计算抽象转换系统。与文献中出现的分析相比，我们的分析有两个主要优点：（i）它能够处理比不变属性更一般的时间属性；（ii）通过特定的标签规程，支持对可能出现多个环境副本的系统进行验证。我们还通过简单的加宽算子设计了新的更弱、更有效的分析。 引用于10文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：移动环境和BioAmbients演算;抽象解释;时间特性的验证 软件：棱镜;SLMC公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi}，Inf.Compute。208，第8号，869--921（2010；Zbl 1205.68244） 全文： 内政部 参考文献： [3] Cardelli，L.，《双核膜系统：生物膜的相互作用》，《理论计算机科学》，404，5-18（2008）·Zbl 1151.68013号 [4] Caires，L。；Cardelli，L.，并发的空间逻辑（第一部分），信息与计算，186，2，194-235（2003）·Zbl 1068.03022号 [5] Caires，L。；Cardelli，L.，并发的空间逻辑（第二部分），理论计算机科学，322,3517-565（2004）·Zbl 1050.68104号 [6] Cardelli，L。；Gordon，A.D.，移动环境，理论计算机科学，240，177-213（2000）·Zbl 0954.68108号 [7] 北卡罗来纳州查布里埃。；马克·奇瓦里尼（Marc Chiaverini）；Fages，Vincent Danosand F.，建模和查询生物分子相互作用网络，理论计算机科学，325，1，25-44（2004）·Zbl 1071.68098号 [8] 查拉托尼克，W。；Dal Zilio，S。；戈登，A.D。；Mukhopadhyay，S。；Talbot，J.-M.，《模型检查移动环境》，《理论计算机科学》，308277-331（2003）·Zbl 1068.68081号 [9] 克拉克，M。；格伦伯格，O。；Long，E.，模型检查和抽象，TOPLAS，16，5，1512-1542（1994） [13] Dams，D。；Gerth，R。；Grumberg，O.，反应系统的抽象解释，TOPLAS，19，2253-291（1997） [24] Hofestadt，R。；Thelen，S.，《生物化学网络的定量建模》，《硅生物学》，139-53（1998） [25] 列维·F。；Maffeis，S.，《关于移动环境的抽象解释》，信息与计算，188179-240（2004）·Zbl 1078.68096号 [27] 马达尔，R。；Priami，C.，生物系统的逻辑分析，信息学基础，64，271-285（2005） [30] Matsuno，H。；Doi，A。；M.长崎。；Miyano，S.，基因调控网络的混合petri网表示，太平洋生物计算研讨会，5，338-349（2000） [31] 米尔纳，R。；帕罗，J。；Walker，D.，移动过程微积分，信息与计算，100，1-77（1992）·Zbl 0752.68037号 [33] 尼尔森，F。；尼尔森，H.R。；Hansen，R.R.，使用流逻辑验证防火墙，理论计算机科学，283，2，381-418（2002）·Zbl 1016.68003号 [41] Priami，C。；雷格夫，A。；西尔弗曼。；Shapiro，E.，《随机命名演算在分子过程表示和模拟中的应用》，《信息处理快报》，80，1，25-31（2001）·Zbl 0997.92018号 [42] 雷格夫，A。；Panina，E.M。；西尔弗曼。；Cardelli，L。；Shapiro，E.，《生物环境：生物隔室的抽象》，《理论计算机科学》，325141-167（2004）·Zbl 1069.68569号 [44] Vigliotti，M.G。；Harrison，P.G.，随机环境微积分，理论计算机科学电子学笔记，164，3，169-186（2006） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。