×
卡拉米，法尔扎内;Owe、Olaf;托克塔姆，拉梅扎尼法尔卡尼

活动对象的交互范例评估。 （英语） Zbl 1417.68023号

J.日志。阿尔盖布。方法计划。 103, 154-183 (2019).
摘要：分布式系统由于其异构性和分布式的特性，很难正确设计和证明其正确性。这些挑战取决于所使用的编程范式及其语义。这个行动者范式具有提供模块化语义的优点，这对组合设计和分析很有用。通过异步消息传递避免了共享变量并发和竞争条件。面向对象范式因其在程序结构和代码重用方面的便利而受到欢迎。这些范例通过并发对象进行了组合，其中远程方法调用通过消息传递传输，并且避免了低级同步原语。这类物体可能表现出积极的行为，通常称为活动对象在这种情况下期货是中心语言，被多种语言使用。期货提供了一种灵活的方式来交流和共享计算结果。然而，未来是有代价的，例如在底层实现支持方面，包括垃圾收集。特别是，这给物联网系统带来了一个问题。
本文的目的是重新考虑和讨论未来的机制，并将该机制与其他替代机制进行比较，评估表现力、效率以及句法和语义复杂性等因素，包括推理的容易程度。我们将讨论局限于设置命令式活动对象，并探讨各种机制及其弱点和优点。一个令人惊讶的结果（至少对作者而言）是，在这种情况下，期货的需求似乎被高估了。

引用于3文件

MSC公司：

64岁以下 分布式系统
68平方米 计算机系统环境下的性能评估、排队和调度

关键词：

活动对象;异步方法;相互作用机制;并发;分布式系统;期货;协同调度

软件：

J盒;AmbientTalk公司;ABCL公司;防抱死制动系统;甲酚;丽贝卡;Multilisp公司;积极主动
PDF格式BibTeX公司 XML格式引用
\textit{F.Karami}等人，J.Log。阿尔盖布。方法计划。103、154--183（2019年；Zbl 1417.68023）
全文： DOI程序

参考文献：

[1] 伊莎贝尔·阿塔利；丹尼斯·卡罗梅尔（Denis Caromel）；Henrio，Ludovic；Luna Del Aguila，Felipe，异步顺序过程的安全信息流，Electron。注释Theor。计算。科学。，180, 1, 17-34 (2007) ·Zbl 1277.68159号
[2] 贝克，H。；Hewitt，C.，进程的增量垃圾收集，ACM SIGPLAN Not。，1977年12月55日至59日
[3] Frank De Boer；塞尔维亚人，弗拉德；雷纳·Hähnle；Henrio，Ludovic；贾斯汀·罗恰斯（Justine Rochas）；Din，Crystal Chang；约翰森（Einar Broch Johnsen）；Sirjani，Marjan；哈梅斯帕纳，埃桑；Fernandez-Reyes，Kiko；Yang，Albert Mingkun，主动对象语言调查，ACM Compute。调查。，50、5、76（2017）
[4] Stephan Brandauer；埃利亚斯·卡斯特格林；戴夫·克拉克（Dave Clarke）；Fernandez-Reyes，Kiko；约翰森（Einar Broch Johnsen）；I Pun，Ka；Tapia Tarifa，S.Lizeth；托拜厄斯·Wrigstad；Yang，Albert Mingkun，《多核的并行对象：并行语言Encore一瞥》，（计算机、通信和软件系统设计的形式方法国际学校，计算机、通信与软件系统设计形式方法国际学院，Lect.Notes Compute.Sci.，第9104卷（2015），施普林格），1-56
[5] 丹尼斯·卡罗梅尔（Denis Caromel）；克里斯蒂安·德尔贝（Christian Delbé）；亚历山大·迪·科斯坦佐；Leyton，Mario，Proactive:在网格和P2P系统上编程和运行应用程序的集成平台，计算。方法科学。技术。，12, 1, 16 (2006)
[6] 丹尼斯·卡罗梅尔（Denis Caromel）；Henrio，Ludovic，分布式对象理论：异步-移动-组-组件（2005），Springer·Zbl 1084.68012号
[7] Ole-Johan Dahl；Owe，Olaf，《形式方法与RM-ODP》（1998），奥斯陆大学信息学系：奥斯陆挪威大学信息学部，研究报告261
[8] 杰西·德德克；Tom Van Cutsem；莫斯科，斯迪恩；提奥·D’Hondt；De Meuter，Wolfgang，AmbientTalk中的面向环境编程，（欧洲面向对象编程会议（ECOOP’06）。欧洲面向对象编程会议（ECOOP’06），Lect。票据计算。科学。，第4067卷（2006），施普林格），230-254
[9] Dijkstra，Edsger W.，保护命令，程序的不确定性和形式推导，Commun。ACM，18，8，453-457（1975年8月）·Zbl 0308.68017号
[10] Chang Din，水晶；Johan Dovland；Owe，Olaf，《关于共享未来的组合推理》（Software Engineering and Formal Methods，软件工程与形式方法，Lect.Notes Compute.Sci.，vol.7504（2012），Springer），94-108·Zbl 1315.68192号
[11] Chang Din，水晶；Owe，Olaf，一个健全完整的推理系统，用于与共享未来进行异步通信，J.Log。代数方法程序。，83, 5-6, 360-383 (2014) ·Zbl 1371.68190号
[12] 杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Talcott，C.，《关于maude的一切：高性能逻辑框架》，Lect。票据计算。科学。，第4350卷（2007）·Zbl 1115.68046号
[13] Fernandez-Reyes，Kiko；戴夫·克拉克（Dave Clarke）；Daniel S.McCain，《部分：推测管道计算的异步并行抽象》，（国际协调语言和模型会议（2016），Springer），101-120
[14] Reiner，Hähnle，《抽象行为规范语言：教程简介》，（组件和对象形式化方法国际研讨会（FMCO 2012）。组件和对象形式化方法国际研讨会（FMCO 2012），Lect。票据计算。科学。，第7866卷（2012），施普林格），1-37
[15] Halstead，Robert H.，Multilisp:并发符号计算语言，ACM Trans。程序。语言系统。，7, 4, 501-538 (1985) ·Zbl 0581.68037号
[16] Henrio，Ludovic；穆罕默德·乌扎尔（Muhammad Uzair Khan）；纳迪亚·拉纳尔多；齐梅奥（Zimeo）、尤金尼奥（Eugenio），《一级期货：更新策略的规范和实施》（Euro-Par Workshops（2010），施普林格出版社），295-303
[17] Henrio，Ludovic；Rochas，Justine，多活动对象及其应用程序，日志。方法计算。科学。，13、4、1-41（2017年11月）·Zbl 1398.68087号
[18] 卡尔·休伊特；彼得·主教；理查德·斯泰格（Richard Steiger），《第8讲人工智能的形式主义——人工智能的通用模块行动者形式主义》（Session 8 formalisms for artificial intelligence a universal modular actor formalism for artifical intelligation），《会议论文》（Advance Papers of the Conference
[19] Charles A.R.Hoare，《计算机编程的公理基础》，Commun。ACM，第12、10、576-580页（1969年）·Zbl 0179.23105号
[20] 约翰森（Einar Broch Johnsen）；Jasmin Christian布兰切特；马塞尔·凯斯；Owe，Olaf，对象内与对象间：Creol中的并发和推理，（第二届利用软件工具支持理论国际研讨会论文集（TTS'08））。第二届软件工具支持理论应用国际研讨会论文集（TTSS’08），电子版。注释Theor。计算。科学。，第243卷（2009）），第89-103页
[21] 布罗克·约翰森（Broch Johnsen），埃纳尔（Einar）；雷纳·Hähnle；Schäfer，一月；鲁道夫·施拉特；Steffen，Martin，ABS：抽象行为规范的核心语言，（组件和对象的形式方法。组件和对象形式方法，Lect.Notes Compute.Sci.，第6957卷（2011），Springer），142-164
[22] 约翰森（Einar Broch Johnsen）；Owe，Olaf，分布式并发对象的异步通信模型，Softw。系统。型号。，6, 1, 39-58 (2007)
[23] 布罗克·约翰森（Broch Johnsen），埃纳尔（Einar）；奥威，奥拉夫；Arnestad，Marte，合并并发对象中的主动行为和反应行为，（挪威信息学会议（NIK’03）（2003年11月），Tapir），193-204
[24] 约翰森（Einar Broch Johnsen）；Owe、Olaf；Yu，Ingrid Chieh，Creol：分布式并发系统的类型安全面向对象模型，Theor。计算。科学。，365, 1-2, 23-66 (2006) ·Zbl 1118.68031号
[25] Owe，Olaf，面向对象和分布式系统的可验证编程，（Petre，Luigia；Sekerinski，Emil，From Action systems to distributed systems-The Refining Approach（2016），Chapman and Hall/CRC），61-79
[26] Owe、Olaf；Ramezanifarkhani，Toktam，并发面向对象系统中交互的机密性，（数据隐私管理、加密货币和区块链技术。数据隐私管理，加密货币和块链技术，Lect.Notes计算科学，第10436卷（2017），Springer），19-34
[27] Owe、Olaf；Ryl，Isabelle，OUN:开放、面向对象、分布式系统的形式主义（1999年8月），奥斯陆大学信息学系：奥斯陆挪威大学信息学部，研究报告270
[28] 尼罗法尔·拉扎维；贝贾蒂（Behjati），拉齐耶（Razieh）；哈米德·萨布里；哈梅斯帕纳，埃桑；阿明·沙利；Sirjani，Marjan，Sysfier:systemC基于actor的形式验证，ACM Trans。嵌入。计算。系统。，10, 2, 19 (2010)
[29] Schäfer，一月；Poetzsch-Heffter，Arnd，JCoBox:将活动对象泛化为并发组件，（ECOOP 2010-面向对象编程，第6183卷（2010）），275-299
[30] Sirjani，Marjan；德波尔，弗兰克；阿里·莫瓦加尔（Ali Movaghar）；Shali，Amin，Extended Rebeca：一种具有同步消息传递的基于组件的参与者语言，（并发性在系统设计中的应用，第五届ACSD国际会议2005（2005），IEEE），212-2212005
[31] Sirjani，Marjan；阿里·莫瓦加尔（Ali Movaghar）；Mousavi，Mohammad Reza，反应系统基于对象模型的合成验证，（关键系统自动验证研讨会论文集（AVoCS'01），英国牛津（2001），Citeser），114-118
[32] 马尔詹·西尔贾尼；阿里·莫瓦加尔（Ali Movaghar）；阿明·沙利；De Boer，Frank S.，《使用Rebeca，Fundam对反应系统进行建模和验证》。通知。，63, 4, 385-410 (2004) ·Zbl 1082.68007号
[33] Soundarajan，Neelam，通信顺序过程的公理化语义，ACM Trans。程序。语言系统。，6, 646-662 (1984) ·Zbl 0542.68013号
[34] （Yonezawa，Akinori，ABCL:一个面向对象的并发系统（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥，美国）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。