×
叶希亚·阿卜杜·阿勒拉赫曼；洛科·德尼古拉；米歇尔·洛雷蒂

论基于属性的交流的力量。 （英语） Zbl 1347.68022号

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/电子书）。计算机科学讲座笔记9688，1-18（2016）。
小结：在表现出适应性的开放系统中，行为可能作为密集组件交互的副作用而出现。找到理解和设计这些系统的方法是一项困难但重要的工作。为了解决这些问题，我们提出抗体C，一种基于属性的通信演算。一个抗体C系统由一组并行代理组成，每个代理都具有一组属性。通信以隐式多播方式进行，代理之间的交互是通过考虑由代理属性上的谓词确定的“连接”来动态建立的。首先介绍了微积分的语法和语义，然后介绍了微积分的表达性和有效性抗体C在以协作、重新配置和适应为特征的建模场景以及编码基于信道的交互和其他交互模式的可能性方面进行了演示。的行为等效性抗体C用于在同一系统的不同描述之间建立形式关系。
有关整个系列，请参见[Zbl 1339.68004号].

引用于8文件

MSC公司：

64岁以下 分布式系统

软件：

SCEL公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Abd Alrahman}等人，Lect。票据计算。科学。9688，1-18（2016；Zbl 1347.68022）
全文： 内政部 arXiv公司 哈尔

参考文献：

[1] Agha，G.，Callsen，C.J.：《ActorSpace:开放分布式编程范例》，第28卷。ACM（1993年）
[2] Alrahman，Y.A.，De Nicola，R.，Loreti，M.：关于基于属性的沟通的力量，扩展报告（2016）·Zbl 1347.68022号
[3] Alrahman，Y.A.，De Nicola，R.，Loreti，M.，Tiezzi，F.，Vigo，R.：基于属性的沟通演算。摘自：第30届ACM应用计算研讨会论文集，SAC 2015，第1840–1845页。ACM（2015）·doi:10.1145/2695664.2695668
[4] Bass，M.A.，Nguyen，F.T.：本地和远程出版目的地的统一发布和订阅模式，美国专利64052662002年6月11日
[5] Chockler，G.V.、Keidar，I.、Vitenberg，R.：集团通信规范：综合研究。ACM计算。Surv公司。33, 427–469. ACM（2001）。doi:10.1145/503112.503113·doi:10.1145/503112.503113
[6] De Nicola，R.，Ferrari，G.，Loreti，M.，Pugliese，R.：一种基于语言的自主计算方法。收录人：Boer，F.S.，Bonsangue，M.M.，Beckert，B.，Damiani，F.（编辑）FMCO 2011。LNCS，第7542卷，第25-48页。斯普林格，海德堡（2012）
[7] De Nicola，R.、Loreti，M.、Pugliese，R.和Tiezzi，F.：自主系统编程的正式方法：scel语言。ACM事务处理。自动。适应。系统。9, 1–29 (2014) ·doi:10.1145/2619998
[8] Ene，C.，Muntean，T.：基于广播的通信系统演算。摘自：并行和分布式处理研讨会，国际，第3卷，第30149b页。IEEE计算机学会（2001）·doi:10.1109/IPDPS.2001.925136
[9] Eugster，P.T.，Felber，P.A.，Guerraoui，R.，Kermarrec，A.-M.：发布/订阅的许多方面。ACM计算。（CSUR）35（2），114–131（2003）·数字对象标识代码：10.1145/857076.857078
[10] Ferscha，A.：集体适应系统。在：《2015年美国计算机学会普及和普遍计算国际联席会议论文集》和《2015年美国计算机学会可穿戴计算机国际研讨会论文集》，第893–895页（2015）·数字对象标识代码：10.1145/2800835.2809508
[11] Given-Wilson，T.、Gorla，D.、Jay，B.：并发模式演算。收录：Calude，C.S.，Sassone，V.（编辑）TCS 2010。IFIP AICT，第323卷，第244–258页。斯普林格，海德堡（2010）·Zbl 1198.68211号 ·doi:10.1007/978-3642-15240-5_18
[12] 安东尼·理查德·霍尔（Antony Richard Hoare，C.）：传达顺序过程。Commun公司。ACM 21（8），666–677（1978）·Zbl 0383.68028号 ·doi:10.1145/359576.359585
[13] Holbrook，H.W.，Cheriton，D.R.：Ip多播频道：对大规模单源应用程序的明确支持。收录于：ACM SIGCOMM Computer Communication Review，第29卷，第65-78页。ACM（1999）·doi:10.1145/316188.316207
[14] Honda，K.，Yoshida，N.：关于基于约简的过程语义。西奥。计算。科学。151(2), 437–486 (1995) ·Zbl 0871.68122号 ·doi:10.1016/0304-3975（95）00074-7
[15] John，M.，Lhoussaine，C.，Niehren，J.：祈使句中的动态隔间\[\圆周率\]{\（\pi\）}-演算。收件人：Degano，P.，Gorrieri，R.（编辑）CMSB 2009。LNCS，第5688卷，第235-250页。斯普林格，海德堡（2009）·Zbl 05609279号 ·doi:10.1007/978-3-642-03845-7_16
[16] John，M.，Lhoussaine，C.，Niehren，J.，Uhrmacher，A.M.：具有优先级的属性Pi-calculus。收录：Priami，C.、Breitling，R.、Gilbert，D.、Heiner，M.、Uhrmacher，A.M.（编辑）《计算系统生物学学报》第十二卷。LNCS，第5945卷，第13-76页。斯普林格，海德堡（2010）·Zbl 1275.92023号 ·doi:10.1007/978-3642-11712-12
[17] Mamei，M.，Zambonelli，F.：使用tota中间件编程普及和移动计算应用程序。摘自：2004年第二届IEEE普及计算与通信年会论文集。PerCom 2004，第263-273页。IEEE（2004）·Zbl 1087.68651号 ·doi:10.1109/PERCOM.2004.1276864
[18] Milner，R.（编辑）：通信系统微积分。LNCS，第92卷。斯普林格，海德堡（1980）。doi:10.1007/3-540-10235-3·Zbl 0452.68027号
[19] Milner，R.：沟通与并发。Prentice-Hall Inc，Upper Saddle River（1989年）·Zbl 0683.68008号
[20] Milner，R.，Parrow，J.，Walker，D.：移动过程的微积分，ii。Inf.计算。100(1), 41–77 (1992) ·Zbl 0752.68037号 ·doi:10.1016/0890-5401（92）90009-5
[21] Milner，R.，Sangiorgi，D.：倒钩相互模拟。在：Kuich，W.（编辑）ICALP 1992。LNCS，第623卷，第685-695页。斯普林格，海德堡（1992）·doi:10.1007/3-540-55719-9_114
[22] K.V.S.普拉萨德：广播系统微积分。科学。计算。程序。25(2), 285–327 (1995) ·Zbl 05476417号 ·doi:10.1016/0167-6423（95）00017-8
[23] K.V.S.普拉萨德：广播系统微积分。摘自：Abramsky，S.（编辑）CAAP 1991和TAPSOFT 1991。LNCS，第493卷，第338-358页。斯普林格，海德堡（1991）·doi:10.1007/3-540-53982-4_19
[24] Sanders，J.W.，Smith，G.：正式集成工程。收录：Wirsing，M.，Banátre，J.-P.，Hölzl，M.和Rauschmayer，A.（编辑）《软件集成系统》。LNCS，第5380卷，第132-138页。斯普林格，海德堡（2008）·兹伯利05496499 ·doi:10.1007/978-3-540-89437-78
[25] Sangiorgi，D.，Walker，D.：像素：移动过程理论。剑桥大学出版社，剑桥（2003）·Zbl 0981.68116号
[26] Sommerville，I.、Cliff，D.、Calinescu，R.、Keen，J.、Kelly，T.、Kwiatkowska，M.、Mcdermid，J.和Paige，R.：大型复杂it系统。Commun公司。ACM 55（7），71–77（2012）·doi:10.1145/2209249.2209268
[27] Vigo，R.、Nielson，F.、Niellson，H.R.：广播、拒绝服务和安全通信。摘自：Johnsen，E.B.，Petre，L.（编辑）IFM 2013。LNCS，第7940卷，第412-427页。斯普林格，海德堡（2013）·Zbl 06248481号 ·doi:10.1007/978-3-642-38613-8_28
[28] Viroli，M.，Damiani，F.，Beal，J.：计算领域的微积分。收录于：Canal，C.，Villari，M.（编辑）《面向服务和云计算的进展》，第114-128页。斯普林格，海德堡（2013）·电话：10.1007/978-3-642-45364-9_11
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。