构件化软件动态更新关键技术及形式化地研究

《构件化软件动态更新关键技术及形式化地研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、万方数据申请上海交通大学博士学位论文构件化软件动态更新关键技术及形式化研究系别计算机科学与工程系学科专业计算机软件与理论论文作者徐小辉指导教师黄林鹏麴握答辩日期2011年12月上海交通大学电子信息与电气工程学院万方数据AthesissubmittedtoShanghaiJiaoTongUniversityinpartialfulfilmentoftherequirementsforthedegreeofDoctorofPhilosophyinComputerScienceKeyTechnique

2、sandFormalismforDynamicComponent—basedSoftwareUpdatingXIAOHUIXUMajor：COMPUTERSOFTWAREANDTHEORYSupervisor：Prof．LINPENGHUANGDEPARTMENTOFCOMPUTERSCIENCE&ENGINEERINGSCHOOLOFELECTRONIC，INFORMATIONANDELECTRICALENGINEERINGSHANGHAIJIAOTONGUNIVERSITYSHANGHAI．

3、P．R．CHINADec。2011万方数据附件四上海交通大学学位论文原创性声明本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究工作所取得的成果。。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的作品成果。对本文的研究做出重要贡献的个人和集体，均己在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。学位论文作者签名：彳知、组日期：刃。1年Ix月3日万方数据附件五上海交通大学学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论

4、文的规定，同意学校保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权上海交通大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存和汇编本学位论文。保密口，在一年解密后适用本授权书。本学位论文属于不保密呱(请在以上方框内打“4”)学位论文作者签名：彳刍．u习五日期：驯1年I≥月8日指导教师签名：日期：”l＼年、≥月矿日上海交通大学博士学位论文答辩刈㈣必墅万方数据所在【姓名徐小辉学号0050339008计算机软件与理论学科

5、I指导教师黄林朋答辩2011—12—08答辩徐汇校区新建楼2027室日期地点论文题日构件化软件动态更新关键技术及形式化研究投票表决结果：一7／2／7(同意票数／实到委员数，应到委员数)答辩结论：留岛过口未通过、．绘!、努申堂塑博士论文对构件化软件动态更新技术及形式化进行研究，选题属于学科前沿。论文的主要研究成果包括：⋯1)提出一套解决动态软件更新支持相关问题的技术方案，给出了更新点确定、更新文件銮焦、。幂帮时机选择、状态提取及迁移、更新失败恢复等构件化软件动态更新关键技术问题的解决方法。一2)扩

6、展高阶尢演算以分别表达动态模块化、事务处理和状态保持等动态更新支持机制，提出一种用于刻画构件化软件动态更新的形式化M删缸饥演算，并通过应用实例具体刻画典型动态软件更新行为。3)提出一种构件化软件动态更新支持服务框架，基于R-0sGi平台技术开发构件化软件动态更新支持系统，实现普适计算环境下的动态软件更新原型，验证了方法的可行性。一，娑茎书写规范、内容翔实、条理清晰，研究结果具有创新性，表明其己具备坚实宽广的本堂科塞论基础静系统深入的专门知识，有较强的独立科研能力。在答辩过程中陈述清楚，璺节粤磐准

7、确，答辩委员会经过认真讨论和无记名投票，一致通过其论文答辩，并建议覆予1目+c：，liT如1＼年1≥月∥曰职务姓名职称单位签名主席宋国新教授华东理工大学簪职．答恸辩委员童维勤教授上海大学一委委员虞慧群教授华东理工大学抑捌口贝会委员赵建军教授上海交通大学t多、毙成员委员刘静教授华东师范大学翮行～签委员万燕副教授东华大学{爹名委员黄林鹏教授上海交通大学荔毯秘书王德俊讲师上海交通大学施给．万方数据构件化软件动态更新关键技术及形式化研究摘要在一些任务关键型应用系统中，由于系统具有高可用性需求，在进行软件

8、故障修复、服务功能扩展或系统性能改进等软件更新操作时，需要在保持系统持续运行的情况下动态地进行。软件系统如果能够具备良好的动态更新能力，将有利于提高系统的适应性，从而延长软件生命周期，减少管理和运营成本，并满足不断增长的软件复杂性和适应性需求。本文从功能和非功能需求分析着手，研究在构件化软件中提供动态更新支持需要解决的关键技术问题，并结合动态模块化、事务处理、状态迁移等动态更新支持需求，对高阶丌演算(H0丌)进行扩展研究，开发一种可用于刻画构件化软件动态更新的演算方法，为动态更新安全性、一致性等