×
卡伦·比亚尼。；Sandeep S.Kulkarni。

分布式系统中动态适应的保证。 （英语） Zbl 1243.68209号

J.平行分布计算。 68，第8期，1097-1112（2008）.
摘要：由于需求或环境的变化，长时间运行的应用程序通常需要进行调整。通常，这种自适应是通过动态添加或删除组件来执行的。在这些类型的适应中，组件通常添加到系统中的多个进程中或从中删除。因此，在适应过程中，系统可能由改变和不变的过程组成，导致新旧组件重叠。自适应过程中组件的这种重叠可能导致跨组件通信，这可能导致自适应过程中的行为不可预测和/或不可取。
在本文中，我们讨论了一种建模和验证重叠适应的方法。我们分别使用传递不变格和传递故障跨度格来验证无故障和有故障情况下自适应的正确性。我们还讨论了支持重叠适应实施的框架。

引用于5文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68米15 网络和计算机系统的可靠性、测试和容错

关键词：

动态适应；保证；正确性；规范；验证；容错
PDF格式BibTeX公司 XML格式引用
\textit{K.N.Biyani}和\textit{S.S.Kulkarni}，J.并行分布计算。68，第8号，1097--1112（2008；Zbl 1243.68209）
全文： 内政部

参考文献：

[1] 艾伦，罗伯特；雷米·杜伦斯；David Garlan：《指定和分析动态软件架构》，《计算机科学（LNCS）课堂讲稿》1382，21-35（1998）
[2] Alpern，B。；Schneider，F.B.：《定义活力》，信息处理字母211181-185（1985）·Zbl 0575.68030号 ·doi:10.1016/0020-0190（85）90056-0
[3] Arora，A。；Gouda，M.G.：《封闭与融合：容错计算的基础》，IEEE软件工程事务（1993）
[4] Arora，A。；Gouda，M.G.：《封闭与收敛：容错计算的基础》，IEEE软件工程事务19，第11期，1015-1027（1993）
[5] Arora，A。；Gouda，M.G.：分布式重置，计算机上的IEEE事务43，第9期，1026-1038（1994）·Zbl 1068.68572号 ·doi:10.1109/12.312126
[6] Arora，A。；Kulkarni，Sandeep S.：通过非任务容错设计屏蔽容错，IEEE软件工程事务24，第6期，435-450（1998）
[7] Arora，A。；Kulkarni，S.S.：基于组件的多容性系统设计，IEEE软件工程学报24，第1期，63-78（1998）
[8] 卡伦·比亚尼，分布式组件的动态合成，硕士论文，密歇根州立大学，2003年
[9] Karun Biyani，Sandeep Kulkarni，动态适应中的并发权衡，摘自：《分布式系统和网络保证——ADSN国际研讨会论文集》，ICDCS，2006年7月·Zbl 1243.68209号
[10] Karun Biyani，Sandeep Kulkarni，《分布式系统中的动态适应测试》，摘自：《软件测试自动化国际研讨会论文集——AST》，ICSE，2007年5月·Zbl 1243.68209号
[11] Karun Biyani，Sandeep Kulkarni，分布式系统中的混合模式自适应：案例研究，摘自：ICSE自适应和自我管理系统软件工程国际研讨会论文集，2007年5月·Zbl 1243.68209号
[12] Jeremy S.Bradbury、James R.Cordy、Juergen Dingel、Michel Wermelinger，《动态软件架构规范中的自我管理调查》，收录于：《自我管理系统（WOSS）国际研讨会论文集》，2004年
[13] Sagar Chaki，Natasha Sharygina，Nishant Sinha，进化软件的验证，摘自：第三届基于组件的系统规范和验证国际研讨会论文集，2004年，第55–61页·Zbl 1147.68047号
[14] W.K.Chen，M.Hiltunen，R.Schlichting，《在分布式系统中构建自适应软件》，载《第21届分布式计算系统国际会议论文集》，2001年4月，第635-643页
[15] 库斯塔，C.E。；De La Fuente，P。；Barrio-Solarzano，M.：通过反射的动态协调架构，134-140（2001）
[16] Dijkstra，E.W.：分布式控制下的自稳定系统，ACM通信17，第11期（1974）·Zbl 0305.68048号 ·数字对象标识代码：10.1145/361179.361202
[17] Dijkstra，E.W.：编程学科（1976）·Zbl 0368.68005号
[18] Jean-Charles Fabre，Tanguy Perennou，FRIENDS：实现容错和安全分布式应用的灵活体系结构，摘自：《欧洲可靠计算会议论文集》，1996年，第3–20页
[19] Gouda，M.：《网络协议设计要素》（1998）·Zbl 0914.53023号
[20] 古普塔、迪帕克；Jalote，Pankaj：使用过程之间的状态转移进行在线软件版本更改，《软件-实践和经验》23，第9期，949-964（1993）
[21] Hallstrom，J。；莱尔，W。；Arora，A.：《高可用系统的可扩展演化》，电子、信息和通信工程师学会学报86-D，第10期，2154-2164（2003）
[22] 拉尔夫·凯勒；Hölzle，Urs：二进制组件自适应，计算机科学1445讲义（1998）
[23] Kramer，J。；Magee，J。；Sloman，M.：《配置分布式系统》，1-5（1992）·Zbl 0609.93022号
[24] Sandeep Kulkarni，基于组件的容错设计，博士论文，俄亥俄州立大学，1999年
[25] Sandeep Kulkarni，Karun Biyani，基于组件的适应的正确性。密歇根州立大学计算机科学系MSU-CSE-04-2技术报告，2004年1月·Zbl 1243.68209号
[26] Sandeep S.Kulkarni，Karun N.Biyani，Umamaheswaran Arumugam，分布式容错组件的组成，载于：可靠系统原理国际研讨会论文集–PoDSy，DSN，2003年6月，第W127-136页
[27] 莱昂纳多·马里亚尼（Leonardo Mariani）、毛罗·佩泽尔（Mauro Pezzè），《验证基于组件的软件的技术》（A technique for verifient based software），载于：《基于组件的系统的测试和分析国际研讨会》（International Workshop on Test and Analysis of component based Systems）
[28] S.Masoud Sadjadi，支持普适和自主计算的现有软件的透明成型，密歇根州立大学博士论文，2004年
[29] Stephen McCamant，Michael D.Ernst，预测组件升级引起的问题，载于：ESEC/FSE：第10届欧洲软件工程会议和第11届ACM SIGSOFT软件工程基础研讨会论文集，2003年9月，芬兰赫尔辛基，第287–296页
[30] P.McKinley，U.Padmanabhan，移动计算可组合代理过滤器的设计，收录于：无线网络和移动计算研讨会论文集，2001年
[31] 麦金利，P。；萨贾迪，S。；Kasten，E。；Cheng，B.：《编写自适应软件》，IEEE计算机37，No.7，56-64（2004）
[32] Metayer，D.L.：使用图形语法描述软件架构风格，IEEE软件工程学报24，第7期，521-533（1998）
[33] P.Oreizy，N.Medvidovic，R.N.Taylor，基于架构的运行时软件进化，摘自：《第20届国际软件工程会议论文集》，1998年，第177-186页
[34] 苏珊·奥维基；Leslie Lamport：证明并发程序的活性属性，编程语言和系统上的ACM事务4455-495（1982年7月）·Zbl 0483.68013号 ·doi:10.1145/357172.357178
[35] B.Redmond，V.Cahill，《支持应用程序行为的非预期动态适应》，载于《欧洲面向对象编程会议论文集》，2002年，第205–230页·Zbl 1049.68831号
[36] Taentzer，G。；戈迪克，M。；Meyer，T.：《通过分布式图形转换进行动态更改管理：面向可配置分布式系统》，Lncs 1764（1998）·Zbl 0971.68648号
[37] Taylor，R.N。；梅德维多维奇，N。；安德森，K.M。；怀特黑德，E.J。；Robbins，J.E.：基于组件和消息的gui软件架构风格，295-304（1995）
[38] G.Varghese，通过局部检查和校正实现自我稳定，博士论文，MIT/LCS/TR-5831993
[39] Wermelinger，M。；Lopes，A。；Fiadeiro，J.L.：基于图形的架构（再）配置语言，软件工程注释26，21-32（2001）
[40] J.Zhang，Z.Yang，B.Cheng，P.McKinley，《为动态适应技术增加安全性》，摘自：ICSE 2004年可靠系统架构研讨会论文集，英国苏格兰爱丁堡，2004年5月
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。