面向自适应中间件的语义构件动态组合研究与应用
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第1章 绪论 | 第11-17页 |
| ·研究背景 | 第11-12页 |
| ·普适计算环境 | 第11-12页 |
| ·构件化软件开发 | 第12页 |
| ·国内外研究现状 | 第12-15页 |
| ·自适应中间件的研究现状 | 第13-14页 |
| ·构件技术的研究现状 | 第14页 |
| ·基于构件组合的自适应中间件开发 | 第14-15页 |
| ·问题描述 | 第15页 |
| ·本文的主要研究工作 | 第15-16页 |
| ·论文组织结构 | 第16-17页 |
| 第2章 语义构件研究基础 | 第17-30页 |
| ·语义构件概述 | 第17-18页 |
| ·语义构件概念 | 第17页 |
| ·基于本体的语义构件开发 | 第17-18页 |
| ·语义构件的行为模型 | 第18-22页 |
| ·接口模型 | 第18-20页 |
| ·功能模型 | 第20-22页 |
| ·语义构件的交互模型 | 第22-25页 |
| ·构件连接子 | 第22-23页 |
| ·基于连接子的交互模式 | 第23-25页 |
| ·语义构件的内外省机制 | 第25-29页 |
| ·基于反射的语义构件内省机制 | 第25-26页 |
| ·基于上下文感知的语义构件外省机制 | 第26-29页 |
| ·本章小结 | 第29-30页 |
| 第3章 基于π演算的构件行为形式化建模 | 第30-37页 |
| ·π演算理论基础 | 第30-32页 |
| ·π演算概述 | 第30页 |
| ·π演算的语法定义 | 第30-31页 |
| ·π演算的操作语义 | 第31-32页 |
| ·构件行为的π演算表达 | 第32-36页 |
| ·构件原子行为建模方法 | 第33-34页 |
| ·构件复合行为建模方法 | 第34-35页 |
| ·一个基于π演算的构件行为建模实例 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第4章 基于π演算的构件行为等价性与兼容性研究 | 第37-53页 |
| ·等价性与兼容性概述 | 第37页 |
| ·基于π演算的构件行为等价性分析与验证 | 第37-46页 |
| ·构件行为等价性相关理论 | 第37-39页 |
| ·等价性验证工具MWB | 第39-41页 |
| ·基于π演算的构件行为等价性分析 | 第41-44页 |
| ·利用MWB 验证行为等价性 | 第44-46页 |
| ·基于π演算的构件行为兼容性研究 | 第46-52页 |
| ·构件行为兼容性相关理论 | 第46-47页 |
| ·兼容性验证的一般规则 | 第47-48页 |
| ·实例分析与验证 | 第48-52页 |
| ·本章小结 | 第52-53页 |
| 第5章 基于自适应因子的语义构件动态组合方法 | 第53-59页 |
| ·构件动态组合的自适应因子 | 第53-56页 |
| ·自适应因子概念 | 第53页 |
| ·自适应因子的分类 | 第53-54页 |
| ·自适应因子的计算 | 第54-56页 |
| ·构件动态自适应组合流程 | 第56-58页 |
| ·本章小结 | 第58-59页 |
| 第6章 构件动态组合方法在移动音乐系统中的应用 | 第59-70页 |
| ·移动音乐系统简介 | 第59-60页 |
| ·系统设计 | 第60-63页 |
| ·构件Sender | 第61页 |
| ·构件Receiver | 第61-62页 |
| ·构件StereoPlayer | 第62页 |
| ·构件MonoPlayer | 第62-63页 |
| ·构件开发与实现 | 第63-68页 |
| ·基层构件开发 | 第63-66页 |
| ·元层构件开发 | 第66-68页 |
| ·实验结果分析 | 第68-69页 |
| ·应用效果分析 | 第69页 |
| ·本章小结 | 第69-70页 |
| 第7章 总结与展望 | 第70-72页 |
| ·本文工作总结 | 第70-71页 |
| ·本文不足之处与工作展望 | 第71-72页 |
| 致谢 | 第72-73页 |
| 参考文献 | 第73-76页 |
| 附录 | 第76-77页 |
| 详细摘要 | 第77-79页 |
