米尔科·维罗利;雅各布·比尔;费卢西奥·达米亚尼;乔治·奥德里托;罗伯特·卡萨迪;丹尼尔·皮亚尼尼 从分布式协调到场微积分和聚合计算。 （英语） 兹比尔1435.68049 J.日志。阿尔盖布。方法计划。 109，文章ID 100486，29 p.（2019）. 摘要：聚合计算是一种新兴的分布式系统复杂协调工程方法，它基于查看通过设备集合传播的信息方面的系统交互，而不是单个设备及其与对等设备和环境的交互。该方法的基础是对先前在基于现场的协调框架下提出的许多正式和实用方法的提炼，最终形成场微积分通用函数编程模型，用于规范和组合具有等效局部和聚合语义的集合行为。这一基础已被阐述为复杂分布式系统工程协调的分层方法，通过包含可重用程序组件库的中间层构建实用应用程序。此外，这些组件中的一些被正式证明满足形式属性，如自稳定，这些属性通过功能组合转移到整个应用程序服务。在这项调查中，我们追溯了场微积分的发展和前身，回顾了场微算本身以及聚合计算理论和实践的当前状态，并讨论了当前研究方向的路线图，这对广泛的分布式系统的开发具有启示意义。 引用于4文件 MSC公司： 64岁以下 分布式系统 68甲18 函数编程和lambda演算 关键词：分布式系统;聚合计算;场微积分;空间计算 软件：Protelis公司;琳达;科莱姆;重新规范;阿帕奇火花;标签;SDEF公司;SCEL公司;DEECO公司;海伦娜;轻量级Java;莫伊斯+;斯卡拉;阿帕奇·卡夫卡;毫升 PDF格式BibTeX公司 XML格式引用 \textit{M.Viroli}等人，J.Log。阿尔盖布。方法计划。109，文章ID 100486，29 p.（2019；Zbl 1435.68049） 全文： 内政部 链接 参考文献： [1] Beal，J。；皮亚尼尼（D.Pianini）。；Viroli，M.，物联网聚合编程，IEEE计算。，48, 9, 22-30 (2015) [2] 维罗利，M。；Beal，J。；达米亚尼，F。；Audrito，G。；卡萨迪，R。；Pianini，D.，《从基于现场的协调到聚合计算》，（国际协调模型和语言会议。国际协调模型与语言会议，Coordination。国际协调模式和语言会议，国际协调模型及语言会议，Coordination，计算机科学讲稿，第10852卷（2018），Springer）， 252-279 [3] Gelernter，D.，《Linda中的生成传播》，ACM Trans。程序。语言系统。，7, 1, 80-112 (1985) ·Zbl 0559.68030号 [4] Freeman，E。；Hupfer，S.等人。；Arnold，K.，《JavaSpaces原则、模式和实践》，《Jini技术系列》（1999），Addison-Wesley Longman [5] Wyckoff，P。；McLaughry，S.W。；雷曼，T.J。；Ford，D.A.，T spaces，IBM J.Res.Dev.，37，3-Java技术，454-474（1998） [6] 布罗基，A。；Ciancarini，P.，并发语言，共享Prolog，ACM Trans。程序。语言系统。，13, 1, 99-123 (1991) [7] 新罕布什尔州明斯基。；Ungureanu，V.，《法律控制的交互：异构分布式系统的协调和控制机制》，ACM Trans。柔和。工程方法。，9, 3, 273-305 (2000) [8] 卡布里，G。；Leonardi，L。；Zambonelli，F.，MARS：移动代理的可编程协调架构，IEEE互联网计算。，4, 4, 26-35 (2000) [9] 奥密西尼，A。；Denti，E.，从元组空间到元组中心，科学。计算。程序。，41, 3, 277-294 (2001) ·Zbl 0989.68120号 [10] 梅内泽斯，R。；Snyder，J.，《使用LogOp协调分布式组件》，（并行和分布式处理技术与应用国际会议，并行与分布式处理技术和应用国际会议），PDPTA，第1卷（2003），CSREA出版社），109-114 [11] 梅里克，I。；Wood，A.，《开放分布式系统中的范围协调》（2000年国际协调语言和模型会议，Springer），311-316 [12] 德尼古拉，R。；费拉里，G。；Pugliese，R.，KLAIM:代理交互和移动性的核心语言，IEEE Trans。柔和。工程，24，5，315-330（1998） [13] Murphy，A.L。；Picco，G.P。；Roman Lime，G.-C.，支持主机和代理移动性的协调模型和中间件，ACM Trans。柔和。工程方法。，15, 3, 279-328 (2006) [14] 维罗利，M。；皮亚尼尼（D.Pianini）。；Beal，J.，Linda，《时空：移动自组织环境的自适应协调模型》，（第14届国际协调模型和语言会议，第14届协调模型与语言国际会议，coordination（2012）），212-229 [15] 托尔斯多夫，R。；Menezes，R.，《在Linda系统中使用群体智能》（Engineering Societies in the Agents World IV.Engineering社团in the Agencs World IV，计算机科学讲义，第3071卷（2004），Springer），519 [16] 维罗利，M。；卡萨迪，M。；蒙塔格纳，S。；Zambonelli，F.，通过化学激发元组空间对普遍服务进行空间协调，ACM Trans。自动。适应。系统。，第6、2条，第14页（2011年） [17] 马美，M。；Zambonelli，F.，《编程普及和移动计算应用：TOTA方法》，ACM Trans。柔和。工程方法。，18, 4, 1-56 (2009) [18] Beal，J。；Bachrach，J.，《传感器/执行器网络工程出现的基础设施》，IEEE Intell。系统。，21, 10-19 (2006) [19] 贾维托，J.-L。；戈丁，C。；O.米歇尔。；Prusinkiewicz，P.，《综合与发育生物学的计算模型》（2002），拉密歇根州埃弗里大学，技术报告72-2002 [20] 贾维托，J.-L。；O.米歇尔。；科恩，J。；Spicher，A.，空间中的计算和计算中的空间，（非常规编程范式。非常规编程范式，计算机科学讲义，第3566卷（2005年），施普林格：施普林格柏林），137-152 [22] Nagpal，R.，《可编程自组装：利用生物启发的局部相互作用和折纸数学构建全球形状》（2001），麻省理工学院：麻省理工学院，美国马萨诸塞州剑桥市，博士论文 [23] 怀特豪斯，K。；夏普，C。；布鲁尔，E。；Culler，D.，Hood:传感器网络的邻域抽象，（第二届移动系统、应用和服务国际会议（2004），ACM） [24] M.威尔士。；大陆，G.，使用抽象区域编程传感器网络，（NSDI，第4卷（2004）），3 [25] Butera，W.，《可绘制计算机编程》（2002年），麻省理工学院：麻省理学院剑桥分校，美国，博士论文 [26] 阿什利·罗尔曼，M.P。；Goldstein，S.C。；李·P。；莫瑞，T.C。；Pillai，P.，Meld：编程集成的声明性方法，（智能机器人和系统国际会议，智能机器人和体系国际会议，IROS（2007），IEEE），2794-2800 [27] 德尼古拉，R。；洛雷蒂，M。；Pugliese，R。；Tiezzi，F.，《自主系统编程的正式方法：SCEL语言，ACM Trans》。自动。适应。系统。，9、2、第7条pp.（2014） [28] 洛雷蒂，M。；Hillston，J.，《利用CARMA及其工具对集体自适应系统进行建模和分析》，（Bernardo，M.；De Nicola，R。；Hillston，J.，《集体自适应系统定量评估的形式方法——第16届计算机、通信和软件系统设计形式方法国际学校高级讲座》。集体自适应系统定量评估的形式方法——第十六届计算机、通信和软件系统设计形式方法国际学校，高级讲座，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。集体自适应系统定量评估的形式方法——第16届计算机、通信和软件系统设计形式方法国际学校高级讲座。集体自适应系统定量评估的正式方法-第16届国际计算机、通信和软件系统设计正式方法学院，高级讲座，SFM 2016，意大利贝尔蒂诺罗，2016年6月20-24日，计算机科学讲义，第9700卷（2016），施普林格），83-119 [29] Hennicker，R。；Klarl，A.，《集成建模基础——海伦娜方法》（Specification，Algebra，and Software（2014），Springer），359-381·Zbl 1320.68118号 [30] Bures，T。；Gerostathopoulos，I。；Hnetynka，P。；Keznikl，J。；Kit，M。；Plasil，F.，Deeco：一个基于集成的组件系统，（第16届国际ACM Sigsoft基于组件的软件工程研讨会论文集（2013），ACM），81-90 [31] 波德，F。；Henrio，L。；Ruz，C.，《编程分布式和自适应自治组件——GCM/ProActive框架》，Softw。实际。有效期：45、9、1189-1227（2015年） [32] 埃斯特瓦，M。；罗德里格斯-阿吉拉尔，J.-A。；塞拉，C。；加西亚，P。；Arcos，J.L.，关于电子机构的正式规范，（代理中介电子商务（2001），施普林格），126-147 [33] Hübner，J.F。；Sichman，J.S。；Boissier，O.，《使用MOISE+模型开发有组织的多代理系统：系统和代理级别的编程问题》，Int.J.agent-Oriented Softw。工程，1，3/4，370-395（2007） [34] 马登，S。；富兰克林，M.J。；Hellerstein，J.M。；Hong，W.，TAG：一种用于自组织传感器网络的小型聚合服务，Oper。系统。第36版，SI，131-146（2002） [35] 姚，Y。；Gehrke，J.，传感器网络中网络查询处理的Cougar方法，SIGMOD Rec.，31，3，9-18（2002） [36] 库里诺，C。；Giani，M。；乔治塔，M。；Giusti，A。；Murphy，A.L。；Picco，G.P.，《传感器网络中的移动数据采集：TinyLime中间件》，《普及移动通信》。计算。，4, 446-469 (2005) [37] 牛顿，R。；Welsh，M.，《区域流：传感器网络的功能宏编程》（传感器网络数据管理研讨会（2004）），78-87 [38] Audrito，G。；维拉利，M。；达米亚尼，F。；皮亚尼尼（D.Pianini）。；Beal，J.，《计算场的高阶微积分》，ACM Trans。计算。日志。，20, 1, 1-55 (2019) ·Zbl 1407.68326号 [39] Corkill，D.，黑板系统，AI专家，9，6，40-47（1991） [40] 北布西。；Ciancarini，P。；Gorrieri，R。；Zavattaro，G.，《协调模型：导览》，（互联网代理的协调：模型、技术和应用（2001），Springer），6-24，Ch.1 [41] 维罗利，M。；Omicini，A。；Ricci，A.，工程MAS环境与工件，（Weyns，D.；Parunak，H.V.D.；Michel，F.，第二届“多智能体系统环境”国际研讨会，第二期“多智能体系统环境”国际会议，E4MAS 2005，AAMAS 2005年，荷兰乌得勒支（2005）） [42] Omicini，A。；里奇，A。；维罗利，M。；Castelfranchi，C。；Tummolini，L.，协调工件：智能代理的基于环境的协调，（第三届自治代理和多代理系统国际联合会议。第三届自主代理和多Agent系统国际联合大会，AAMAS（2004），IEEE计算机学会），286-293 [43] 维拉利，M。；卡萨迪，M。；Omicini，A.，《建模和实施自组织协调的框架》（ACM应用计算研讨会，ACM应用计算机研讨会，SAC（2009）），1353-1360 [44] 卡萨迪，M。；维罗利，M。；Gardelli，L.，关于分布式元组空间的集体排序问题，科学。计算。程序。，74, 9, 702-722 (2009) ·Zbl 1183.68223号 [45] 皮亚尼尼（D.Pianini）。；Virruso，S。；梅内泽斯，R。；Omicini，A。；Viroli，M.，使用基于WordNet的本体在协调系统中的自组织，（第四届自适应和自组织系统国际会议，第四届自自适应和自组系统国际会议），SASO（2010），IEEE [46] 维罗利，M。；Casadei，M.，《用于自组织协调的生物化学元组空间》（计算机科学讲稿（2009），Springer），143-162 [47] Viroli，M.，《普及服务中的竞争性自我组合》，科学。计算。程序。，78, 5, 556-568 (2013) [48] Ferber，J。；Weiss，G.，《多代理系统：分布式人工智能简介》，第1卷（1999年），Addison-Wesley：Addison-Whesley阅读 [49] Nwana，H.S。；Lee，L.C。；Jennings，N.R.，软件代理系统的协调，英国电信技术公司。J.，14，4，79-88（1996） [50] 曹毅。；余，W。；Ren，W。；Chen，G.，分布式多智能体协调研究的最新进展概述，IEEE Trans。Ind.通知。，9, 1, 427-438 (2013) [51] 霍林，B。；Lesser，V.，《多代理组织范式调查》，Knowl。工程版本，19，4，281-316（2004） [52] Boissier，O。；Hübner，J.F。；Sichman，J.S.，《面向组织的编程：从封闭组织到开放组织》，（代理世界中的工程社会国际研讨会（2006），施普林格），86-105 [53] Serugendo，G.D.M。；格莱兹，M.-P。；Karageorgos，A.，《多智能体系统中的自组织》，Knowl。工程版次，20，2，165-189（2005） [54] Ferscha，A.，集体自适应系统， （2015年ACM普适和普适计算国际联席会议的临时会议记录和2015年ACM可穿戴计算机国际研讨会的会议记录）可穿戴计算机，UbiComp/ISWC’15 Adjunct（2015），ACM：美国纽约州纽约市ACM），893-895 [55] 马梅，M。；赞博内利，F。；Leonardi，L.，《Co-fields：迈向群体智能系统工程的统一方法》（engineering Societies in the Agents World III（2003），Springer），第68-81页·Zbl 1022.68684号 [56] 斯托瓦尔，D。；Julien，C.，《进化元组的资源发现》，（普及环境软件服务工程国际研讨会：结合第六届ESEC/FSE联合会议），《普及环境软件服务器工程国际研讨会》，ESSPE（2007），ACM：美国纽约州纽约市ACM），1-10 [57] Beal，J。；Dulman，S。；Usbeck，K。；维罗利，M。；Correll，N.，《组织聚合：空间计算语言》（Organizing the aggregate:languages for spatial computing），（领域特定语言的形式和实用方面：最新发展，IGI Global（2013）），436-501，Ch.16，更长版本可从以下网址获得： [58] 多布森，S。；Denazis，S。；费尔南德斯，A。；盖蒂，D。；Gelenbe，E。；马萨奇，F。；尼克松，P。；Saffre，F。；施密特，N。；Zambonelli，F.，《自主通信调查》，ACM Trans。自动。适应。系统。，1, 2, 223-259 (2006) [59] 梅内泽斯，R。；Tolksdorf，R.，基于Linda-based的协调模型中的适应性，（工程自组织系统：软件工程的自然灵感方法。工程自组织体系：软件工程自然灵感方法，LNAI，第2977卷（2004），Springer），212-232·Zbl 1082.68551号 [60] Omicini，A。；Viroli，M.，《协调模型和语言：从并行计算到自组织》，Knowl。工程版本，26，1，53-59（2011） [61] 克莱门特，L。；Nagpal，R.，《自组装和自配对拓扑》（Multi-Agent系统适应性研讨会（2003），RoboCup澳大利亚公开赛） [62] Yamins，D.，《一维空间多智能体系统的局部到全局算法理论》（2007），哈佛：哈佛剑桥，马萨诸塞州，美国，博士论文 [63] 拉塞尔，C。；马萨，J。；Miney，J。；Dayton，L.，《Starlisp参考手册》，Thinking Machines Corporation（1988） [64] Engstrom，B.R。；Cappello，P.R.，SDEF编程系统，J.并行分布计算。，201-231年7月2日（1989年） [65] Beal，J.，编程一种无定形计算介质，（非传统编程范式（2005），施普林格：施普林格-柏林/海德堡），97 [66] 维罗利，M。；达米亚尼，F。；Beal，J.，计算领域演算，（面向服务和云计算的进展。面向服务和云端计算的进展，计算机和信息科学通信，第393卷（2013），Springer），114-128 [67] Church，A.，《逻辑基础的一组假设》，Ann.Math。，33, 2, 346-366 (1932) [68] Igarashi，A。；皮尔斯，公元前。；Wadler，P.，《Featherweight Java：Java和GJ的最小核心演算》，ACM Trans。程序。语言系统。，23, 3, 396-450 (2001) [69] 达米亚尼，F。；维罗利，M。；Beal，J.，《计算场的类型声音演算》，《科学》。计算。程序。，117, 17-44 (2016) [70] 维罗利，M。；Audrito，G。；Beal，J。；达米亚尼，F。；Pianini，D.，《通过自我稳定设计弹性集体自适应系统》，ACM Trans。模型。计算。同时。，28, 2, 1-28 (2018) [71] Audrito，G.公司。；达米亚尼，F。；维罗利，M。；Casadei，R.，《场微积分中计算域的运行时管理》，（Self*系统基础和应用国际研讨会。Self*系基础和应用的国际研讨会，FAS*W（2016），IEEE），192-197 [72] Damas，L。；Milner，R.，函数程序的主要类型模式，（程序设计语言原理研讨会（1982），ACM），207-212 [73] Milner，R.，《标准ML的定义：修订版》（1997），麻省理工学院出版社 [74] Audrito，G。；Beal，J。；达米亚尼，F。；Viroli，M.，场微积分的时空普适性，（国际协调模型和语言会议。国际协调模型与语言会议，Coordination。国际协调模式和语言会议，国际协调模型及语言会议，Coordination，计算机科学讲稿，第10852卷（2018），Springer）， 1-20 [75] Winskel，G.，《事件结构》，（Brauer，W.；Reisig，W.）。；Rozenberg，G.，《Petri网：中心模型及其属性》，《1986年Petri网进展》，第二部分，高级课程论文集。Petri网：中心模型及其属性，《1986年Petri网进展》，第二部分，高级课程论文集，计算机科学讲稿，第255卷（1986），Springer），325-392 [76] Dolev，S.，《自我稳定》（2000），麻省理工学院出版社·兹比尔1026.93001 [77] 卢赫·拉富恩特，A。；洛雷蒂，M。；Montanari，U.，基于定点的计算字段的异步分布式执行，Log。方法计算。科学。，13, 1 (2017) ·Zbl 1398.68369号 [78] Lluch-Lafuente，A。；洛雷蒂，M。；Montanari，U.，《基于固定点的图形计算场微积分》，（第17届国际协调模型和语言会议，第17届协调模型与语言国际会议，Coordination（2015）），101-116 [79] 达米亚尼，F。；Viroli，M.，计算场基于类型的自稳定，Log。方法计算。科学。，11, 4 (2015) ·Zbl 1448.68336号 [80] 维罗利，M。；Damiani，F.，《自稳定计算场的演算》，（第十六届国际协调模型和语言会议（2014），施普林格），163-178 [81] 维罗利，M。；Beal，J。；达米亚尼，F。；Pianini，D.，《通过自稳定场实现复杂自组织系统的高效工程》，（第九届自适应和自组织系统国际会议，第九届自适应性和自组织体系国际会议，SASO（2015）），81-90 [82] Beal，J。；维罗利，M。；皮亚尼尼博士。；Damiani，F.，《物联网中设备分发的自我适应》，ACM Trans。自动。适应。系统。，12, 3, 12 (2017) [83] Audrito，G。；达米亚尼，F。；维罗利，M。；Bini，E.，《带场微积分的分布式实时最短路径计算》，（2018 IEEE实时系统研讨会，2018 IEEE即时系统研讨会，RTSS（2018），IEEE），23-34 [84] 巴赫西，R。；布，L。；福克金，W。；Haverkort，B.R.，推拉闲话协议性能评估的Mean-field框架，系统定量评估进展。系统定量评估进展，性能评估。，68, 2, 157-179 (2011) [85] 达米亚尼，F。；维罗利，M。；皮亚尼尼（D.Pianini）。；Beal，J.，《代码迁移满足自组织：计算场的高阶演算》，（分布式对象、组件和系统的形式化技术。分布式对象、部件和系统的格式化技术，计算机科学讲义，第9039卷（2015），Springer），113-128 [86] 皮亚尼尼（D.Pianini）。；维拉利，M。；Beal，J.，Protelis:实用聚合编程，（应用计算研讨会（2015），美国计算机学会），1846-1853 [87] 皮亚尼尼（D.Pianini）。；蒙塔格纳，S。；Viroli，M.，《使用ALCHEMIST对计算系统进行面向化学的模拟》，J.Simul。，7, 3, 202-215 (2013) [88] 贝尔·D·G。；Kuehnel，F。；麦克斯韦，C。；Kim，R。；Kasraie，K。；Gaskins，T。；霍根，P。；Coughlan，J.，《NASA世界风：任务操作的开源GIS》（航空航天会议（2007），IEEE） [89] 克拉克，S.S。；Beal，J。；Pal，P.，企业服务的分布式恢复，（第九届自适应和自组织系统国际会议，第九届自适应性和自组织体系国际会议，SASO（2015），IEEE），111-120 [90] Bettini，L.，《使用Xtext和Xtend实现领域特定语言》，2E（2016），Packt Publishing [91] Francia，M。；皮亚尼尼（D.Pianini）。；Beal，J。；Viroli，M.，《走向弹性分布式系统设计的基础API》，（Self*系统基础和应用国际研讨会。Self*系统基础和应用国际研讨会，FAS*W（2017），IEEE） [92] Beal，J。；Viroli，M.，《自组织应用程序聚合编程的构建块》，（第八届自适应和自组织系统研讨会国际会议，第八届自组织和自适应系统国际会议研讨会，SASOW（2014）），8-13 [93] 皮亚尼尼（D.Pianini）。；Beal，J。；Viroli，M.，《通过重叠复制改善八卦动态》，（第18届国际协调模型和语言会议，第18届协调模型与语言国际会议，协调（2016），斯普林格），192-207年 [94] 卡萨迪，R。；Viroli，M.，《迈向Scala的聚合编程》，（第一届分布式计算编程模型和语言研讨会（2016年），ACM），5 [95] Odersky，M。；Rompf，T.，《用Scala统一函数和面向对象编程》，Commun。ACM，57，4，76-86（2014） [96] 卡萨迪，R。；皮亚尼尼（D.Pianini）。；Viroli，M.，《用炼金术士和Scala模拟大规模聚合MAS》，（计算机科学和信息系统联合会议。计算机科学和资讯系统联合会议，联邦科学与信息系统联合会（2016），IEEE），1495-1504 [97] 卡萨迪，R。；Viroli，M.，《基于行动者的集体适应系统编程》（Programming actor-based collective adaptive systems），（Programmming with Actors-State-of-Art and Research Perspectives.Programming-with actor-State-on-Art and Research Perpectives，计算机科学讲义，第10789卷（2018），Springer） [98] 维罗利，M。；卡萨迪，R。；Pianini，D.，关于大规模聚合计算的执行平台，（普及和普遍计算国际联合会议：附属会议（2016），ACM），1321-1326 [99] 罗斯滕堡，R。；巴克，R。；Williams，R.，Akka in Action（2015），曼宁出版公司：美国康涅狄格州格林威治市曼宁出版有限公司 [100] 阿帕奇卡夫卡（2019），2019年3月13日检索 [101] 斯帕克，阿帕奇（2019），2019年3月13日检索 [102] 奥利维拉，公元前。；摩尔，A。；Odersky，M.，将类作为对象和隐式类型，ACM SIGPLAN Not。，45, 10, 341-360 (2010) [103] 咖喱，H。；Feys，R.，组合逻辑（1958），北荷兰人·Zbl 0175.27601号 [104] Fernandez-Marquez，J.L。；Di Marzo Serugendo，G。；蒙塔格纳，S。；维罗利，M。；Arcos，J.L.，《生物灵感设计模式的描述和构成：完整概述》，《自然计算》。，12, 1, 43-67 (2013) [105] Beal，J。；巴赫拉赫，J。；Vickery博士。；Tobenkin，M.，《快速自愈梯度》（应用计算研讨会（2008），美国计算机学会），1969-1975年 [106] Beal，J.，《灵活的自愈梯度》（应用计算研讨会（2009），美国计算机学会），1197-1201 [107] Audrito，G。；达米亚尼，F。；Viroli，M.，通过有限信息速度实现分布式梯度结构的最优自我修复，（国际协调模型和语言会议。国际协调模型与语言会议，Coordination。国际协调模式和语言会议，国际协调模型及语言会议，Coordination，计算机科学讲稿，第10319卷（2017），Springer）， 59-77 [108] Audrito，G。；达米亚尼，F。；Viroli，M.，梯度算法中的最优单路径信息传播，科学。计算。程序。，166, 146-166 (2018) [109] Audrito，G。；卡萨迪，R。；达米亚尼，F。；Viroli，M.，最优自愈梯度的组合块，（第11届自适应和自组织系统国际会议，第11届自适应性和自组织体系国际会议，SASO（2017），IEEE），91-100 [110] Beal，J.，《近似共识中速度的交易准确性》，Knowl。工程修订版，31，4325-342（2016） [111] Audrito，G.公司。；达米亚尼，F。；Viroli，M.，聚合图统计，（Pianini，D.；Salvaneschi，G.，《物联网架构、语言和范例第一次研讨会论文集》，iFM下的ALP4IoT2017物联网架构、语言和范例第一次研讨会会议记录。物联网架构、语言和范例第一次研讨会会议记录，iFM下的ALP4IoT2017年，EPTCS，第264卷（2017）），18-22 [112] Audrito，G。；Bergamini，S.，《总结分布式数据的弹性块》，（Pianini，D.；Salvaneschi，G.，《物联网架构、语言和范例第一次研讨会论文集》，iFM下的ALP4IoT2017物联网架构、语言和范例第一次研讨会会议记录。物联网架构、语言和范例第一次研讨会会议记录，iFM下的ALP4IoT2017年，EPTCS，第264卷（2017）），23-26 [113] Audrito，G。；Bergamini，S。；达米亚尼，F。；Viroli，M.，移动多智能体系统中分布式数据的有效集体汇总，（第18届自主代理和多智能体系统国际会议论文集。第18届自主代理和多智能体系统国际会议论文集，AAMAS’19（2019）），1618-1626 [114] 维罗利，M。；Beal，J.，《聚合计算的弹性：现状和路线图》（集体适应性系统定量评估的FORmal方法研讨会，集体适应性系统量化评估的FORM方法研讨会，FORECAST（2016）） [115] Lynch，N.，分布式算法（1996），Morgan Kaufmann:Morgan Koufmann San Francisco，USA·兹比尔0877.68061 [116] Shevitz，D。；Paden，B.，非光滑系统的Lyapunov稳定性理论，IEEE Trans。自动。控制，39，9，1910-1914（1994）·Zbl 0814.93049号 [117] Arcak，M.，《被动性作为群体协调的设计工具》，IEEE Trans。自动。控制，52，8，1380-1390（2007）·Zbl 1366.93563号 [118] Hatanaka，T。；北卡罗来纳州乔普拉。；Fujita，M。；Spong，M.W.，网络机器人中基于被动性的控制和估计（2015），Springer·Zbl 1347.93003号 [119] 安德森，B.D.，《小增益定理、无源性定理及其等价性》，J.Franklin Inst.，293，2，105-115（1972）·兹比尔0297.93045 [120] 萨默斯，T.H。；Yu，C。；达斯古普塔，S。；Anderson，B.D.，《飞机中最小持续领导-远程领导和领导编队的控制》，IEEE Trans。自动。控制，56，12，2778-2792（2011）·Zbl 1368.93004号 [121] Krick，L。；布鲁克，M.E。；Francis，B.A.，《多机器人网络无限小刚性编队的稳定性》，《国际控制杂志》，第82、3、423-439页（2009年）·Zbl 1168.93306号 [122] Olfati-Saber，R。；传真：J.A。；Murray，R.M.，《网络化多智能体系统中的共识与合作》，Proc。IEEE，95，1，215-233（2007）·Zbl 1376.68138号 [123] 江，Z.-P。；马利尔斯，I.M。；Wang，Y.，互联ISS系统非线性小收益定理的Lyapunov公式，Automatica，32，8，1211-1215（1996）·Zbl 0857.93089号 [124] Fu，M。；达斯古普塔，S。；Soh，Y.C.，积分二次约束法与乘数法，Automatica，41，2，281-287（2005）·Zbl 1116.93373号 [125] Fu，M。；Dasgupta，S.，不确定系统的参数Lyapunov函数：乘数方法，（控制中线性矩阵不等式方法的进展（2000），SIAM），95-108·Zbl 0946.93041号 [126] 库马尔，A。；Beal，J。；达斯古普塔，S。；Mudumbai，R.，走向预测分布式系统动力学，（自适应和自组织系统研讨会国际会议。自适应和自组系统研讨会国际大会，SASOW（2015），IEEE），68-73 [127] 莫，Y。；Beal，J。；Dasgupta，S.，《自我稳定领导人选举的聚合计算方法》，（2018年IEEE第三届自*系统基础与应用国际研讨会，2018年IEEE-第三届自我*系统基础和应用国际研讨会），FAS*W（2018），IEEE），112-117 [128] 达斯古普塔，S。；Beal，J.，自适应Bellman-Ford算法鲁棒稳定性的Lyapunov分析，（第55届IEEE决策与控制会议，第55届EEE决策与控制大会，CDC（2016），IEEE），7282-7287 [129] 莫，Y。；达斯古普塔，S。；Beal，J.，《聚合计算中扩展块的鲁棒稳定性》，（2018 IEEE决策与控制会议，2018 IEEE决定和控制会议，CDC（2018），IEEE），6007-6012 [130] 莫，Y。；Beal，J。；Dasgupta，S.，集体状态自稳定跨越树估计的误差，（自*系统基础与应用国际研讨会。自*系统的基础和应用国际研讨会，FAS*W（2017），IEEE），1-6 [131] Audrito，G。；达米亚尼，F。；斯托尔茨，V。；Viroli，M.，《关于通过聚合计算进行分布式运行时验证》，（第三届对象验证国际研讨会后处理，运行时执行。第三届运行时执行对象验证国际讲习班后处理，VORTEX 2018。第三届物体在运行时执行验证国际研讨会后刊。第三届物体验证国际研讨会后刊，运行时执行，VORTEX 2018，EPTCS（2019）） [132] Audrito，G。；Beal，J。；达米亚尼，F。；皮亚尼尼（D.Pianini）。；Viroli，M.，《基于现场的协调共享运营商》（Nielson，H.R。；Tuosto，E.，第21届国际协调模式和语言会议。第21届国际协调模式和语言会议，Coordination。第21届国际协调模式和语言会议。第21届国际协调模型和语言会议，协调，计算机科学讲稿，第11533卷（2019年），斯普林格），54-71 [133] Bortolussi，L。；Hillston，J。；拉特拉，D。；Massink，M.，《集体系统行为的连续近似：教程》，Perform.Eval。，70, 5, 317-349 (2013) [134] Ciancia，V。；吉尔摩，S。；Grilletti，G。；拉特拉，D。；洛雷蒂，M。；Massink，M.，《公共交通系统中车辆运动的时空模型检查》，国际J.Softw。技术工具。传输。，1-23 (2018) [135] 巴赫拉赫，J。；比尔，J。；McLurkin，J.，机器人群的可组合连续空间程序，神经计算。应用。，19, 6, 825-847 (2010) [136] Beal，J.，《人类控制车辆群的战术指挥方法》（AAAI秋季研讨会：生物群的人类控制（2012）） [137] Beal，J.，群的超扩散扩散和混合，ACM Trans。自动。适应。系统。，10，2（2015），第10条 [138] 维罗利，M。；皮亚尼尼（D.Pianini）。；里奇，A。；Croatti，A.，《多智能体系统的总体计划》，Int.J.Agent-Oriented Softw。工程师，4，5，336-365（2017） [139] 卡萨迪，R。；维罗利，M。；Audrito，G。；皮亚尼尼（D.Pianini）。；Damiani，F.，《场论中的聚合过程》（Nielson，H.R。；Tuosto，E.，第21届国际协调模式和语言会议。第21届国际协调模式和语言会议，Coordination。第21届国际协调模式和语言会议。第21届国际协调模型和语言会议，协调，计算机科学讲义，第11533卷（2019），施普林格），200-217 [140] 卡萨迪，R。；Viroli，M.，《大规模自适应物联网的集体抽象和平台》，（2018年IEEE第三届self*系统基础和应用国际研讨会，2018年第三届IEEE自*系统基础与应用国际研讨会），FAS*W（2018），IEEE），106-111 [141] 卡萨迪，R。；Fortino，G。；皮亚尼尼（D.Pianini）。；Russo，W。；萨瓦利奥，C。；Viroli，M.，《集体机会主义边缘服务的开发方法》，《信息科学》。，498, 154-169 (2019) [142] Schmidt，D.，实时和嵌入式系统中间件，Commun。ACM，45，6，43-48（2002） [143] Iorgam，M。；费尔德曼，L。；巴顿，R。；马丁·M·J。；北卡罗来纳州戈伦。；Mahmoudi，C.，雾计算概念模型，国家标准与技术研究所的建议（2018），NIST特别出版物500-325 [144] Openfog财团（2019），2019年1月检索 [145] Hachem，S。；伊萨雷尼，V。；Mallet，V.公司。；Pathak，A。；巴蒂亚，P。；amd Raverdy，R.，《城市公民：智能社会中群众感知数据民主化的物联网中间件》（Research and Tech.for Society and Industry Leveraging a Better Torrow，Research and-Technolog.for Social and Industry.Leveraging-a Better-Torrow），RTSI（2015），第117-126页 [146] 卡萨迪，R。；皮亚尼尼（D.Pianini）。；维罗利，M。；Natali，A.，《自组织协调区域：边缘计算模式》，（第21届国际协调模型和语言会议，施普林格），182-199年 [147] Beal，J。；维罗利，M。；皮亚尼尼（D.Pianini）。；Damiani，F.，设备分布变化的自适应，（第十届IEEE自适应和自组织系统国际会议。第十届EEE自适应和自组系统国际会议，SASO 2016，德国奥格斯堡，2016年9月12-16日（2016）），60-69 [148] 卡萨迪，R。；Aldini，A。；Viroli，M.，使用信任机制实现抗攻击聚合计算，科学。计算。程序。，167114-137（2018） [149] 穆拉德（A.Mourad）。；Laverdière，医学硕士。；Debbabi，M.，开源软件的安全强化，（《2006年隐私、安全和信任国际会议论文集——缩小PST技术与商业服务之间的差距》，《2006年国际隐私、安全与信任会议论文集：缩小PST科技与商业服务间差距》，PST 06（2006），ACM出版社） [150] 皮亚尼尼（D.Pianini）。；Ciatto，G。；卡萨迪，R。；Mariani，S。；维罗利，M。；Omicini，A.，《通过区块链对聚合计算进行透明保护，使其免受拜占庭行为的影响》，（第四届EAI智能对象和技术促进社会福利国际会议（2018年），ACM），271-276 [151] Lamport，L。；肖斯塔克，R。；Pease，M.，拜占庭将军问题，ACM Trans。程序。语言系统。，4, 3, 382-401 (1982) ·Zbl 0483.68021号 [152] 郑，Z。；谢S。；戴，H。；陈，X。；Wang，H.，区块链技术概述：架构、共识和未来趋势，（2017 IEEE国际大数据大会，2017 IEEE大数据国际大会，BigData大会（2017），IEEE），557-564 [153] 利普，M。；施瓦茨，M。；格罗斯，D。；Prescher，T。；哈斯，W。；Fogh，A。；霍恩，J。；Mangard，S。；Kocher，P。；Genkin，D。；Yarom，Y。；Hamburg，M.，Meltdown:从用户空间读取内核内存，（第27届USENIX安全研讨会，第27届美国国家安全研讨会，美国国家安全协会18（2018）） [154] Kocher，P。；霍恩，J。；Fogh，A。；Genkin，D。；格罗斯，D。；哈斯，W。；汉堡，M。；李普，M。；Mangard，S。；Prescher，T。；施瓦兹，M。；Yarom，Y.，Spectre攻击：利用投机执行，（第40届IEEE安全与隐私研讨会，第40届安全与隐私IEEE研讨会，S&P’19（2019）） [155] Kim，Y。；Daly，R。；Kim，J。；法林，C。；Lee，J.H。；Lee，D。；Wilkerson，C。；赖，K。；Mutlu，O.，在内存中翻转位而不访问它们：DRAM干扰错误的实验研究 [156] Tatar，A。；科诺特，R.K。；Athanasopoulos，E。；朱弗里达，C。；Bos，H。；Razavi，K.，Throwhammer:Rowhammer对网络和防御的攻击，（《2018年USENIX USENIX年度技术会议论文集》，《2018年USENIX USENIX年技术会议论文录》，USENIXATC’18（2018），USENIX协会：美国加利福尼亚州伯克利USENIX-协会），213-225 [157] 彭岑斯塔德勒，B。；Raturi，A。；Richardson博士。；Tomlinson，B.，《安全、安保、现在的可持续性：21世纪的非功能需求》，IEEE软件。，31, 3, 40-47 (2014) [158] 巴赫拉赫，J。；Beal，J.，《构建空间计算机》（2007年3月），麻省理工学院技术代表CSAIL技术报告2007-017 [159] 博尔，M。；维德勒，J。；Roedig，U.，Lora for the internet-of-things，（《2016年嵌入式无线系统和网络国际会议论文集》，《2016年嵌入无线系统与网络国际会议文献集》，EWSN’16（2016），Junction Publishing:Junction出版社，美国），361-366 [160] 皮亚尼尼（D.Pianini）。；Elzanaty，A。；Giorgetti，A。；Chiani，M.，《LoRaWAN上网络物理系统的新兴分布式编程范式》（2018 IEEE Globecom Workshops，2018 IEEE全球通信研讨会，GC Wkshps（2018）），1-6 [161] Sherazi，H.H.R。；皮罗，G。；格里科，洛杉矶。；Boggia，G.，《当可再生能源满足LoRa:无缆部署的可行性分析》，IEEE Int.Things J.，1（2018） [162] 卡萨迪，R。；Fortino，G。；皮亚尼尼（D.Pianini）。；Russo，W。；萨瓦利奥，C。；Viroli，M.，《利用聚合计算对机会主义物联网服务进行建模和仿真》，Future Gener。计算。系统。，91, 252-262 (2019) [163] Bonomi，F。；米利托·R。；朱，J。；Addepalli，S.，《雾计算及其在物联网中的作用》（《MCC移动云计算研讨会第一版会议记录》（2012），ACM），13-16 [164] Shi，W。；曹，J。；张，Q。；李毅。；Xu，L.，边缘计算：愿景与挑战，IEEE Int.Things J.，3，5，637-646（2016） [165] Beal，J。；Viroli，M.，《时空编程》，Philos。事务处理。R.Soc.A，数学。物理学。工程科学。，3732046（2015年） [166] H.V.D.帕鲁纳克。；Brueckner，S.，《使用多智能体对替代世界进行并行建模》（Multi-Agent-Based Simulation VII（2007），Springer），128-141 [167] Beal，J。；Usbeck，K。；Loyall，J。；Metzler，J.，机载传感器的机会主义共享，（传感器系统分布式计算国际会议。传感器系统分布式计算机国际会议，DCOSS（2016），IEEE），25-32 [168] Beal，J。；Usbeck，K。；Loyall，J。；罗伊，M。；Metzler，J.，自适应机会主义机载传感器共享，ACM Trans。自动。适应。系统。，13, 1, 6 (2018) [169] 比尔，J。；Viroli，M.，《聚合编程：从基础到应用》，（集体自适应系统定量评估的正式方法（2016），施普林格），233-260 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。