×

集合资源和进程的演算和逻辑。 (英语) Zbl 1333.68195号

概要:数学建模和仿真建模是工程、科学和社会科学(如经济学)的基本工具,为管理提供决策支持工具。数学模型基本上部署在所有规模、所有复杂程度和所有抽象级别。模型通常需要作为模拟在计算机上执行。我们提出了一些对过程理论和逻辑基础的贡献,即利用资源和过程进行离散事件建模。基于之前在资源语义、过程演算和模式逻辑方面的工作,我们描述了一个过程演算,它具有过程和资源共同进化的资源的显式表示。微积分与子结构模态逻辑紧密相连,该逻辑可用作模型属性的规范语言。与早期的工作相比,我们制定了资源语义及其与过程演算的关系,这样我们就获得了关于自然全范围逻辑连接词和形式的逻辑等价的互模拟的可靠性和完整性。我们给出了一系列使用过程组合器和逻辑结构来描述系统结构和行为的示例。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
03B45号 模态逻辑(包括规范逻辑)
03B47号 子结构逻辑(包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[2] Beautement,A。;科尔斯,R。;格里芬,J。;Ioannidis,C。;莫纳汉,B。;皮姆·D。;Sasse,A。;Wonham,M.,《USB记忆棒安全的人力和技术成本及效益建模》(Johnson,M.Eric,《管理信息风险和安全经济学》(2008),施普林格出版社),141-163
[3] 贝雷斯,Y。;格里芬,J。;Shiu,S。;海特曼,M。;Markle博士。;Ventura,P.,《分析安全解决方案的性能以减少漏洞暴露窗口》(Proc.Annual Computer security Applications Conference(2008),IEEE:IEEE Anaheim,California),33-42
[4] 贝雷斯,Y。;皮姆·D。;Shiu,S.,系统安全投资决策支持,(Proc.Business-Driven IT Management(BDIM)(2010),IEEE Xplore),118-125
[5] Bergstra,J。;Klop,J.,《抽象通信过程代数》,理论。计算。科学。,37, 1, 77-121 (1985) ·兹比尔0579.68016
[6] Chellas,B.,《模态逻辑:导论》(1980),剑桥大学出版社·Zbl 0431.03009号
[7] Birtwistle,G.,Simula上的离散事件建模(1987),Springer·兹伯利0411.68084
[8] Brookes,S.,《并发分离逻辑的语义》,Theoret。计算。科学。,375, 1-3, 227-270 (2007) ·Zbl 1111.68021号
[9] 考尔菲德,T。;皮姆·D。;Williams,J.,《成分安全建模:结构、经济和行为》,LNCS,第8533卷,第233-245页(2014年)
[10] 考尔菲德,T。;Pym,D.,《建模和仿真系统安全策略》(Proc.8th SIMUTools(2015),ACM Digital Library)
[11] 科林森,M。;Pym,D.,基于资源的系统建模的代数和逻辑,数学。结构计算。科学。,19, 5, 959-1027 (2009) ·Zbl 1185.68441号
[12] 科林森,M。;莫纳汉,B。;Pym,D.,《定位资源的逻辑和计算理论》,J.Logic Comput。,19, 1207-1244 (2009) ·Zbl 1185.68440号
[13] 科林森,M。;莫纳汉,B。;Pym,D.,结构化系统建模和仿真的语义,(Proc.SIMUTools,vol.34(2010),ACM数字图书馆),1-10
[14] 科林森,M。;莫纳汉,B。;Pym,D.,《数学系统建模学科》(2012年),大学出版物·Zbl 1305.68011号
[15] 库卢里斯,G。;多利莫尔,J。;Kindberg,T.,《分布式系统:概念与设计》(2000),Addison Wesley
[17] Galmiche,D。;梅里·D·。;Pym,D.,BI和资源表的语义,数学。结构计算。科学。,15, 1033-1088 (2005) ·Zbl 1145.03308号
[18] Hewlett-Packard Laboratories,Core Gnosis结构化建模简介
[19] Hennessy,M.,成本计算微积分,Log。方法计算。科学。,7, 1, 1-35 (2011) ·兹比尔1213.68403
[20] 轩尼诗,M。;Plotkin,G.,《关于观察不确定性和并发性》(LNCS,第85卷(1980)),299-308
[21] 轩尼诗,M。;Milner,R.,《不确定性和并发性的代数定律》,J.ACM,32,1,137-161(1985)·Zbl 0629.68021号
[22] Hewlett-Packard实验室,走向风险分析科学
[23] Hoare,T.,编程法则的通用模型,(LNCS,第8051卷(2013)),213-226·Zbl 1390.68182号
[24] Hoare,T。;O'Hearn,P.,《通信过程的分离逻辑语义》,Electron。注释Theor。计算。科学。,212, 3-25 (2008) ·Zbl 1286.68352号
[25] Ishtiaq,S。;O'Hearn,P.,BI作为可变数据结构的断言语言,(Hankin,C.;Schmidt,D.,Proc.28th ACM POPL(2001)),14-26·Zbl 1323.68077号
[26] Mattern,F.,分布式系统的虚拟时间和全局状态,并行分布算法,1,23,215-226(1989)
[27] Milner,R.,《同步与异步演算》,Theoret。计算。科学。,25, 3, 267-310 (1983) ·Zbl 0512.68026号
[28] Milner,R.,《沟通与并发》(1989),普伦蒂斯·霍尔:纽约普伦蒂斯霍尔出版社·Zbl 0683.68008号
[29] O'Hearn,P.,《资源、并发和局部推理》,Theoret。计算。科学。,375, 1-3, 271-307 (2007) ·Zbl 1111.68023号
[30] 奥赫恩,P。;Pym,D.,《集束暗示的逻辑》,布尔。符号逻辑,5,2,215-244(1999年6月)
[31] Plotkin,G.,《操作语义的结构方法》(1981),奥胡斯大学计算机科学系,技术报告DAIMI FN-19
[32] 皮姆·D。;奥赫恩,P。;Yang,H.,《可能的世界和资源:BI的语义》,理论计算机科学,315,1,257-305(2004),勘误表:p.285,l.-12:',对于某些人来说,“(p^\prime,Q=p;p^\prime)”应该是“(p\vdash Q\)”·兹比尔1055.03021
[33] Read,S.,《相关逻辑》(1988),巴兹尔·布莱克威尔
[34] Reynolds,J.,《分离逻辑:共享可变数据结构的逻辑》,(第17届IEEE计算机科学逻辑研讨会论文集(2002),IEEE),55-74
[35] de Simone,R.,Meije-SCCS中的高级同步装置,Theoret。计算。科学。,37, 245-267 (1985) ·Zbl 0598.68027号
[36] 沃格尔,W.,最终一致,公社。ACM,52,1,40-44(2009)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。