学位论文 > 优秀研究生学位论文题录展示
面向自适应中间件的语义构件动态组合研究与应用
作 者: 赵春波
导 师: 胡维华;吴卿
学 校: 杭州电子科技大学
专 业: 计算机应用技术
关键词: 自适应中间件 语义构件 行为等价性 行为兼容性 构件组合
分类号: TP311.52
类 型: 硕士论文
年 份: 2009年
下 载: 35次
引 用: 0次
阅 读: 论文下载
内容摘要
随着普适计算的提出,以及构件化软件开发模式的兴起,基于构件的自适应中间件研究越来越受到人们的关注。然而,传统构件仍缺乏对于构件行为与交互的描述,导致构件组合不可预见,难以满足一些具有复杂需求的服务。在进行构件组合时,对于新旧构件行为的等价性判定,以及新构件在系统中运行的兼容性分析仍存在判定结果不够精确、缺乏判定标准等问题。同时,在构件动态组合过程中未对各种组合行为的自适应能力进行分析,也未对各种自适应行为进行对比与选择,从而使得系统整体的可靠性、稳定性与高效性大打折扣。本文着重针对以上这些问题展开研究与实践工作,在自适应中间件中引入语义构件,使系统具备自我调整能力以适应外部环境的变化。同时,在进行构件的动态调整之前,基于π演算对新旧构件间的行为等价性进行分析,并要求新构件在原系统中运行时具备一定的兼容性,同时对每种可能的调整动作进行分析比对并选择,尽可能保证系统的可靠性、稳定性与高效性,满足用户的服务需求。以下是本文的主要工作:首先,基于π演算的相关语法与操作语义,对构件行为进行形式化建模,之后着重分析并判定构件行为的等价性与兼容性。在研究构件行为等价性时,首先给出等价性判定相关理论,之后通过具体案例分析构件行为等价性,最后运用MWB工具建模并验证行为等价性;在研究构件行为兼容性时,首先给出兼容性验证的方法,之后通过具体案例分析构件行为之间的兼容性。构件行为的等价性保证了进行构件替换操作时构件功能性行为的一致性,以及构件接口的匹配性;构件行为的兼容性保证了构件组合内部流程结构正确性,避免构件交互过程中的死锁或不可达状态出现,确保系统正常稳定可靠运行。其次,基于前几章的研究工作提出构件动态自适应组合方法。我们在该组合方法中加入了自适应因子的概念,用于衡量各组合行为的自适应能力,并对自适应因子进行分类与计算。之后,我们给出了构件动态组合的流程,可根据自适应因子大小对组合行为进行对比并选择。最后,将基于语义构件的动态自适应组合方法应用到移动音乐系统中,并给出具体的系统设计以及构件开发与实现方法,最终使得系统能感知上下文的变化并进行构件的动态自适应重组,并验证了系统具有自适应能力强的特点,满足较高的QoS需求。
|
全文目录
相似论文
- 面向自适应中间件实体分层建模的研究与应用,TP311.52
- 基于场景的构件组合方式的研究,TP311.52
- 基于UML和时间ER网的嵌入式实时软件建模与分析,TP311.52
- 面向普适计算的自适应中间件研究,TP311.52
- 支持动态调整流媒体服务质量的反射中间件研究与实现,TP393.09
- 模型驱动架构中构件组合的研究与实现,TP311.52
- 模型驱动的构件化企业应用软件开发方法,TP311.52
- 基于消息和构件运算的软件体系结构演化研究,TP311.52
- Web应用的验证与测试方法研究,TP311.52
- 面向普适计算的自适应中间件模型与方法研究,TP311.52
- QoS自适应服务的构件设计与研究,TP311.52
- 考虑局部稳定的铝合金构件及板件的承载力研究,TU395
- 基于本体的构件描述,TP311.52
- 基于形式语义的构件组装与演化研究,TP311.52
- 基于语义的构件动态替换技术研究,TP311.52
- 基于WinCE平台的故障分析仪应用程序设计与开发,TP311.52
- 面向SMDA的服务建模方法及工具实现,TP311.52
- 面向软件的故障注入工具的研究与实现,TP311.52
- 异构环境下企业互操作技术及在物资供应链系统中的应用,TP311.52
- 基于特征的软构件建模方法及其在VMI管理系统中的应用,TP311.52
- 光电对抗试验系统软件平台开发,TP311.52
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|