×

特定于域的分布式系统工程的正式方法。 (英语) Zbl 1494.68022号

摘要:我们回顾了一些关于不同类别分布式系统的规范、编程和验证的结果,这些结果来源于Firenze大学并发和移动小组的研究。更具体地说,我们研究了网络软件编程、面向服务的计算、自主计算和集体自适应系统编程的区别特征。然后,我们将概述四种不同的语言,即克莱姆,奶牛,Scel公司A类C类。对于每种语言,我们讨论了设计选择,给出了语法和语义,展示了如何使用不同的形式来建模和编程旅行预订场景,并描述了编程环境和验证技术。

MSC公司:

64岁以下 分布式系统
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 德尼古拉,R。;法拉利,G.L。;Pugliese,R。;Tiezzi,F.,《特定领域分布式系统工程的正式方法》,(COORDINATION.COORDINATION,LNCS,vol.10852(2018),Springer),110-141
[2] 福格塔,A。;Picco,G.Pietro;Vigna,G.,《理解代码移动性》,IEEE Trans。柔和。工程,24342-361(1998)
[3] Papazoglou,M.P。;Georgakopoulos,D.,面向服务的计算,Commun。ACM,46、10、24-28(2003)
[4] Kephart,J.O。;国际象棋,D.M.,《自主计算的愿景》,计算机,36,41-50(2003)
[5] 安德森,S。;布雷德切,N。;艾本,A。;坎皮斯,G。;van Steen,M.,适应性集体系统:放牧黑羊(2013),信息通信技术研究的图书冲刺
[6] 德尼古拉,R。;法拉利,G.L。;Pugliese,R.,Klaim:代理交互和移动性的核心语言,IEEE Trans。柔和。工程,24,5,315-330(1998)
[7] Pugliese,R。;Tiezzi,F.,《web服务编排演算》,J.Appl。日志。,10, 1, 2-31 (2012)
[8] 德尼古拉,R。;洛雷蒂,M。;Pugliese,R。;Tiezzi,F.,《自主系统编程的正式方法:SCEL语言,ACM Trans》。汽车。适应。系统。,9, 2, 7 (2014)
[9] Abd Alrahman,Y。;德尼古拉,R。;Loreti,M.,《论基于属性的沟通的力量》,(FORTE.FORTE,LNCS,第9688卷(2016),施普林格出版社),第1-18页·Zbl 1347.68022号
[10] Plotkin,G.D.,《操作语义的结构方法》,J.Log。代数程序。,60-61, 17-139 (2004) ·Zbl 1082.68062号
[11] Gelernter,D.,《林达的生殖传播》,ACM Trans。程序。语言系统。,7, 1, 80-112 (1985) ·Zbl 0559.68030号
[12] Gelernter,D.,linda中的多元组空间,(PARLE.PARLE,LNCS,第366卷(1989),Springer),20-27
[13] 戴维斯,N。;韦德,S。;星期五,A。;Blair,G.,L^2imbo:基于元组空间的自适应移动应用平台,(ICODP/ICDP(1997),Springer),291-302
[14] 卡斯特拉尼,S。;Ciancarini,P。;Rossi,D.,《ShaDE的形状:协调系统》(1996),Dip。di Science dell’Informazione,大学:理学学士。博洛尼亚大学科技代表UBLCS 96-5
[15] Deugo,D.,选择移动代理消息传递模型,(ISADS(2001),IEEE),278-286
[16] 法拉利,G.L。;莫吉,E。;Pugliese,R.,Metaklaim:一种用于全局计算的类型安全的多阶段语言,数学。结构。计算。科学。,14, 3, 367-395 (2004) ·Zbl 1085.68013号
[17] 德尼古拉,R。;法拉利,G.L。;Pugliese,R。;Venneri,B.,访问控制类型,Theor。计算。科学。,240, 1, 215-254 (2000) ·Zbl 0954.68025号
[18] 贝蒂尼,L。;洛雷蒂,M。;Pugliese,R.,《KLAIM的结构网》,(SAC(2000),ACM),174-180
[19] 贝蒂尼,L。;德尼古拉,R。;费拉里,G。;Pugliese,R.,X-Klaim中的交互式移动代理,(WETICE(1998),IEEE计算机社会出版社),110-115
[20] 贝蒂尼,L。;德尼古拉,R。;Pugliese,R.,Klava:一个用于分布式和移动应用程序的Java包,Softw。实践。实验,32,14,1365-1394(2002)·Zbl 1009.68933号
[21] 贝蒂尼,L。;梅雷利,E。;Tiezzi,F.,X-KLAIM回来了,(并发和分布式编程的模型、语言和工具——在Rocco De Nicola 65岁生日之际献给他的文章。并发和分布式程序设计的模型、语文和工具——献给Rocco De Nicola的65岁生日的文章,LNCS,第11665卷(2019),斯普林格),115-135·兹比尔1416.68004
[22] Bettini,L.,用Xtext和Xtend实现领域特定语言(2016),Packt出版
[23] 德尼古拉,R。;Loreti,M.,移动代理的模态逻辑,ACM Trans。计算。日志。,179-128年5月1日(2004年)·Zbl 1367.68064号
[24] 德尼古拉,R。;戈拉,D。;Pugliese,R.,《全球计算应用中的数据和过程限制》,科学。计算。程序。,63, 1, 57-87 (2006) ·Zbl 1137.68333号
[25] 戈拉,D。;Pugliese,R.,《网络感知协调语言中能力的动态管理》,J.Log。代数程序。,78, 8, 665-689 (2009) ·Zbl 1183.68041号
[26] De Nicola,R.,《从协调语言的流逻辑到静态类型系统》,科学。计算。程序。,75, 6, 376-397 (2010) ·Zbl 1192.68126号
[27] Bodei,C。;Degano,P。;法拉利,G.L。;Galletta,L.,《追踪物联网数据收集和汇总的位置》,Log。方法计算。科学。,13, 3, 1-38 (2017) ·Zbl 1459.68013号
[28] Bodei,C。;Galletta,L.,《跟踪物联网中的数据轨迹》,(信息系统安全与隐私国际会议(2019年),科学技术出版社),572-579
[29] Bodei,C。;Degano,P。;法拉利,G.L。;Galletta,L.,静态揭示KLAIM元组的轨迹,(并发和分布式编程的模型、语言和工具——在Rocco De Nicola 65岁生日之际献给他的论文。并发和分布式程序设计的模型、语文和工具——献给Rocco De Nicola的65岁生日的论文,LNCS,第11665卷(2019),斯普林格),437-454·Zbl 1416.68004号
[30] Bodei,C。;Degano,P。;法拉利,G.L。;Galletta,L.,《物联网系统事物的安全度量》,LNCS(2020),Springer,(即将出版)·Zbl 1440.68017号
[31] 伯拉夫列夫。;德尼古拉,R。;Mezzina,C.A.,评估linda实现的效率,Concurr。计算。,30, 8 (2018)
[32] Ciatto,G。;Mariani,S。;卢维尔,M。;Omicini,A。;Zambonelli,F.,《二十年的协调技术:最先进的技术和前景》,(coordination.coordination,LNCS,第10852卷(2018年),Springer),51-80
[33] (C.,Priami;P.,Quaglia,《全球计算》,全球计算,LNCS,第3267卷(2005),斯普林格出版社)
[34] 轩尼诗,M。;Riely,J.,移动代理系统中的资源访问控制,信息计算。,173,182-120(2002年)·Zbl 1009.68081号
[35] Fournet,C。;Gonthier,G。;Lévy,J。;Maranget,L。;Rémy,D.,移动代理微积分,(CONCUR'96,并发理论,第7届国际会议,论文集。CONCUR'96,并发理论,第7届国际会议,论文集,计算机科学讲义,第1119卷(1996),施普林格),406-421·兹比尔1514.68166
[36] Fournet,C。;Gonthier,G.,《连接演算:分布式移动编程语言》(The join calculation:a language for distributed mobile programming),(《应用语义学》,国际暑期学校,APPSEM 2000,《高级讲座》,国际暑假学校,APPSE 2000,《计算机科学高级讲座,讲稿》,第2395卷(2002),Springer),268-332·Zbl 1065.68071号
[37] Cardelli,L。;Gordon,A.D.,《移动环境》,Theor。计算。科学。,240, 1, 177-213 (2000) ·Zbl 0954.68108号
[38] W3C,Web服务活动(2018年)
[39] 拉帕杜拉,A。;Pugliese,R。;Tiezzi,F.,《web服务编配演算》,(ESOP.ESOP,LNCS,第4421卷(2007),Springer),第33-47页·Zbl 1187.68070号
[40] OASIS WSBPEL TC,Web服务业务流程执行语言2.0版(2007年4月),技术代表,OASIS
[41] 梅罗,M。;Sangiorgi,D.,《名字传递计算中的异步性》,数学。结构。计算。科学。,14, 5, 715-767 (2004) ·Zbl 1093.68026号
[42] 阿马迪奥,R。;卡斯特拉尼,I。;Sangiorgi,D.,《异步像素的互模拟》,Theor。计算。科学。,195, 2, 291-324 (1998) ·Zbl 0915.68009号
[43] 塞萨里,L。;Pugliese,R。;Tiezzi,F.,《盲约会话加入》,Serv。面向计算。申请。,11, 3, 265-283 (2017)
[44] 米尔纳,R。;鹦鹉,J。;Walker,D.,移动进程微积分,I和II,Inf.Compute。,100、1、1-40(1992),第41-77页·Zbl 0752.68036号
[45] 拉帕杜拉,A。;Pugliese,R。;Tiezzi,F.,《使用形式化方法开发WS-BPEL应用程序》,科学。计算。程序。,77, 3, 189-213 (2012)
[46] 塞萨里,L。;Pugliese,R。;Tiezzi,F.,用于快速开发WS-BPEL应用程序的工具,ACM SIGAPP Appl。计算。修订版,11,1,27-40(2010)
[47] 拉帕杜拉,A。;Pugliese,R。;Tiezzi,F.,《规范面向服务应用中的数据交换》(FSEN.FSEN,LNCS,第4767卷(2007年),Springer),223-239·Zbl 1141.68509号
[48] Pugliese,R。;Tiezzi,F。;Yoshida,N.,《关于观察SOC中的动态优先行动》,(ICALP.ICALP,LNCS,第5556卷(2009年),Springer),558-570·Zbl 1248.68099号
[49] Fantechi,A.,面向服务计算的逻辑验证方法,ACM Trans。柔和。工程方法。,21, 3, 16:1-16:46 (2012)
[50] 马西,M。;Pugliese,R。;Tiezzi,F.,《关于安全实施基于IHE XUA的协议以认证医疗专业人员》,(ICISS.ICISS,LNCS,第5905卷(2009),Springer),55-70
[51] 格内西,S。;Pugliese,R。;Tiezzi,F.,《金融案例研究中应用的传感器方法》(The sensoria applicated to finance case study),(面向服务系统的严格软件工程。面向服务的系统的严格的软件工程,LNCS,vol.6582(2011),Springer),698-718
[52] 拉帕杜拉,A。;Pugliese,R。;Tiezzi,F.,tcows:定时服务微积分(第四届国际计算理论研讨会(ICTAC)论文集)。程序。第四届国际计算理论研讨会(ICTAC),LNCS,第4711卷(2007),Springer,275-290·Zbl 1147.68846号
[53] 拉帕杜拉,A。;Pugliese,R。;Tiezzi,F.,服务发现和与协商奶牛,(第三届网络系统自动化规范和验证国际研讨会论文集,ENTCS(2008)第200卷(3),爱思唯尔科学),133-154
[54] Prandi,D。;Quaglia,P.,随机奶牛,(第五届面向服务计算国际会议(ICSOC)公报。程序。第五届面向服务计算国际会议(ICSOC),LNCS,第4749卷(2007),Springer,245-256
[55] Prandi,D。;夸里亚,P。;Zannone,N.,通过将BPMN翻译为奶牛(第十届国际协调模式和语言会议(Coordination)公报)。程序。第十届国际协调模型和语言会议(Coordination),LNCS,第5052卷(2008),Springer),249-263
[56] Laneve,C。;Zavattaro,G.,《网络交易基础》,(第八届软件科学和计算结构基础国际会议(FoSSaCS)论文集)。程序。第八届软件科学和计算结构基础国际会议(FoSSaCS),LNCS,第3441卷(2005),Springer),282-298·Zbl 1118.68335号
[57] Laneve,C。;Zavattaro,G.,web-pi at work,(第一届可信全球计算国际研讨会(TGC)教授)。第一届可信全球计算国际研讨会(TGC)教授,LNCS,第3705卷(2005),施普林格出版社,182-194·Zbl 1151.68539号
[58] Mazzara,M。;Lanese,I.,《走向web服务组合的统一理论》,(第三届web服务和形式化方法国际研讨会(WS-FM)论文集)。程序。第三届网络服务和形式方法国际研讨会(WS-FM),LNCS,第4184卷(2006),Springer,257-272
[59] Mazzara,M。;Lucchi,R.,基于像素的语义WS-BPEL公司、J.Log。代数程序。,70, 1, 96-118 (2006) ·Zbl 1178.68367号
[60] 巴特勒,M。;霍尔,C。;Ferreira,C.,《长时间运行事务的跟踪语义》,(25年通信顺序进程。25年通信序列进程,LNCS,第3525卷(2005),Springer),133-150·Zbl 1081.68644号
[61] 博雷尔,M。;布鲁尼,R。;Caires,L。;德尼古拉,R。;拉内斯,我。;洛雷蒂,M。;马丁斯,F。;Montanari,美国。;拉瓦拉,A。;Sangiorgi,D。;瓦康塞洛斯,V。;Zavattaro,G.,SCC:一种以服务为中心的演算,(第三届Web服务和形式方法国际研讨会(WS-FM)论文集)。程序。第三届网络服务和形式方法国际研讨会(WS-FM),LNCS,第4184卷(2006),Springer,38-57
[62] 博雷尔,M。;布鲁尼,R。;德尼古拉,R。;Loreti,M.,《结构化服务编程的会话和管道》,(第十届开放式基于对象的分布式系统(FMOODS)形式化方法国际会议论文集)。程序。第十届开放对象分布式系统形式化方法国际会议(FMOODS),LNCS,第5051卷(2008),Springer),19-38
[63] Guidi,C。;卢奇,R。;Gorrieri,R。;北布西。;Zavataro,G.,SOCK:面向服务计算的微积分,(ICSOC.ICSOC,LNCS,第4294卷(2006),Springer),327-338
[64] (Wirsing,M.;Hölzl,M.M.,面向服务系统的严格软件工程——面向服务计算的软件工程SENSORIA项目的结果。面向服务系统严格软件工程-面向服务计算软件工程的SENSORIA项目的结果,LNCS,第6582卷(2011),施普林格)
[65] 德尼古拉,R。;拉特拉,D。;卢赫·拉富恩特,A。;洛雷蒂,M。;Margheri,A。;Massink,M。;莫里切塔,A。;Pugliese,R。;Tiezzi,F。;Vandin,A.,《SCEL语言:设计、实现、验证》,(《集体自治系统软件工程——ASCENS方法》,《集体自主系统软件工程:ASCENS法》,LNCS,第8998卷(2015),Springer),3-71
[66] 塞萨里,L。;德尼古拉,R。;Pugliese,R。;Puviani,M。;Tiezzi,F。;Zambonelli,F.,《规范化自主集成的适应模式》,(组件软件的形式化方面——第十届国际研讨会,FACS 2013)。组件软件的形式方面——第十届国际研讨会,FACS 2013,LNCS,第8348卷(2013),Springer),100-118
[67] 卡布里,G。;Capodieci,N。;塞萨里,L。;德尼古拉,R。;Pugliese,R。;Tiezzi,F。;Zambonelli,F.,SCEL中的自我表达和动态基于属性的集成,(利用形式方法的应用、验证和确认。掌握变化的技术——第六届国际研讨会,ISoLA 2014。利用形式方法、验证和确认的应用。掌握变革的技术——第六届国际研讨会,ISoLA 2014,LNCS,第8802卷(2014),Springer,147-163
[68] Cesari,L.,《形成自主信号群的适应模式》,(FACS.FACS,LNCS,第8348卷(2013年),施普林格出版社),100-118
[69] Bures,T.,《自主系统开发的生命周期:电子移动性展示》(SASOW(2013),IEEE),71-76
[70] 德尼古拉,R。;费拉里,G。;洛雷蒂,M。;Pugliese,R.,《基于语言的自主计算方法》(FMCO.FMCO,LNCS,第7542卷(2012),Springer),25-48
[71] Margheri,A。;Pugliese,R。;Tiezzi,F.,编程和管理自主计算系统的语言抽象,(UIC/ATC(2013),IEEE),404-409
[72] Mayer,P.,《自主云:自愿对等云计算的愿景》(SASOW(2013),IEEE),第89-94页
[73] Montanari,美国。;Pugliese,R。;Tiezzi,F.,《使用多个约束存储对自主系统编程》,(软件、服务和系统,软件、服务与系统,LNCS,第8950卷(2015年),Springer),641-661·Zbl 1454.68126号
[74] 德尼古拉,R。;Lluch-Lafuente,A。;洛雷蒂,M。;Morichetta,A。;Pugliese,R。;塞尼,V。;Tiezzi,F.,编程和验证组件集成,(从程序到系统。计算中的系统视角-ETAPS研讨会,FPS 2014。从程序到系统。计算中的系统观点-ETAPS研讨会,FPS 2014,LNCS,第8415卷(2014),Springer),69-83·Zbl 1416.68051号
[75] Margheri,A。;马西,M。;Pugliese,R。;Tiezzi,F.,访问控制策略规范、分析和实施的严格框架,IEEE Trans。柔和。工程师,45,1,2-33(2019)
[76] Holzmann,G.J.,模型检查器SPIN,IEEE Trans。柔和。工程师,23,5279-295(1997)
[77] Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。;Talcott,C.L.,《关于莫德的一切》,LNCS,第4350卷(2007年),施普林格·Zbl 1115.68046号
[78] 塞巴斯蒂奥,S。;Vandin,A.,MultiVeStA:离散事件模拟器的统计模型检查,(ValueTools,ICST/ACM(2013)),310-315
[79] 贝尔兹纳,L。;德尼古拉,R。;Vandin,A。;Wirsing,M.,《重写逻辑中的推理(on)服务组件集成》(Specification,Algebra,and Software.Specification(规范,代数和软件),LNCS,vol.8373(2014),Springer),188-211
[80] 杜菲,E。;Lesser,V。;Corkill,D.D.,《协作分布式问题解决趋势》,IEEE Trans。知识。数据工程,1,1,63-83(1989)
[81] Klusch,M。;Gerber,A.,理性代理之间的动态联盟形成,IEEE Intell。系统。,17, 3, 42-47 (2002)
[82] Zambonelli,F。;Omicini,A.,面向代理软件工程的挑战和研究方向,Auton。代理多代理系统。,9, 3, 253-283 (2004)
[83] 麦金利,P。;萨贾迪,S。;Kasten,E。;Cheng,B.H.C.,《编写自适应软件》,计算机,37,7,56-64(2004)
[84] Rao,A.S.,AgentSpeak(L):BDI代理以逻辑计算语言发出声音,(MAAMAW.MAAMAW,LNCS,第1038卷(1996),Springer),42-55
[85] Bordini,R.H。;Hübner,J.F。;Vieira,R.,Jason和面向代理编程的金羊毛,(Multi-agent programming,Multi-agent Systems,Artificial Societies,and Simulated Organizations,vol.15(2005),Springer),3-37·Zbl 1101.68456号
[86] Winikoff,M.,JACKtm智能代理:工业实力平台,(Multi-Agent Programming,Multiagent Systems,Artificial Societies,and Simulated Organizations,vol.15(2005),Springer),175-193·Zbl 1101.68456号
[87] Bellifemine,F.L。;Caire,G。;Greenwood,D.,《使用JADE开发多代理系统》,《代理技术中的Wiley系列》(2007),John Wiley&Sons
[88] Dastani,M.,2APL:一种实用的代理编程语言Auton。代理多代理系统。,16, 3, 214-248 (2008)
[89] 莫托拉,L。;Picco,G.P.,《逻辑邻域:无线传感器网络的编程抽象》,(DCOSS.DCOSS,LNCS,第4026卷(2006),Springer),150-168
[90] Costa,P。;莫托拉,L。;Murphy,A.L。;Picco,G.,无线网络的Tuple空间中间件,(网络偏心和移动应用的中间件(2009),Springer),245-264
[91] 马美,M。;Zambonelli,F.,《编程普及和移动计算应用:总方法》,ACM Trans。柔和。工程方法。,18, 4, 15:1-15:56 (2009)
[92] Nordström,E。;Gunningberg,P。;Rohner,C.,《基于搜索的移动设备网络架构》(2009),乌普萨拉大学,计算机系统,技术报告2009-003
[93] 莫托拉,L。;Picco,G.P.,无线传感器网络中间件:展望,互联网服务杂志。申请。,3, 1, 31-39 (2012)
[94] NIST,访问控制模型调查(2009)
[95] Agha,G.A.,ACTORS-分布式系统中并发计算模型,麻省理工学院人工智能丛书(1990),麻省理工学院出版社
[96] Milner,R.,《通信与并发》,计算机科学PHI系列(1989),普伦蒂斯·霍尔·Zbl 0683.68008号
[97] Banátre,J.-P。;拉德纳克,Y。;Fradet,P.,《自主系统化学规范》(IASSE(2004),ISCA),72-79
[98] 安德烈,O。;Kirchner,H.,《用于自主计算的高阶图形演算》(图论、计算智能和思维(2009),Springer),15-26·Zbl 1194.68117号
[99] Mezzetti,N。;Sangiorgi,D.,《走向无线系统演算》,Electron。注释Theor。计算。科学。,158, 331-353 (2006) ·Zbl 1273.68264号
[100] 辛格,A。;罗马克里希南,C.R。;Smolka,S.A.,移动自组网的进程演算,科学。计算。程序。,75, 6, 440-469 (2010) ·Zbl 1192.68451号
[101] (Wirsing,M.;Hölzl,M.M.;Koch,N.;Mayer,P.,《集体自主系统的软件工程——ASCENS方法》,LNCS,第8998卷(2015),Springer)
[102] Ferscha,A.,《集体自适应系统》(UbiComp/ISWC(2015),ACM),第893-895页
[103] Abd Alrahman,Y.,《基于属性的通信演算》,(SAC’15(2015),ACM),1840-1845
[104] Alrahman,Y.A。;德尼古拉,R。;Loreti,M.,《集合自适应系统的微积分及其行为理论》,Inf.Comput。,268 (2019) ·Zbl 1430.68158号
[105] Agha,G.,《参与者:分布式系统中并发计算的模型》(Actors:A Model of Concurrent Computing in Distributed Systems)(1986),麻省理工学院出版社:麻省理学院出版社,美国马萨诸塞州剑桥
[106] Prasad,K.V.S.,广播系统演算,科学。计算。程序。,25, 2-3, 285-327 (1995)
[107] Abd Alrahman,Y。;德尼古拉,R。;Loreti,M.,《基于属性通信的CAS系统编程》,(ISoLA.ISoLA,LNCS,第9952卷(2016),Springer),539-553
[108] 德尼古拉,R。;Duong,T。;因弗索,O。;Trubiani,C.,AErlang:通过基于属性的通信增强erlang,(COORDINATION.COORDINATION,LNCS,第10319卷(2017),Springer),21-39
[109] 爱立信计算机科学实验室,Erlang编程语言(2018)
[110] 谷歌,Go编程语言(2018)
[111] Hoare,C.A.R.,通信顺序过程,Commun。ACM,21、8、666-677(1978)·Zbl 0383.68028号
[112] Abd Alrahman,Y。;德尼古拉,R。;Garbi,G。;Loreti,M.,《基于属性交互的分布式协调基础设施》,(分布式对象、组件和系统的形式化技术——第38届IFIP工作组6.1国际会议,FORTE 2018)。分布式对象、组件和系统的形式化技术-第38届IFIP WG 6.1国际会议,FORTE 2018,LNCS,第10854卷(2018),Springer),1-20
[113] 马格斯,B.M。;Sitaraman,R.K.,《内容交付中的算法核心》,计算。Commun公司。修订版,45,3,52-66(2015)
[114] 德尼古拉,R。;Duong,T。;Loreti,M.,ABEL——基于属性的通信编程的特定领域框架(协调模型和语言,Coordination 2019)。协调模型和语言,Coordination 2019,计算机科学讲义,第11533卷(2019),Springer),111-128
[115] 德尼古拉,R。;Duong,T。;因弗索,O。;Mazzanti,F.,《验证依赖基于属性的通信的系统属性》,(ModelEd,TestEd,TrustEd.ModelEd、TestEd、TrustEd,LNCS,第10500卷(2017),Springer),169-190·Zbl 1498.68182号
[116] ter Beek,M.H。;Fantechi,A。;格内西,S。;Mazzanti,F.,用于分析抽象系统属性的基于状态/事件的模型检查方法,科学。计算。程序。,76, 2, 119-135 (2011) ·兹比尔1213.68392
[117] Duong,T.,《基于属性通信的编程和验证系统》(2019年),GSSI高级研究院,即将出版
[118] 本特森,J。;约翰逊,M。;鹦鹉,J。;Victor,B.,《Psi-calculi:具有标称数据和逻辑的移动进程框架》,Log。方法计算。科学。,7, 1 (2011) ·Zbl 1213.68399号
[119] Borgsteröm,J。;黄,S。;约翰逊,M。;Raabjerg,P。;维克多,B。;波乔拉(J.O.Pohjola)。;Parrow,J.,《广播psi-calculi与无线协议应用》,Softw。系统。型号。,14, 1, 201-216 (2015)
[120] Prasad,K.V.,广播系统微积分,科学。计算。程序。,25, 2, 285-327 (1995)
[121] Ene,C.公司。;Muntean,T.,基于广播的通信系统演算,(并行和分布式处理研讨会,国际,第3卷(2001),IEEE计算机学会),第30149b-30149b页
[122] Given-Wilson,T。;戈拉,D。;Jay,B.,并发模式演算,(理论计算机科学(2010),Springer),244-258·Zbl 1198.68211号
[123] 约翰·M。;侯赛因,C。;Niehren,J。;Uhrmacher,A.M.,《具有优先级的属性pi-calculus》(计算系统生物学学报第十二期(2010),施普林格出版社),13-76·Zbl 1275.92023号
[124] 约翰·M。;侯赛因,C。;Niehren,J.,命令式π演算中的动态隔间,(系统生物学中的计算方法(2009),Springer),235-250
[125] 布鲁尼,A。;Modersheim,S。;尼尔森,F。;Nielson,H.R.,集π:集成员p-微积分,(2015年IEEE第28届计算机安全基础研讨会(2015)),185-198
[126] 维戈,R。;尼尔森,F。;Riis Nielson,H.,广播、拒绝服务和安全通信,(第十届综合形式方法国际会议(IFM'13))。第十届综合形式方法国际会议(IFM’13),LNCS,第7940卷(2013),410-427
[127] Arbab,F。;Rutten,J.J.M.M.,组件连接器的共导演算,(WADT.WADT,LNCS,第2755卷(2002),Springer),34-55·Zbl 1278.68200号
[128] Sirjani,M。;Movaghar,A。;沙利,A。;de Boer,F.S.,《使用rebeca对反应系统进行建模和验证》,Fundam。通知。,63, 4, 385-410 (2004) ·Zbl 1082.68007号
[129] 拜尔,C。;Sirjani,M。;Arbab,F。;Rutten,J.J.M.M.,通过约束自动机对reo中的组件连接器建模,科学。计算。程序。,61, 2, 75-113 (2006) ·Zbl 1105.68058号
[130] Beal,J。;Viroli,M.,《聚合编程:从基础到应用》,(SFM.SFM,LNCS,第9700卷(2016年),施普林格出版社),233-260
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。