×
Din、Crystal Chang;Owe、Olaf

关于具有共享未来的活动对象的合成推理。 （英语） Zbl 1343.68166号

正式Asp。计算。 27，第3期，551-572（2015）.

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）
68问题55 计算理论中的语义学
第68季度第60季度 规范和验证（程序逻辑、模型检查等）

关键词：

分布式系统;对象方向;并发对象;异步通信;共享的未来;操作语义学;通信历史;组装推导;动态逻辑

软件：

艾菲尔;MapReduce;Multilisp公司;莫德;小爪哇
PDF格式BibTeX公司 XML格式引用
\textit{C.C.Din}和\textit{O.Owe}，正式Asp。计算。27，第3号，551--572（2015；Zbl 1343.68166）
全文： 内政部

参考文献：

[1] Ahrendt W，Dylla M（2012）异步对象合成验证系统。科学计算程序。77(12):1289-1309. doi:10.1016/j.scico.2010.08.003·Zbl 1264.68050号
[2] Agha G、Frölund S、Kim WY、Panwar R、Patterson A、Sturman D（1993）并发计算的抽象和模块化机制。并行分配技术系统应用IEEE 1（2），3-14·数字对象标识代码：10.1109/88.218170
[3] A brahám E，Grabe I，Grüner A，Steffen m（2009）《面向对象语言与未来和承诺的行为界面描述》。J对数代数程序78（7），491-518·Zbl 1187.68130号 ·doi:10.1016/j.jlap.2009.01.01
[4] Alpern B，Schneider FB（1985）定义活力。Inf过程Lett 21（4），181-185·Zbl 0575.68030号 ·doi:10.1016/0020-0190（85）90056-0
[5] Ahern A，Yoshida N（2007）通过显式代码迁移将javarmi形式化。《计算机科学》389（3）：341-410。全球计算的语义和逻辑基础·Zbl 1132.68020号
[6] Beckert B，Hähnle R，Schmitt PH（eds）（2007）《面向对象软件的验证：KeY方法》。LNCS，第4334卷。柏林施普林格·Zbl 1202.68092号
[7] Baker Jr HG，Hewitt C（1977）《过程的增量垃圾收集》。摘自：美国纽约州纽约市1977年人工智能和编程语言研讨会论文集，ACM，第55-59页
[8] Brooke PJ，Paige RF（2009）客串：艾菲尔的另一种并发模型。表Asp计算21（4），363-391·Zbl 1184.68150号 ·doi:10.1007/s00165-008-0096-1
[9] Broy M，Stölen K（2001）交互系统的规范和开发。计算机科学专著。施普林格·Zbl 0981.68115号 ·doi:10.1007/978-1-4613-0091-5
[10] Clavel M、Durán F、Eker S、Lincoln P、Martí-Oliet n、Meseguer J、Talcott CL（2007）《关于Maude的一切——高性能逻辑框架》，如何在重写逻辑中指定、编程和验证系统。LNCS，第4350卷。柏林施普林格·Zbl 1115.68046号
[11] Dahl O-J（1977）程序证明是否可行？收录：Amirchahy M，Néel D（eds）Les Fondements de la Programmation。法国图卢兹信息与自动化研究所，1977年12月，第57-114页
[12] Dahl O-J（1987）面向对象规范。在：面向对象编程的研究方向。麻省理工学院出版社，剑桥，第561-576页·Zbl 1187.68130号
[13] Dahl O-J（1992）可验证编程。计算机科学国际系列。纽约普伦蒂斯·霍尔·Zbl 0790.68005号
[14] de Boer FS（2002）异步通信确定性过程的动态网络的Hoare逻辑。Theor Compute Sci计算机科学274，3-41·Zbl 0992.68026号 ·doi:10.1016/S0304-3975（00）00304-2
[15] de Boer FS、Clarke D、Johnsen EB（2007）《未来的完整指南》。在：de Nicola R（ed）第16届欧洲编程研讨会论文集（ESOP'07），2007年3月。LNCS，第4421卷。柏林施普林格，pp 316-330·Zbl 1475.68045号
[16] Din CC，Dovland J，Johnsen EB，Owe O（2012）分布式系统的可观察行为：并发对象的组件推理。J Log Algebr程序81（3），227-256·Zbl 1247.68184号 ·doi:10.1016/j.jlap.2012.01.003
[17] Din CC，Dovland J，Owe O（2012）关于并发对象和未来的组合推理方法。研究报告415，奥斯陆大学信息学系，2012年2月。http://urn.nb.no/urn:NBN:否-30589 ·Zbl 1315.68192号
[18] Din CC、Dovland J、Owe O（2012）《关于共享期货的成分推理》。收录：Eleftherakis G、Hinchey M、Holcombe M（eds）《软件工程与形式方法国际会议论文集》（SEFM’12）。LNCS，第7504卷。柏林施普林格，第94-108页·兹比尔1315.68192
[19] Dean J，Ghemawat S（2008）MapReduce:大型集群上的简化数据处理。Commun公司。ACM 51（1），107-113·数字对象标识代码：10.1145/1227452.1327492
[20] Dovland J，Johnsen EB，Owe O（2005）使用异步方法调用验证并发对象。摘自：2005年2月IEEE软件科学、技术和工程国际会议论文集（SwSTE'05）。IEEE计算机学会出版社，第141-150页
[21] Dahl O-J，Owe O（1998）形式方法和RM-ODP。研究报告261，挪威奥斯陆大学信息学系，1998年5月
[22] de Roever W-P，de Boer F，Hannemann U，Hooman J，Lakhnech Y，Poel M，Zwiers J（2001）《并发验证：合成和非置换方法介绍》。剑桥大学出版社，纽约·Zbl 1009.68020号
[23] Falkner KEK，Coddington PD，Oudshoorn MJ（1999）用java实现异步远程方法调用·Zbl 0961.68511号
[24] 完整ABS建模框架（2011年）。项目FP7-231620（HATS）的可交付成果1.2。http://www.hats-project.eu
[25] Halstead RH Jr（1985）Multilisp：一种用于并发符号计算的语言。ACM Trans程序语言系统7（4），501-538·Zbl 0581.68037号 ·数字对象标识代码：10.1145/4472.4478
[26] Hoare CAR（1985）通信顺序过程。计算机科学国际系列。英格伍德悬崖普伦蒂斯·霍尔·Zbl 0637.68007号
[27] 国际电信联盟（1995）开放分布式处理参考模型第1-4部分。技术报告，ISO/IEC，日内瓦，1995年7月
[28] Johnsen EB，Owe O（2004）面向对象规范和开放分布式系统。收录：Owe O，Krogdahl S，Lyche T（编辑）从面向对象到形式方法：纪念Ole-Johan Dahl的散文。LNCS，第2635卷。柏林施普林格，第137-164页·Zbl 1278.68067号
[29] Johnsen EB，Owe O（2007）分布式并发对象的异步通信模型。Softw系统模型6（1），35-58·doi:10.1007/s10270-006-0011-2
[30] Jeffrey ASA，Rathke J（2005）Java Jr.：核心Java语言的完全抽象跟踪语义。摘自：欧洲编程研讨会论文集。LNCS，第3444卷。柏林施普林格，第423-438页·Zbl 1108.68349号
[31] Liskov BH，Shrra L（1988）《承诺：分布式系统中高效异步过程调用的语言支持》。摘自：Wise DS（ed）SIGPLAN编程语言设计与实现会议记录（PLDI’88）。ACM出版社，第260-267页
[32] Morandi B、Bauer SS、Meyer B（2008）SCOOP——基于契约的并发面向对象编程模型。参加：缪勒·P（编辑）软件工程高级讲座，2007/2008年激光暑期学校。计算机科学讲义，第6029卷。柏林施普林格，第41-90页
[33] Meseguer J（1992）条件重写逻辑作为并发的统一模型。Theor Compute Sci计算机科学96，73-155·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F
[34] Meyer B（1993）系统并发面向对象编程。Commun公司。ACM 36（9），56-80·数字对象标识代码：10.1145/162685.162705
[35] Meyer B（1997）面向对象的软件构造。第二版Prentice-Hall公司·Zbl 0987.68516号
[36] Soundararajan N V通信顺序过程的公理语义。ACM Trans程序语言系统6（4），647-662·Zbl 0542.68013号 ·doi:10.1145/1780.1805
[37] Soundararajan N（1984）并行程序的一种证明技术。《计算机科学》31（1-2），13-29·兹伯利0543.68010 ·doi:10.1016/0304-3975（84）90122-1
[38] Yonezawa A，Briot J-P，Shibayama E（1986）ABCL/1中面向对象的并发编程。参加：面向对象编程系统、语言和应用会议（OOPSLA’86）。Sigplan通知，第21卷，第11号，第258-268页，1986年11月
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。