收藏本站
《上海交通大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

面向服务的分布式系统动态更新研究

王德俊  
【摘要】: 目前在大规模分布式在线服务系统中,系统的可靠性、可用性、可信性以及可维护性逐步成为计算机系统必须考虑的重要因素,尤其在一些关键服务应用领域如:金融数据处理系统、医疗服务系统,远程通信系统、电信在线计费系统等。在类似这样的分布式系统环境中往往需要实时的决策支持或者是事件驱动处理,系统一旦开始运行,就必须一天二十四小时、一周七天的保持操作,系统的中断意味着付出高昂的代价甚至危及用户生命。因此,软件动态更新技术正成为当今软件维护领域的一个重要研究课题,能否提供不间断的服务正在成为人们衡量软件系统的一项重要指标。 由于面向服务在动态更新和交互性等方面的优势,以服务为实体来构建面向服务的应用程序已然成为软件工程中的一个趋势。因此如何在面向服务的分布式系统上实现动态更新是一个值得深入研究的课题,本文针对“24×7”面向服务的分布式系统环境,提出相应的动态更新支持关键问题。 由于面向服务思想主要专注于动态性和互换性,而面向构件技术则主要专注于创建可复用的软件构件模块,因此很多流行的软件技术都是将构件模型和面向服务模型结合,以面向服务的构件模型(SOCM)为基础的,因此本文的主题研究是基于SOCM展开的。 论文的主要研究工作和创新性包含以下几个方面: 1、深入分析服务的远程访问特征,包括远程服务的发布、远程服务请求、远程服务调用和远程服务执行返回,进而从中进一步深入分析确定更新的时机、更新的状态传递、更新的服务重定向、多服务更新的协调等相关问题; 2、根据分布式系统的服务访问的事务特征,提出一组基于事务的动态更新控制策略,包括:针对分布式系统上运行的服务事务的长短特征,提出慢速更新策略和快速更新策略;以相关短事务(单个或依赖的多个需要被更新服务参与的事务)的执行完成为更新时机的选择策略,不同于主动强制更新单元停止来获得更新时机的方法;提出基于短事务的ACID特性保证更新前后系统的ACID特性的更新实施策略,用短事务模型来控制基本更新操作,用长事务模型来控制分布式系统中更新耗时最长的部分――持久化数据的转换;提出用lazy转换的方法来执行持久数据变换,对应用事务和转换事务的交叉进行序列化处理,以保证更新前后系统状态的一致性; 3、提出一个基于事务的分层协调更新模型CoDUM-TrSOS,用于支持系统软件的动态更新,模型设计主要包括三部分:面向服务的支持动态更新功能的单个构件更新管理器的设计(包括原子服务构件和复合服务构件更新管理器),面向多个依赖服务的动态更新协调模型和从中心服务器到服务端的分层控制更新框架; 4、根据复合构件和有服务调用依赖的构件产生的引用、包含依赖关系,自动确定构件运行时状态转换的执行顺序和持久化数据转换长事务中各转换短事务的执行顺序,从而保证了更新前后系统状态的一致性,一方面减轻开发人员的负担,另一方面避免因手工编程实现转换时顺序依赖关系控制不当引起的系统状态转换出错; 5、借助于带类型的Pi演算,将其用于本系统面向服务更新中的服务重绑定的类型安全性刻画和验证,该验证是基于子类型关系的匹配基础上而不是名称上的,从而用形式化方法保证了运行时系统的服务重配置和动态更新服务实现的接口重绑定的类型安全性,从而提供更新的系统一致性的基础; 6、在分布式系统BR-OSGi-DS上,通过原型实现,从实践角度验证了相关策略的正确性,为进一步研究在支持普适服务事务的普适计算平台上实现动态更新功能提供了有一定价值的参考。
【学位授予单位】:上海交通大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP311.52

手机知网App
【引证文献】
中国期刊全文数据库 前3条
1 王华;刘焕敏;段慧芬;;一种远程维护发布系统的设计与实现[J];飞行器测控学报;2011年06期
2 王德俊;黄林鹏;徐小辉;;事务控制的面向服务系统的动态更新协调[J];软件学报;2011年11期
3 王华;刘焕敏;冯朝阳;张娟;年福纯;;一种分布式软件发布部署系统[J];计算机系统应用;2012年02期
中国博士学位论文全文数据库 前2条
1 徐小辉;构件化软件动态更新关键技术及形式化研究[D];上海交通大学;2011年
2 刘建华;面向服务的物联网动态维护及其资源配置研究[D];上海大学;2012年
【参考文献】
中国期刊全文数据库 前10条
1 冯耀东;黄罡;梅宏;;一种自适应软件体系结构建模及其实施方法[J];北京大学学报(自然科学版);2008年01期
2 廖军;谭浩;刘锦德;;基于Pi-演算的Web服务可替换性验证[J];华中科技大学学报(自然科学版);2005年S1期
3 孙力军;陈德人;施敏华;;基于OSGi的自适应可进化软件框架[J];江南大学学报(自然科学版);2007年02期
4 李必信;王云峰;李宣东;郑国梁;;面向对象的类型-子类型分析及推理规则[J];计算机科学;1999年07期
5 王千祥;申峻嵘;梅宏;;自适应软件初探[J];计算机科学;2004年10期
6 辜希武;卢正鼎;;基于Pi-演算的BPEL4 WS Web服务组合形式化模型[J];计算机科学;2007年03期
7 徐光祐 ,史元春 ,谢伟凯;普适计算[J];计算机学报;2003年09期
8 马晓星 ,余萍 ,陶先平 ,吕建;一种面向服务的动态协同架构及其支撑平台[J];计算机学报;2005年04期
9 陈德伟,许斌,蔡月茹,李涓子;服务部署与发布绑定的基于P2P网络的Web服务发现机制[J];计算机学报;2005年04期
10 王晓鹏,王千祥,梅宏;一种面向构件化软件的在线演化方法[J];计算机学报;2005年11期
中国博士学位论文全文数据库 前4条
1 廖渊;普适计算环境下一种基于QoS的服务构件组合方法[D];中国科学院研究生院(软件研究所);2005年
2 窦蕾;面向构件的复杂软件系统中动态配置技术的研究[D];国防科学技术大学;2005年
3 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
4 张仕;基于面向对象软件的动态更新研究[D];上海交通大学;2008年
中国硕士学位论文全文数据库 前1条
1 许赵云;用动态静态工具分析模块更新兼容性[D];上海交通大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 皇苏斌;王忠群;;景区智能空间下的实时景点推荐技术[J];安徽工程大学学报;2011年04期
2 张王卫;孟晨;陈胜;彭荣木;;大型地空导弹装备仿真训练系统体系结构研究[J];兵工自动化;2008年05期
3 康辉;苑森淼;浦洁;刘勇;;基于Pi演算的Web服务建模与WSDL转换[J];北京工业大学学报;2008年11期
4 于冰;马世龙;;一种基于P2P网络的语义Web服务发现机制[J];北京航空航天大学学报;2008年03期
5 魏东;;普适计算的应用和展望[J];辽宁科技学院学报;2006年04期
6 马彬;陈龙;;普适计算安全体系结构研究[J];重庆邮电学院学报(自然科学版);2006年S1期
7 王伟;;面向未来的计算模式——普适计算[J];成都电子机械高等专科学校学报;2005年04期
8 王艳;张娟;;普适计算的研究及探讨[J];成功(教育);2008年08期
9 刘琳;;普适计算面临的挑战[J];重庆职业技术学院学报;2007年06期
10 查智;;上下文感知:普适计算的灵魂[J];四川兵工学报;2010年04期
中国重要会议论文全文数据库 前10条
1 黄飞跃;徐光祐;张翔;;基于DirectShow的普适系统底层分布式多媒体信息处理[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
2 张翔;徐光祐;肖小玲;陶霖密;;基于觉察上下文的实时档案系统[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
3 金浩;王守芳;仲婷;魏鲲;潘金贵;;普适计算中的多通道定位研究[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
4 王守芳;金浩;魏鲲;仲婷;潘金贵;;上下文感知综述[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
5 蒋发群;李锦涛;苏晓丽;史红周;郭俊波;朱珍民;;面向虚拟桌面计算的中间件框架[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
6 姜凤敏;王汝传;陈志;;普适计算环境下一种基于移动Agent的数据处理模型[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
7 庄彦宇;王汝传;陈志;;基于不确定性推理的上下文感知数据处理模型[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
8 黄玉坤;陈榕;王芳;;基于Elastos的普适计算环境研究[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
9 欧阳建权;史殿习;丁博;王怀民;;普适计算的自适应技术[A];第四届和谐人机环境联合学术会议论文集[C];2008年
10 叶俊民;綦志勇;;基于计算元的普适计算的系统结构框架研究[A];第18届全国多媒体学术会议(NCMT2009)、第5届全国人机交互学术会议(CHCI2009)、第5届全国普适计算学术会议(PCC2009)论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 叶海智;面向分布式关键任务系统的自律恢复机制研究[D];哈尔滨工程大学;2010年
2 张宇;个性化移动内容服务的模型和支持技术研究[D];华中科技大学;2010年
3 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
4 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年
5 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年
6 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
7 常青;瘦型服务器及个人/家庭事务处理应用研究[D];太原理工大学;2011年
8 郑伟;联邦式图书馆资源管理模型研究[D];吉林大学;2011年
9 鲁付俊;供需链环境下轿车制造模式与物流系统研究[D];合肥工业大学;2011年
10 郭良敏;P2P文件共享系统中的副本技术研究[D];中国科学技术大学;2011年
中国硕士学位论文全文数据库 前10条
1 年军艳;普适计算下的上下文感知计算若干关键技术研究[D];安徽工程大学;2010年
2 宋超臣;基于推荐网络的服务搜索技术研究[D];哈尔滨工程大学;2010年
3 冯照临;C/S结构分布式应用系统的自主计算研究[D];哈尔滨工程大学;2010年
4 刘佳荟;基于信任度量的网构软件动态演化研究[D];哈尔滨工程大学;2010年
5 刘汉玲;基于Web Service的分布式系统中动态负载均衡策略的研究与实现[D];哈尔滨工程大学;2010年
6 路欢欢;基于反射理论的DDS体系结构动态演化框架[D];哈尔滨工程大学;2010年
7 韦哲;基于上下文感知技术的WSN路由协议研究[D];大连理工大学;2010年
8 潘拓宇;融入用户行为上下文的个性化推荐模型[D];湘潭大学;2010年
9 刘昌亭;基于Multi-Agent的动态负载平衡技术研究及应用[D];中国海洋大学;2010年
10 冯倩倩;普适计算安全技术的研究[D];河南理工大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 黄罡,梅宏,杨芙清;基于反射式软件中间件的运行时软件体系结构[J];中国科学E辑:技术科学;2004年02期
2 朱淼良,邱瑜;移动代理系统综述[J];计算机研究与发展;2001年01期
3 刘莹;张一川;张斌;张明卫;朱志良;;基于行为效果的服务可替换性分析[J];计算机研究与发展;2010年08期
4 叶海智;王慧强;郑瑞娟;;任务组件动态替换的关键技术研究[J];计算机工程与应用;2007年35期
5 李必信;王云峰;李宣东;郑国梁;;面向对象的类型-子类型分析及推理规则[J];计算机科学;1999年07期
6 王德俊;黄林鹏;徐晓辉;伍建鲲;张仕;王欣;;分布式动态更新支持系统:研究综述[J];计算机科学;2007年11期
7 窦文生;吴国全;魏峻;刘绍华;;基于状态方面的Web服务动态替换[J];计算机科学;2009年07期
8 余敏,尤晋元,周定康;移动代理系统中基于逻辑节点的负载迁移机制[J];计算机工程;2001年12期
9 周宏明;周余庆;陈亚绒;付培红;;面向多品种变批量生产的制造单元生成方法[J];计算机集成制造系统;2010年12期
10 蔡洪波,张大方,谢高岗;Mobile Agent选择移动迁移机制的设计与实现[J];计算机工程与科学;2001年05期
中国博士学位论文全文数据库 前2条
1 廖渊;普适计算环境下一种基于QoS的服务构件组合方法[D];中国科学院研究生院(软件研究所);2005年
2 张仕;基于面向对象软件的动态更新研究[D];上海交通大学;2008年
中国硕士学位论文全文数据库 前2条
1 任声骏;基于软件描述的软件更新及其安全问题研究[D];西安电子科技大学;2006年
2 王晓静;基于RFID技术的无线充电系统研究[D];北京邮电大学;2008年
【二级引证文献】
中国博士学位论文全文数据库 前1条
1 刘建华;面向服务的物联网动态维护及其资源配置研究[D];上海大学;2012年
中国硕士学位论文全文数据库 前3条
1 严俊伟;面向云制造的装备物联资源管理系统设计与实现[D];武汉理工大学;2012年
2 杨熙;基于多池架构数据库连接池的研究与设计[D];哈尔滨工程大学;2012年
3 魏菲;基于网站群管理平台的多机发布系统的设计与实现[D];西北大学;2012年
【二级参考文献】
中国期刊全文数据库 前10条
1 官洪运,徐金娣,李德敏;无线局域网802.11协议的分析及其MAC层实现[J];东华大学学报(自然科学版);2004年04期
2 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
3 黄罡,王千祥,曹东刚,梅宏;PKUAS:一种面向领域的构件运行支撑平台[J];电子学报;2002年S1期
4 李长云,李赣生,李莹;基于扩展的粒度计算的软件体系结构模型:EGSA[J];电子学报;2005年02期
5 黄罡,梅宏,杨芙清;基于反射式软件中间件的运行时软件体系结构[J];中国科学E辑:技术科学;2004年02期
6 吕建;马晓星;陶先平;徐锋;胡昊;;网构软件的研究与进展[J];中国科学E辑:信息科学;2006年10期
7 梅宏;黄罡;赵海燕;焦文品;;一种以软件体系结构为中心的网构软件开发方法[J];中国科学E辑:信息科学;2006年10期
8 童立靖,张津诗,李明树;有线普适视频的分子化模型研究[J];计算机研究与发展;2003年08期
9 童立靖,淮晓永,李明树;一种基于PID反馈控制的分时调度算法[J];计算机研究与发展;2004年01期
10 廖渊,李明树;基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法[J];计算机工程与应用;2002年13期
中国博士学位论文全文数据库 前1条
1 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
【相似文献】
中国期刊全文数据库 前10条
1 黄刘生;李黄海;吴俊敏;鲍春健;;一种可动态更新的高可用中间件框架[J];华中科技大学学报(自然科学版);2006年10期
2 许赵云;黄林鹏;;分布式系统动态更新的研究[J];微电子学与计算机;2007年10期
3 王瑞;耿祥义;牛同庆;;一种面向服务的P2P系统[J];仪器仪表用户;2006年03期
4 王德俊;黄林鹏;徐小辉;;事务控制的面向服务系统的动态更新协调[J];软件学报;2011年11期
5 刘君;曹宝香;;基于本体的面向服务的属性访问控制模型[J];山东科学;2010年06期
6 谢建琳;;基于SOA的数字图书馆OLE[J];图书馆学研究;2010年01期
7 梁晓松;游雄;王珂珂;;面向服务的ArcGIS Server架构研究[J];测绘科学;2009年03期
8 张立朝;潘贞;王珂珂;王富强;王青山;;面向服务的地理信息系统架构研究[J];北京测绘;2008年03期
9 曲朝阳,谢光强,赵晓彤;面向服务结构的发电设备可靠性厂级监控信息系统的开发[J];电网技术;2004年20期
10 冯洪玉;面向服务的分布式计算技术[J];河南科技学院学报(自科版);2005年02期
中国重要会议论文全文数据库 前10条
1 许赵云;黄林鹏;;分布式系统动态更新的研究[A];2007年全国开放式分布与并行计算机学术会议论文集(下册)[C];2007年
2 顾新建;祁国宁;唐任仲;江平宇;;面向服务的产品成组模块化设计方法[A];2008年中国机械工程学会年会暨甘肃省学术年会文集[C];2008年
3 刘果;邓检华;兰彦;;DAMS-Ⅳ型分布式工程安全监测系统的研制[A];中国水力发电工程学会大坝安全监测专业委员会年会暨学术交流会论文集[C];2000年
4 刘渊;姜建国;缪继东;范晓岚;;一个分布式系统通信控制软件的设计与实现[A];中国工程物理研究院科技年报(2002)[C];2002年
5 张晶;王剑平;张果;张云生;;面向服务的实时分布嵌入式控制软件实现策略[A];第二十七届中国控制会议论文集[C];2008年
6 曹德亮;贾银芳;赖森贞;;梅钢冷连轧计算机过程控制系统[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
7 李佳桢;袁忠宇;倪桂强;罗健欣;;自稳定性在分布式系统中的应用[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
8 熊继平;;基于JMF的运动检测分布式系统的研究及实现[A];第七届全国信息获取与处理学术会议论文集[C];2009年
9 李芸;王强军;张普;;信息技术领域术语自动提取和动态更新研究[A];辉煌二十年——中国中文信息学会二十周年学术会议论文集[C];2001年
10 王燕;徐振朋;曹刘娟;;一种具有最小阻塞消息发送时间的检查点策略[A];第四届中国测试学术会议论文集[C];2006年
中国重要报纸全文数据库 前10条
1 电脑商报记者 唐珺;建设面向服务的电子政务[N];电脑商报;2007年
2 张小西;SOA“工地”鸟瞰[N];网络世界;2006年
3 本报记者 毛晶慧;U9:将改变世界ERP格局[N];中国经济时报;2008年
4 本报记者 潘永花;整合”大戏上演中……[N];网络世界;2005年
5 记者 强国峰;市热力公司开展“面对面三公开”活动树立新形象[N];延安日报;2009年
6 ;从面向技术到面向服务[N];网络世界;2003年
7 贾亦真;以SOA开拓市场 外资巨头看好中国[N];中国文化报;2007年
8 王晓民李波 饶慧敏 张振;SOA引爆倒计时[N];电脑商报;2008年
9 周树纲;拯救保险行业的存储孤岛[N];网络世界;2008年
10 本报记者 刘欢;财政部暂不考虑动态更新清单[N];政府采购信息报;2011年
中国博士学位论文全文数据库 前10条
1 王德俊;面向服务的分布式系统动态更新研究[D];上海交通大学;2010年
2 刘虎兴;面向服务的铁路调度系统集成及复杂业务处理研究[D];北京交通大学;2010年
3 魏伟杰;面向服务替换的服务行为模式获取及推荐[D];东北大学;2009年
4 胡沙;面向服务的模具企业信息系统集成平台关键技术研究[D];华中科技大学;2010年
5 许欢;面向服务的土地资源空间信息多级语义网格研究[D];浙江大学;2009年
6 董玺坤;面向服务的自律恢复系统体系结构及其实现技术研究[D];哈尔滨工程大学;2011年
7 李俊超;面向服务的云会议系统架构及其关键技术研究[D];中国科学技术大学;2011年
8 刘建华;面向服务的物联网动态维护及其资源配置研究[D];上海大学;2012年
9 何强;面向服务环境中服务组合质量保障关键技术研究[D];华中科技大学;2010年
10 蒋锐;昆明市斜坡灾害预警信息生成机理及服务研究[D];昆明理工大学;2010年
中国硕士学位论文全文数据库 前10条
1 陈芬;一种基于SOA的广域分布文件存储框架[D];江南大学;2008年
2 唐俊;面向服务的消息中间件的研究[D];华中科技大学;2006年
3 刘广钰;面向服务计算的安全策略研究[D];山东师范大学;2010年
4 王丹;普适计算环境下的软件体系结构[D];吉林大学;2009年
5 邓炼勇;面向服务发现的家庭网关控制平台表示层技术的研究[D];华南理工大学;2010年
6 汪检跃;面向服务环境的组合服务计费方法研究[D];浙江大学;2011年
7 毕文杰;中小商业企业管理软件架构及实现研究[D];中南大学;2003年
8 肖利晖;面向服务的数字公园架构设计与实现[D];华中科技大学;2005年
9 张雷;面向服务的工作流技术研究及应用[D];沈阳工业大学;2007年
10 张王朋;普适服务动态更新的形式化研究[D];上海交通大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026