×
洛伦佐·贝蒂尼；洛科·德尼古拉；罗萨里奥·普格利泽

Klava：一个用于分布式和移动应用程序的Java包。 （英语） Zbl 1009.68933号

软件。实践与经验 32，第14期，1365-1394（2002）.
摘要：高度分布式网络现已成为广域分布式应用程序的常见基础设施，其关键设计原则是网络感知，即处理网络环境动态变化的能力。网络软件计算要求使用新的编程语言，将移动性范式作为基本的交互机制。本文介绍了KLAVA的体系结构，这是一个用于分布式应用程序和代码移动的实验性Java包。我们描述了KLAVA如何通过依赖Java实现代码移动，并介绍了一些利用KLAVA中编程的移动代码的分布式应用程序。

引用于7文件

MSC公司：

68单位99 计算方法和应用
68甲15 编程语言理论
68号01 软件理论的一般主题
68甲19 其他编程范式（面向对象、顺序、并发、自动等）

关键词：

代码移动性；分布式应用程序；网络意识；语言和中间件实现；元组空间；Java语言

软件：

石灰；苏门答腊岛；克拉瓦
PDF格式BibTeX公司 XML格式引用
\textit{L.Bettini}等人，软件。，实际。专家。32，第14号，1365--1394（2002；Zbl 1009.68933）
全文： 内政部

参考文献：

[1] Thorn，美国计算机学会计算调查29第213页–（1997）
[2] 使用移动代码范例设计分布式应用程序。《第19届软件工程国际会议论文集》（ICSE’97），（编辑）。ACM出版社，1997年；22-33.
[3] Java编程语言（第三版）。艾迪森·韦斯利：雷丁，马萨诸塞州，2000年。
[4] 移动代理。软件代理（编辑）。AAAI出版社和麻省理工学院出版社，1996年。
[5] 苏门答腊语：一种用于资源软件移动程序的语言。移动对象系统MOS？走向可编程互联网（计算机科学讲义，第1222卷），（编辑）。施普林格，1997年；111-130. ·doi:10.1007/3-540-62852-5_10
[6] 使用Aglet编程和部署Java移动代理。艾迪森·韦斯利：雷丁，马萨诸塞州，1998年。
[7] 移动代理：他们是个好主意吗？1988年研究报告，IBM研究部，1994年。
[8] 移动计算。移动对象系统MOS？走向可编程互联网（计算机科学讲义，第1222卷），（编辑）。施普林格，1997年；3-6.
[9] 选择移动代理消息传递模型。ISADS 2001会议记录。IEEE出版社，2001年；278-286.
[10] Gelernter，《美国计算机学会编程语言与系统汇刊》，第7页，80–（1985）
[11] L{\（{}^2\）}imbo：一个基于元组空间的自适应移动应用程序平台。开放分布式处理/分布式平台国际会议（ICODP/ICDP’97），加拿大多伦多。查普曼和霍尔，1997年。
[12] ShaDE的ShaPE：一个协调系统。UBLCS 96-5技术报告，意大利博洛尼亚大学信息科学研究生，1996年。
[13] JavaSpaces原则、模式和实践。艾迪森·韦斯利：雷丁，马萨诸塞州，1999年。
[14] Linda中有多个元组空间。欧洲并行体系结构和语言会议记录（PARLE 89）（计算机科学讲义，第365卷），（编辑）。施普林格，1989年；20-27. ·doi:10.1007/3-540-51285-3_30
[15] 科学计算助理，康涅狄格州纽黑文。天堂：用户指南和参考手册。http://www.lindaspaces.com/products/paradise.html [2000].
[16] Carriero，Computer 28第40页–（1995）
[17] 基于安全空间的Agent协调模型。第三届协调模型和语言国际会议记录（计算机科学讲义，第1594卷），（编辑）。斯普林格，1999年；4-20.
[18] 包豪斯·琳达。并发系统的基于对象的模型和语言（计算机科学讲义，第924卷），（编辑）。斯普林格，1995年；66-76. ·doi:10.1007/3-540-59450-75
[19] 梅琳达：Linda有多个元组空间。技术报告RR YALEU/DCS/R-766，耶鲁大学计算机科学系，康涅狄格州纽黑文，1990年。
[20] Ciancarini，《ACM软件工程与方法汇刊》，第9页，167–（2000）
[21] De Nicola，IEEE软件工程汇刊24，第315页–（1998）
[22] Carriero，ACM Computing Surveys 21第323页–（1989）
[23] 与移动代理的个人断开连接操作。第三届个人无线通信研讨会论文集，PWC'98，东京，1998年。
[24] 分析移动代码语言。移动对象系统MOS？走向可编程互联网（计算机科学讲义，第1222卷），（编辑）。施普林格，1997年。
[25] 如何迁移代理。http://www.cs.ucsd.edu/？bsy网站 [1998].
[26] 用于电子会议场所的安全Tcl工具包。第一届USENIX电子商务研讨会会议记录，加州伯克利，USENIX-协会，1995年；133-135.
[27] 用于移动代理的Ara平台的体系结构。第一届移动代理国际研讨会论文集（MA'97）（计算机科学讲义，第1219卷），（编辑）。施普林格，1997年；50-61. ·doi:10.1007/3-540-62803-7_23
[28] TACOMA教会了我们什么：移动性、移动代理和进程迁移？编辑集，（编辑）。艾迪森·韦斯利：雷丁，马萨诸塞州，1998年。
[29] 鼹鼠？基于Java的移动代理系统。《奥地利林茨大学第二届移动对象系统ECOOP研讨会论文集》，施普林格出版社，1996年。
[30] Java 2平台安全内部：体系结构、API设计和实现。艾迪森·韦斯利：雷丁，马萨诸塞州，1999年。
[31] 类型作为访问策略的规范。《安全互联网编程：分布式和移动对象的安全问题》（计算机科学讲义，第1603卷），（编辑）。斯普林格，1999年；117-146.
[32] De Nicola，《理论计算机科学》240页215–（2000）
[33] 用于安全分布式元组空间的中间件。http://music.dsi.unifi.it/papers.html [2002].
[34] 容错电信系统模式。程序设计模式语言2，（eds.）。艾迪森·韦斯利：雷丁，马萨诸塞州，1996年；549-562.
[35] 移动环境。软件科学和计算结构基础（FoSSaCS’98）（计算机科学讲义，第1378卷）。施普林格，1998年；140-155.
[36] 移动代理协调的反应元组空间第二届移动代理国际研讨会论文集（计算机科学讲义，第1477卷），（编辑）。施普林格，1998年；237-248.
[37] MOBILE_TQL:Interrogazione di database distributuiti XML con agenti mobili。比萨大学信息学硕士论文，2002年。
[38] TQL代数及其实现。第二届IFIP国际理论计算机科学会议论文集，加拿大蒙特利尔。Kluwer，2002年。
[39] Vitek，《计算机编程科学》（2002年）
[40] 太阳微系统公司。RMI，远程方法调用。http://java.sun.com/products/jdk/rmi。
[41] 一级元组空间的优化分析。《并行处理语言和编译器的进展》（eds.）。麻省理工学院出版社，1991年。
[42] 使用Linda-like操作延长钢绞线。实施和绩效研究。逻辑编程实践实现和系统经验研讨会论文集，匈牙利布达佩斯，Tick E（编辑）。俄勒冈州大学计算机与信息科学系，1993年。
[43] Linda系统中的动态优化。http://www.cs.wisc.edu/？kaxiras网站 [1993].
[44] 工作站网络的高效分布式元组空间实现。EuroPar 96（计算机科学讲义，第1123卷），（编辑）。施普林格，1996年；511-513.
[45] 分布式内存系统Linda程序的编译器分析和优化。特拉华大学博士论文，1998年。
[46] 证明在元组空间上优化破坏性和非破坏性读取的正确性。《2000年协调会议录》，塞浦路斯（计算机科学讲义，第1906卷），（编辑）。施普林格，2000年；66-80.
[47] 费伦泽大学信息科学研究院并发与流动小组。KLAIM网页。http://music.dsi.unifi.it。
[48] 形式化移动代理系统的属性。《协调模型与语言学报》（计算机科学讲义，第2315卷），（编辑）。斯普林格，2002年；72-87. ·Zbl 1053.68503号
[49] KLAIM的模态逻辑。《第八届代数方法论和软件技术国际会议论文集》，AMAST 2000（计算机科学讲稿，第1816卷），（编辑）。施普林格，2000年；339-354页。
[50] X-KLAIM中的交互式移动代理。《第7届IEEE国际研讨会论文集：支持技术：协作企业基础设施》（WETICE），（编辑）。IEEE计算机学会出版社，1998年；110-115.
[51] KLAIM的结构化网络。2000年ACM SAC会议录，协调模型、语言和应用专题，第一卷，（编辑）。ACM出版社，2000年；174-180.
[52] 动态演化网络中的节点连接建模。CONCOORD会议记录，并行与协调国际研讨会，意大利利帕里岛（理论计算机科学电子笔记，第54卷）。Elsevier，2001年。
[53] 开放网络的基础结构语言。2002年ACM SAC会议记录，协调模型、语言和应用专题。ACM出版社，2002；第373-377段。
[54] 贾达？Java代理的协调和通信。移动对象系统MOS？走向可编程互联网（计算机科学讲义，第1222卷），（编辑）。施普林格，1997年；213-228. ·doi:10.1007/3-540-62852-5_16
[55] Jini规范。Addison-Wesley，1999年。
[56] 福特，《IBM系统杂志》，第37页，第454页–（1998年）
[57] ？CODE：一个轻量级、灵活的移动代码工具包。第二届移动代理国际研讨会论文集（计算机科学讲稿，第1477卷），（编辑）。施普林格，1998年；160-171.
[58] 莱姆：琳达遇到了机动性。《第21届国际软件工程会议论文集》（ICSE’99），（编辑）。ACM出版社，1999年；368-377. ·doi:10.1145/302405.302659
[59] Java系统中的酸洗线程状态。《面向对象语言和系统技术学报》（TOOLS），法国圣马洛。IEEE计算机学会出版社，2000年。
[60] 网络软件移动程序。USENIX年度技术会议记录。USENIX协会，1997年；91-103.
[61] 将强流动性转化为弱流动性。第五届IEEE移动代理国际会议论文集（MA 2001）（计算机科学讲义，第2240卷），（编辑）。施普林格，2001年；182-197. ·Zbl 1052.68816号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。