×

在故障软件通信系统中增强可用性。 (英语) Zbl 1347.68060号

Albert,Elvira(编辑)等人,分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议,2016年FORTE,作为第11届分布式计算技术国际联合会议的一部分,2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆:施普林格(ISBN 978-3-319-39569-2/pbk;978-3-3169-39570-8/电子书)。《计算机科学讲义》9688195-211(2016)。
概要:编排编程是一种编程语言设计方法,它推动分布式系统中的错误安全协议开发。受网络物理系统(CPS)中具有挑战性的场景的激励,我们研究编舞编程如何满足组件可用性可能在运行时发生变化的动态基础设施。我们介绍了全局质量演算(GC\(_q\)),这是一种过程演算,具有用于多方、部分和集体通信的新型运算符;我们提供了一种类型规则,控制部分通信如何仅引用可用组件;我们展示了优秀的舞蹈编导享受进步。
关于整个系列,请参见[Zbl 1339.68004号].

MSC公司:

第68页第19页 其他编程范式(面向对象、顺序、并发、自动等)
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

乔尔;乱涂;标签
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Abdulla,P.A.,Atig,M.F.,Meyer,R.,Salehi,M.S.:可用性语言的决定因素是什么?收录:Harsha,P.,Ramalingam,G.(编辑)FSTTCS。LIPIcs,第45卷,第192-205页。达格斯图尔宫(Schloss Dagstuhl)-莱布尼茨-泽特鲁姆富尔信息(Leibniz-Zentrum fuer Informatik)(2015年)·Zbl 1366.68130号
[2] Alur,R.:《网络物理系统原理》。麻省理工学院出版社,剑桥(2015)
[3] Bocchi,L.,Chen,T.-C.,Demangeon,R.,Honda,K.,Yoshida,N.:通过多方会话类型监控网络。摘自:Beyer,D.,Boreale,M.(编辑)FORTE 2013和FMOODS 2013。LNCS,第7892卷,第50-65页。斯普林格,海德堡(2013)·Zbl 06294474号 ·doi:10.1007/978-3-642-38592-65
[4] Bocchi,L.、Honda,K.、Tuosto,E.、Yoshida,N.:分布式多方交互的设计-契约理论。收录:Gastin,P.,Laroussinie,F.(编辑)CONCUR 2010。LNCS,第6269卷,第162-176页。斯普林格,海德堡(2010)·Zbl 1287.68121号 ·doi:10.1007/978-3642-15375-4_12
[5] Bocchi,L.,Lange,J.,Yoshida,N.:共同遵守最后期限。In:Aceto,L.,de Frutos Escrig,D.(编辑)CONCUR,LIPIcs,第42卷,第283–296页。达格斯图尔宫(Schloss Dagstuhl)-莱布尼茨-泽特鲁姆富尔信息(Leibniz-Zentrum fuer Informatik)(2015年)·Zbl 1374.68320号
[6] Bocchi,L.,Yang,W.,Yoshida,N.:定时多方会话类型。收录:Baldan,P.,Gorla,D.(编辑)CONCUR 2014。LNCS,第8704卷,第419-434页。斯普林格,海德堡(2014)·Zbl 1417.68117号 ·doi:10.1007/978-3-662-44584-6_29
[7] Carbone,M.:基于会话的编排,有例外。电子。理论注释。计算。科学。241, 35–55 (2009) ·doi:10.1016/j.entcs.2009.06.003
[8] Carbone,M.、Honda,K.、Yoshida,N.:会话类型中的结构化交互异常。收录:van Breugel,F.,Chechik,M.(编辑)CONCUR 2008。LNCS,第5201卷,第402-417页。斯普林格,海德堡(2008)·Zbl 1160.68459号 ·doi:10.1007/978-3-540-85361-9_32
[9] Carbone,M.、Honda,K.、Yoshida,N.:以通信为中心的web服务结构化编程。ACM事务处理。程序。语言系统。34(2), 8 (2012) ·Zbl 1187.68064号 ·doi:10.1145/2220365.2220367
[10] Carbone,M.、Honda,K.、Yoshida,N.、Milner,R.、Brown,G.、Ross-Talbot,S.:以通信为中心的并发编程的理论基础。In:Web Services Choreography Working Group邮件列表,WS-CDL工作报告(2006年,待发布)
[11] Carbone,M.,Montesi,F.:Chor:并发系统的编舞编程语言。http://sourceforge.net/projects/chor/
[12] Carbone,M.,Montesi,F.:死锁自由设计:多方异步全局编程。摘自:Giacobazzi,R.,Cousot,R.(编辑)POPL,第263-274页。ACM(2013)·Zbl 1301.68097号 ·doi:10.1145/2429069.2429101
[13] Castagna,G.,Dezani-Ciancaglini,M.,Padovani,L.:关于全球类型和多党会议。逻辑方法计算。科学。8(1), 1–45 (2012) ·Zbl 1238.68026号 ·doi:10.2168/LMCS-8(1:24)2012
[14] Cogumbreiro,T.,Martins,F.,Thudichum Vasconcelos,V.:在保持进展的同时协调阶段性活动。摘自:De Nicola,R.,Julien,C.(编辑)《2013年协调》。LNCS,第7890卷,第31-44页。斯普林格,海德堡(2013)·Zbl 06267971号 ·doi:10.1007/978-3-642-38493-63
[15] Deng,J.,Han,Y.S.,Heinzelman,W.B.,Varshney,P.K.:基于高密度簇的传感器网络的平衡能量睡眠调度方案。计算。Commun公司。28(14),1631–1642(2005)·Zbl 05396368号 ·doi:10.1016/j.comcom.2005.02.019
[16] Deniélou,P.-M.,Yoshida,N.:多方会话类型满足通信自动机。摘自:Seidl,H.(编辑)《2012年员工持股计划》。LNCS,第7211卷,第194-213页。斯普林格,海德堡(2012)·Zbl 1352.68182号 ·doi:10.1007/978-3642-28869-2_10
[17] Girard,J.-Y.:线性逻辑。西奥。计算。科学。50, 1–102 (1987) ·兹伯利06250.037 ·doi:10.1016/0304-3975(87)90045-4
[18] Harper,R.:标准ML.工作草案中的编程(2013)
[19] Heinzelman,W.B.,Chandrakasan,A.P.,Balakrishnan,H.:无线微传感器网络的特定于应用程序的协议体系结构。IEEE传输。无线通信。1(4), 660–670 (2002) ·doi:10.1109/TWC.2002.804190
[20] Heinzelman,W.R.,Kulik,J.,Balakrishnan,H.:无线传感器网络中信息传播的自适应协议。MOBICOM,第174-185页。ACM(1999年)·Zbl 1012.68975号 ·doi:10.1145/313451.313529
[21] Hoare,C.A.R.:计算机编程的公理基础(重印)。Commun公司。ACM 26(1),53–56(1983)·数字对象标识代码:10.1145/357980.358001
[22] Honda,K.,Vasconcelos,V.T.,Kubo,M.:结构化通信编程的语言原语和类型规程。摘自:Hankin,C.(编辑)ESOP 1998。LNCS,第1381卷,第122–138页。斯普林格,海德堡(1998)·doi:10.1007/BFb0053567
[23] Hüttel,H.,Pratas,N.:BBC的广播和聚合。收录于:Gay,S.,Algale,J.(编辑)PLACES,EPTCS,第51–62页(2015年)
[24] Intanagowiwat,C.,Govindan,R.,Estrin,D.:定向扩散:传感器网络的一种可扩展且健壮的通信范式。摘自:Pickholtz,R.L.,Das,S.K.,Cáceres,R.,Garcia-Luna-Aceves,J.J.(编辑)MOBICOM,第56-67页。ACM(2000年)·数字对象标识代码:10.1145/345910.345920
[25] Kouzapas,D.,Gutkovas,R.,Gay,S.J.:广播会话类型。收录:Donaldson,A.F.,Vasconcelos,V.T.(编辑)PLACES,EPTCS,第155卷,第25-31页(2014)·doi:10.4204/EPTCS.155.4
[26] Lincoln,P.:判定线性逻辑公式的可证明性。收录于:《线性逻辑进展》,第109-122页。剑桥大学出版社(1994)·Zbl 0823.03004号
[27] López,H.A.,Marques,E.R.B.,Martins,F.,Ng,N.,Santos,C.,Vasconcelos,V.T.,Yoshida,N.:基于协议的消息传递并行程序验证。在:Aldrich,J.,Eugster,P.(编辑)OOPSLA,第280–298页。ACM(2015)·doi:10.1145/2814270.2814302
[28] López,H.A.,Pérez,J.A.:多方结构化交互中的时间和异常行为。收录:Carbone,M.,Petit,J.-M.(编辑)WS-FM 2011。LNCS,第7176卷,第48-63页。斯普林格,海德堡(2012)·Zbl 06096956号 ·doi:10.1007/978-3-642-29834-95
[29] Madden,S.、Franklin,M.J.、Hellerstein,J.M.、Hong,W.:TAG:用于自组织传感器网络的小型聚合服务。In:Culler,D.E.,Druschel,P.(编辑)OSDI。USENIX协会(2002)·数字对象标识代码:10.1145/1060289.1060303
[30] Madden,S.、Franklin,M.J.、Hellerstein,J.M.、Hong,W.:传感器网络采集查询处理器的设计。收录于:Halevy,A.Y.,Ives,Z.G.,Doan,A.(编辑)SIGMOD会议,第491-502页。ACM(2003)·doi:10.1145/872757.872817
[31] Montesi,F.,Guidi,C.,Zavattaro,G.:使用jolie进行面向服务的编程。收录于:Bouguettaya,A.、Sheng,Q.Z.、Daniel,F.(编辑)《网络服务基金会》,第81–107页。施普林格,纽约(2014)·doi:10.1007/978-1-4614-7518-74
[32] Neykova,R.、Bocchi,L.、Yoshida,N.:多方对话的定时运行时监控。收录:Carbone,M.(编辑)BEAT,EPTCS,第162卷,第19-26页(2014年)·Zbl 1375.68030号 ·doi:10.4204/EPTCS.162.3
[33] 尼尔森,H.R.,尼尔森,F.,维戈,R.:质量微积分。收录于:《2012年FACS》,佩斯·雷阿努,C.s.,萨拉ün,G.(编辑)。LNCS,第7684卷,第188-204页。斯普林格,海德堡(2013)·Zbl 1337.68041号 ·doi:10.1007/978-3642-35861-6_12
[34] Pattem,S.、Krishnamachari,B.、Govindan,R.:空间相关性对无线传感器网络中压缩路由的影响。TOSN 4(4),1–23(2008)·Zbl 05517483号 ·doi:10.1145/1387663.1387670
[35] Perillo,M.A.,Heinzelman,W.B.:无线传感器网络协议。摘自:Boukerche,A.(编辑)《无线网络和移动计算算法手册》,第1-35页。查普曼和霍尔/CRC,伦敦(2005年)
[36] Yoshida,N.,Hu,R.,Neykova,R..,Ng,N.:Scribble协议语言。收录:Abadi,M.,Lluch Lafuente,A.(编辑)TGC 2013。LNCS,第8358卷,第22-41页。斯普林格,海德堡(2014)·doi:10.1007/978-3-319-14128-23
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。