×
埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu，Ingrid Chieh女士

Creol：分布式并发系统的一种类型安全的面向对象模型。 （英语） Zbl 1118.68031号

西奥。计算。科学。 365，第1-2期，23-66（2006）.
摘要：面向对象的分布式计算对于社会中的关键基础设施越来越重要。在标准的面向对象模型中，对象在方法调用上同步。这些模型在分布式环境中可能会因其通信和同步的紧密耦合而受到批评；网络延迟和不稳定性可能在本地导致大量等待，甚至死锁。Creol模型通过方法调用和同步的松散耦合以分布式对象为目标。异步方法调用和高级本地控制结构允许本地计算适应网络的不稳定性。对象变量是由接口类型化的，因此与远程对象的通信独立于它们的实现。克理奥尔语的遗传和亚型关系是不同的。接口形成子类型层次结构，而多重继承用于类级别的代码重用。本文介绍了Creol语法、操作语义和类型系统。结果表明，对于类型良好的程序，不会发生运行时类型错误。

引用于25文件

MSC公司：

64岁以下 分布式系统

关键词：

分布式面向对象系统;类型和效果系统;类型稳健性

软件：

PolyTOIL公司;甲酚;模拟67;ABCL公司;轻量级Java;莫德;艾菲尔;CLOS公司;OBJ3型;皮克特
PDF格式BibTeX公司 XML格式引用
\textit{E.B.Johnsen}等人，Theor。计算。科学。365，编号1--2，23-66（2006；Zbl 1118.68031）
全文： 内政部

参考文献：

[1] M.阿巴迪。；Cardelli，L.，《物体理论》。计算机科学专著（1996），施普林格：柏林施普林格·Zbl 0876.68014号
[2] 布拉哈姆·穆姆，E。；de Boer，F.S。；德罗弗，W.-P。；Steffen，M.，验证Java的可重入多线程概念，（软件科学和计算结构基础国际会议（FOSSACS’02），计算机科学讲稿，第2303卷（2002年4月），Springer:Springer-Berlin），5-20·Zbl 1077.68552号
[3] Agha，G.A.，抽象交互模式：开放分布式系统的编程范式，（Najm，E.；Stefani，J.-B.，Proc.First IFIP Internal.Conf.on Formal Methods for open Object based distributed systems（FMOODS’96）。程序。第一个IFIP Internat。开放式基于对象的分布式系统形式方法会议（FMOODS’96），查普曼和霍尔，伦敦（1996），135-153
[4] Agha，G.A。；梅森，I.A。；史密斯，S.F。；Talcott，C.L.，演员计算基础，J.Funct。编程，7，1，1-72（1997）·Zbl 0870.68091号
[5] 美国，P。；van der Linden，F.，《一种具有继承和子类型的并行面向对象语言》（Meyrowitz，N.，《面向对象编程系统的程序配置》（Proc.Conf.on object-oriented Programming Systems，Languages，and Applications，OOPSLA），第25卷（10），美国计算机学会出版社，纽约（1990年10月），161-168
[6] Andrews，G.R.，《多线程、并行和分布式编程基础》（2000），Addison-Wesley:Addison-Whesley Reading，MA
[7] 阿塔利，I。；Caromel，D。；Ehmety，S.O.，埃菲尔动态绑定的自然语义，ACM Trans。在程序上。语言与系统，18，6，711-729（1996）
[8] 北卡罗来纳州本顿。；Cardelli，L。；Fournet，C.，《现代并发抽象（C^\sharp\）》，ACM Trans。在程序上。语言与系统，26，5，769-804（2004）
[9] 贝蒂尼，L。；波诺，V。；尼古拉·R·D。；法拉利，G.L。；戈拉，D。；洛雷蒂，M。；莫吉，E。；Pugliese，R。；Tuosto，E。；Venneri，B.，Klaim项目：理论与实践，（Priami，C.，全球计算、编程环境、语言、安全和系统分析，计算机科学讲义，第2874卷（2003年），施普林格：施普林格柏林），88-150·Zbl 1179.68027号
[10] Bracha，G。；Cook，W.，基于Mixin-based的继承，（Meyrowitz，N.，《面向对象编程：系统、语言和应用程序/欧洲会议》，面向对象编程会议（1990），ACM出版社：纽约ACM出版社），303-311
[11] Brinch Hansen，P.，Java的不安全并行，ACM SIGPLAN Not。，34、4、38-45（1999年4月）
[12] Bruce，K.B.，《面向对象语言的基础：类型和语义》（2002年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥
[13] 布鲁斯，K.B。；舒特，A。；范根特，R。；Fiech，A.，PolyTOIL：一种类型安全的多态面向对象语言，ACM Trans。在程序上。语言与系统，25，2，225-290（2003）
[14] Cardelli，L.，《多重继承的语义》，Inform。和计算。，76, 2-3, 138-164 (1988) ·Zbl 0651.68017号
[15] Cardelli，L.，一种分布式范围的语言，计算。系统，8，1，27-59（1995）
[16] Caromel，D。；Roudier，Y.，《埃菲尔的反应式编程》//，（Briot，J.-P.；Geib，J.M.；Yonezawa，A.，《基于对象的并行和分布式计算的Proc.Conf.》，《计算机科学讲稿》，第1107卷（1996），《Springer:Springer Berlin》，125-147
[17] 北卡罗来纳州Carriero。；Gelernter，D.，Linda in context，美国医学会委员会，32，4，444-458（1989）
[18] Cenciarelli，P。；Knapp，A。；重用，B。；Wirsing，M.，《多线程Java的基于事件的结构操作语义》（Alves-Foss，J.，《Java的形式语法和语义》，计算机科学讲义，第1523卷（1999），Springer:Springer-Berlin），157-200
[19] 钱伯斯，C。；Ungar，D。；Chang，B.-W。；Hölzle，U。，父对象是对象的共享部分：在SELF、Lisp和符号计算中的继承和封装。，4, 3, 207-222 (1991)
[20] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Quesada，J.F.，Maude:重写逻辑中的规范和编程，Theoret。计算。科学。，285187-243（2002年8月）·Zbl 1001.68059号
[21] 库克·W·。；Palsberg，J.，《继承及其正确性的指称语义》，Inform。和计算。，114、2、329-350（1994年11月）
[22] W.R.Cook，W.L.Hill，P.S.Canning，《继承不是子类型》，收录于：第17届ACM交响乐团。《程序设计语言原理》（POPL'90），美国计算机学会出版社，纽约，1990年1月，第125-135页。；W.R.Cook，W.L.Hill，P.S.Canning，《继承不是子类型》，收录于：第17届ACM交响乐团。《程序设计语言原理》（POPL'90），美国计算机学会出版社，纽约，1990年1月，第125-135页·Zbl 0837.68061号
[23] 库戈拉，G。；Ghezzi，C.，CJava：《Java中并发对象的引入》，（Orlowska，M.E.；Zicari，R.，第四届面向对象信息系统国际会议（OOIS’97）。第四国际。面向对象信息系统会议（OOIS'97），施普林格，柏林（1997），504-514
[24] Dahl，O.-J.，《重访的监督员》（Roscoe，A.W.，《古典思维》，C.A.R.Hoare荣誉论文（1994），普伦蒂斯·霍尔：普伦蒂塞·霍尔恩格尔·伍德悬崖，新泽西州），93-103
[25] O.-J.Dahl，B.Myrhaug，K.Nygaard，（Simula 67）公共基础语言。技术报告S-2，挪威Regnesentral（挪威计算中心），挪威奥斯陆，1968年5月。；O.-J.Dahl，B.Myrhaug，K.Nygaard，（Simula 67）公共基础语言。技术报告S-2，挪威计算中心，挪威奥斯陆，1968年5月。
[26] W.Damm，B.Josko，A.Pnueli，A.Votintseva，《理解UML：实时UML中并发和通信的形式语义》，收录于：F.S.de Boer，M.M.Bonsangue，S.Graf，W.P.de Roever（编辑），First Internat。交响乐团。组件和对象的形式化方法（FMCO 2002），《计算机科学讲义》，第2852卷，施普林格，柏林，2003年，第71-98页。；W.Damm，B.Josko，A.Pnueli，A.Votintseva，《理解UML：实时UML中并发和通信的形式语义》，收录于：F.S.de Boer，M.M.Bonsangue，S.Graf，W.P.de Roever（编辑），First Internat。交响乐团。组件和对象的形式化方法（FMCO 2002），计算机科学课堂讲稿，第2852卷，施普林格，柏林，2003年，第71-98页·Zbl 1254.68140号
[27] L.G.DeMichiel，R.P.Gabriel，《通用lisp对象系统：概述》，载于：J.Bézivin，J.-M.Hullot，P.Cointe，H.Lieberman（编辑），《面向对象编程欧洲会议》（ECOOP’87），《计算机科学讲义》，第276卷，柏林斯普林格出版社，1987年，第151-170页。；L.G.DeMichiel，R.P.Gabriel，《通用lisp对象系统：概述》，收录于：J.Bézivin，J.-M.Hullot，P.Cointe，H.Lieberman（编辑），《面向对象编程欧洲会议》（ECOOP’87），《计算机科学讲义》，第276卷，柏林斯普林格出版社，1987年，第151-170页。
[28] Di Blasio，P。；Fisher，K.，《并发对象的微积分》，（Montanari，U.；Sassone，V.，Seventh Internat.Conf.on Concurrency Theory（CONCUR’96），《计算机科学讲义》，第1119卷。第七国际。并发理论会议（CONCUR’96），计算机科学讲稿，第1119卷，柏林斯普林格（1996年8月），655-670·兹比尔1514.68163
[29] Dijkstra，E.W.，《保护命令、程序的不确定性和形式推导》，《美国陆军司令部司令》，第18、8、453-457页（1975年）·Zbl 0308.68017号
[30] Dijkstra，E.W.，《程序设计学科》（1976），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0286.00013号
[31] J.Dovland，E.B.Johnsen，O.Owe，使用异步方法调用验证并发对象，in：Proc。IEEE国际。软件科学、技术与工程（SwSTE'05），IEEE计算机社会出版社，马里兰州银泉出版社，2005年2月，第141-150页。；J.Dovland，E.B.Johnsen，O.Owe，使用异步方法调用验证并发对象，in：Proc。IEEE国际。软件科学、技术与工程（SwSTE'05），IEEE计算机社会出版社，马里兰州银泉出版社，2005年2月，第141-150页。
[32] Drossopoulou，S。；达米亚尼，F。；Dezani-Ciancaglini，M。；Giannii，P.，更多动态对象重新分类：\（\operatorname{菲克尔}_{\operatorname{II}}\），ACM事务。在程序上。语言与系统，24，2，153-191（2002）
[33] C.Fournet，G.Gonthier，《反身化学抽象机和联合演算》，收录于：ACM Symp。《程序设计语言原理》，1996年，第372-385页。；C.Fournet，G.Gonthier，《反身化学抽象机和联合演算》，收录于：ACM Symp。《编程语言原理》（POPL），1996年，第372-385页。
[34] Goguen，J.A。；温克勒，T。；梅塞盖尔，J。；Futatsugi，K。；Jouannaud，J.-P.，《介绍OBJ》（Goguen，J.A.；Malcolm，G.，《OBJ软件工程：代数规范的实际应用，形式方法的进展》（2000），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），3-167，（第1章）
[35] 戈登，A.D。；Hankin，P.D.，《并发对象演算：约简和类型》（Nestmann，U.；Pierce，B.C.，HLCL’98：高级并发语言，理论计算机科学电子笔记，第16卷（3）（1998），Elsevier Science出版社：Elsevie Science Publishers Amsterdam）·Zbl 0917.68064号
[36] J.Gosling，B.Joy，G.L.Steele，G.Bracha，《Java语言规范》，Java系列，第二版，Addison Wesley，Reading，MA，2000。；J.Gosling，B.Joy，G.L.Steele，G.Bracha，《Java语言规范》，Java系列，第二版，Addison-Wesley，Reading，MA，2000年·Zbl 0865.68001号
[37] 海尔珀，B。；Osser，H.，《扩展对象以支持多个接口和访问控制》，IEEE Trans。软件工程，16，11，1247-1257（1990）
[38] Hoare，C.A.R.，《监视器：操作系统结构概念》，ACM Comm.，17，10，549-557（1974）·Zbl 0308.68029号
[39] Hoare，C.A.R.，《通信顺序过程》，《计算机科学国际丛书》（1985年），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0637.68007号
[40] 本田，K。；Tokoro，M.，异步通信的对象微积分，（美国，P.，面向对象编程欧洲会议论文集（ECOOP’91），计算机科学讲义，第512卷（1991），施普林格：施普林格柏林），133-147
[41] Igarashi，A。；皮尔斯，公元前。；Wadler，P.，《Featherweight Java：Java和GJ的最小核心演算》，ACM Trans。程序。语言与系统，23，3，396-450（2001）
[42] 国际电信联盟，开放分布式处理参考模型第1-4部分，技术报告，ISO/IEC，日内瓦，1995年7月。；国际电信联盟，开放分布式处理参考模型第1-4部分，技术报告，ISO/IEC，日内瓦，1995年7月。
[43] G.S.Itzstein，M.Jasiunas，《关于在Java中实现高级并发》，载于：A.Omondi，S.Sedukhin（编辑），Proc。第八届亚太计算机系统体系结构会议（ACSAC 2003），计算机科学讲稿，第2823卷，施普林格，柏林，2003年，第151-165页。；G.S.Itzstein，M.Jasiunas，《关于在Java中实现高级并发》，载于：A.Omondi，S.Sedukhin（编辑），Proc。第八届亚太计算机系统体系结构会议（ACSAC 2003），《计算机科学讲义》，第2823卷，柏林斯普林格，2003年，第151-165页。
[44] 约翰森，E.B。；Owe，O.，《对象观点的组合形式主义》（Jacobs，B.；Rensink，A.，Proc.Fifth Internat.Conf.on Formal Methods for Open object-Based Distributed Systems）（FMOODS'02）（2002年3月），Klüwer Academic Publishers:Klü），45-60·Zbl 1056.68103号
[45] 约翰森，E.B。；Owe，O.，面向对象规范和开放分布式系统，（Owe；O.；Krogdahl，S.；Lyche，T.，《从面向对象到形式方法：Ole-Johan Dahl记忆中的论文》，计算机科学讲稿，第2635卷（2004），Springer:Springer Berlin），137-164·兹比尔1278.68067
[46] E.B.Johnsen，O.Owe，存在异步方法调用时的继承。in：程序。第38届夏威夷国际。Conf.System Sciences（HICSS’05），IEEE Computer Society Press，Silver Spring，MD，2005年1月。；E.B.Johnsen，O.Owe，存在异步方法调用时的继承。in：程序。第38届夏威夷国际。Conf.System Sciences（HICSS’05），IEEE Computer Society Press，Silver Spring，MD，2005年1月。
[47] E.B.Johnsen，O.Owe，分布式并发对象的异步通信模型，软件和系统模型，2006，doi:10.1007/s10270-006-0011-2。；E.B.Johnsen，O.Owe，分布式并发对象的异步通信模型，软件和系统模型，2006年，doi:10.1007/s10270-006-0011-2。
[48] E.B.Johnsen，O.Owe，E.W.Axelsen，异步方法调用并发对象的运行时环境，收录于：N.Martí-Oliet（Ed.），Proc。第五届重写逻辑及其应用国际研讨会（WRLA’04），2004年3月，《理论计算机科学电子笔记》，第117卷，爱思唯尔科学出版社，阿姆斯特丹，2005年1月，第375-392页。；E.B.Johnsen，O.Owe，E.W.Axelsen，异步方法调用并发对象的运行时环境，收录于：N.Martí-Oliet（Ed.），Proc。第五届重写逻辑及其应用国际研讨会（WRLA’04），2004年3月，《理论计算机科学电子笔记》，第117卷，爱思唯尔科学出版社，阿姆斯特丹，2005年1月，第375-392页·Zbl 1272.68186号
[49] 约翰森，E.B。；Owe，O。；Simplot-Ryl，I.，异步并发对象的动态类构造，（Steffen，M.；Zavataro，G.，Proc.Seventh Internat.Conf.on Formal Methods for Open Object-Based Distributed Systems（FMOODS'05），计算机科学讲义，第3535卷（2005年6月），Springer:Springer Berlin），15-30
[50] Kiczales，G。；兰平，J。；Menhdhekar，A。；Maeda，C。；Lopes，C。；Loingtier，J.-M。；Irwin，J.，面向方面编程，（Akšit，M.；Matsuoka，S.，第11届欧洲面向对象编程大会（ECOOP’97），计算机科学讲稿，第1241卷（1997年6月），施普林格：施普林格柏林），220-242
[51] Krogdahl，S.，类模拟语言中的多重继承，BIT，25，2，318-326（1985）·Zbl 0566.68005号
[52] Laneve，C.，并发对象中的继承，（Bowman，H.；Derrick，J.，分布式处理的形式方法——面向对象方法的调查（2001），剑桥大学出版社：剑桥大学出版社，剑桥），326-353·Zbl 1256.68036号
[53] Liskov，B.H。；Shrra，L.，Promises:分布式系统中高效异步过程调用的语言支持，（Wise，D.S.，Proc.SIGPLAN Conf.on Programming Language Design and Implementation（PLDI’88）（1988年6月），ACM Press:ACM Press New York），260-267
[54] Liskov，B.H。；Wing，J.M.，子类型的行为概念，ACM Trans。程序。语言与系统，1811-1841年6月16日（1994年11月）
[55] 卢卡森，J.M。；Gifford，D.K.，《多态效应系统》，（Proc.15th Symp.Principles of Programming Languages（POPL'88）（1988），美国计算机学会出版社：美国计算机学会纽约出版社），47-57
[56] 松冈，S。；Yonezawa，A.，《面向对象并发编程语言中继承异常的分析》（Agha，G.；Wegner，P.；Yonezawa，A.），《并发面向对象编程的研究方向》（1993），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥），107-150
[57] Meseguer，J.，《作为并发统一模型的条件重写逻辑》，Theoret。计算。科学。，96, 73-155 (1992) ·Zbl 0758.68043号
[58] 梅塞盖尔，J。；Rosu，G.，《重写逻辑语义：从语言规范到形式化分析工具》，（Basin，D.A.；Rusinovitch，M.，Proc.Second Internat.Joint Conf.Automated Reasoning（IJCAR 2004），《计算机科学讲义》，第3097卷（2004），施普林格：施普林格-柏林），1-44·Zbl 1126.68464号
[59] Meyer，B.，面向对象软件构建（1997），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯，新泽西州·Zbl 0987.68516号
[60] 米哈伊洛夫，L。；Sekerinski，E.，《脆弱基类问题的研究》（Jul，E.，第12届欧洲面向对象编程会议（ECOOP），计算机科学讲稿，第1445卷（1998），施普林格：施普林格柏林），355-382
[61] G.Milcia，V.Sassone，《遗传异常：十年后》，摘自：Proc。2004年ACM交响乐团。《应用计算》，美国计算机学会出版社，纽约，2004年，第1267-1274页；G.Milcia，V.Sassone，《遗传异常：十年后》，摘自：Proc。2004年ACM交响乐团。《应用计算》，美国计算机学会出版社，纽约，2004年，第1267-1274页
[62] Milner，R.，《通信和移动系统：（pi）-微积分》（1999年5月），剑桥大学出版社：剑桥大学出版社·Zbl 0942.68002号
[63] Najm，E。；Stefani，J.-B.，ODP计算模型的形式语义，Comput。网络和ISDN系统，271305-1329（1995）
[64] Nierstrasz，O.，《Hybrid-A语言与活动对象编程之旅》（Mandrioli，D.；Meyer，B.，《面向对象软件工程进展》（1992），普伦蒂斯·霍尔：普伦蒂塞·霍尔恩格尔伍德克利夫斯，新泽西），167-182·Zbl 0814.68049号
[65] Odersky，M。；克雷米特，V。；Röckl，C。；Zenger，M.，具有依赖类型的对象的名义理论，（Cardelli，L.，Proc.第17届欧洲面向对象编程会议（ECOOP 2003），计算机科学讲稿，第2743卷（2003），Springer:Springer Berlin），201-224
[66] Philippsen，M.，《并发面向对象语言调查》，《并发：实践》。和经验，12，10，917-980（2000年8月）·兹比尔1120.68378
[67] Pierce，B.C.，《类型和编程语言》（2002），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥·兹比尔0995.68018
[68] 皮尔斯，公元前。；Turner，D.N.，Pict:一种基于pi-calculus的编程语言，（Plotkin，G.；Stirling，C.；Tofte，M.，《证明、语言和交互：纪念罗宾·米尔纳的论文》（1998），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥）
[69] 罗西·J·G。；弗里德曼，D.P。；Wand，M.，基于子对象的继承建模，（Cointe，P.，第十届面向对象编程欧洲会议（ECOOP'96），计算机科学讲义，第1098卷（1996），Springer:Springer-Berlin），248-274
[70] Schärli，N。；杜卡斯，S。；O.尼尔斯特拉斯。；Black，A.P.，《特征：可组合的行为单元》，（Cardelli，L.，Proc.17th European Conf.on Object Oriented Programming（ECOOP 2003），《计算机科学讲义》，第2743卷（2003），施普林格：施普林格柏林），248-274
[71] Snyder，A.，《封装软件系统的继承和开发》，（Shriver，B.；Wegner，P.，《面向对象编程研究方向》（1987），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），165-188
[72] Soundarajan，N。；Fridella，S.，《继承：从代码重用到推理重用》，（Devanbu，P.；Poulin，J.，Proc.Fifth Internat.Conf.on Software reuse（ICSR5）（1998），IEEE Computer Society Press:IEEE Compute Socility Press Silver Spring，MD），206-215
[73] Stroustrup，B.，C++的多重继承，计算。系统，2，4，367-395（1989年12月）
[74] Talpin，J.-P。；Jouvelot，P.，《多态类型、区域和效应推断》，J.Funct。编程，2，3，245-271（1992）·Zbl 0817.68099号
[75] M.VanHilst，D.Notkin，《使用角色组件实现基于协作的设计》，见：Proc。《面向对象编程、系统、语言和应用会议》（OOPSLA’96），ACM出版社，纽约，1996年，第359-369页。；M.VanHilst，D.Notkin，《使用角色组件实现基于协作的设计》，见：Proc。《面向对象编程、系统、语言和应用会议》（OOPSLA’96），ACM出版社，纽约，1996年，第359-369页。
[76] V.T.Vasconcelos，《打字并发对象》，M.Tokoro，R.Pareschi（编辑），Proc。第八届欧洲面向对象编程会议（ECOOP’94），计算机科学讲稿，第821卷，施普林格，柏林，1994年，第100-117页。；V.T.Vasconcelos，《打字并发对象》，M.Tokoro，R.Pareschi（编辑），Proc。第八届欧洲面向对象编程会议（ECOOP’94），《计算机科学讲义》，第821卷，施普林格，柏林，1994年，第100-117页·Zbl 0875.00133号
[77] Walker，D.，《（pi）演算中的对象》，Inform。和计算。，116、2、253-271（1995年2月）·兹伯利0828.68043
[78] Wirfs-Brock，R.J。；Johnson，R.E.，《调查面向对象设计的当前研究》，ACM委员会，33，9，104-124（1990）
[79] 约科特，Y。；Tokoro，M.，《ConcurrentSmalltalk中的并发编程》（Yonezawa，A.；Tokoro
[80] Yonezawa，A.，《ABCL:一个面向对象的并发系统》，《计算机系统丛书》（1990年），麻省理工学院出版社：麻省理学院出版社，剑桥
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。