基于SOA的网构软件动态配置系统设计与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第1章 绪论 | 第12-21页 |
| ·课题背景 | 第12-17页 |
| ·网构软件 | 第12-14页 |
| ·SOA与SCA | 第14-16页 |
| ·动态配置技术 | 第16-17页 |
| ·研究意义 | 第17-18页 |
| ·研究内容 | 第18-19页 |
| ·文章结构 | 第19-21页 |
| 第2章 研究基础与现状 | 第21-29页 |
| ·动态配置技术研究现状 | 第21-24页 |
| ·传统软件中的动态配置技术 | 第21-23页 |
| ·网构软件的动态配置技术 | 第23-24页 |
| ·国内外支持动态配置的平台 | 第24-26页 |
| ·支持SOA的软件开发与运行平台 | 第26-28页 |
| ·Eclipse STP | 第26-27页 |
| ·Tuscany | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第3章 基于SOA的网构软件动态配置系统架构 | 第29-39页 |
| ·配置系统概述 | 第29-31页 |
| ·总体架构与关键组成 | 第31-37页 |
| ·监控模块 | 第31-34页 |
| ·动态配置意图获取模块 | 第34-36页 |
| ·配置实施与管理模块 | 第36-37页 |
| ·候选组件容器模块 | 第37页 |
| ·关键技术 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第4章 动态配置过程及其关键方法 | 第39-49页 |
| ·动态配置过程概述 | 第39-40页 |
| ·动态配置过程的关键方法 | 第40-48页 |
| ·状态快照 | 第40-42页 |
| ·组件结构重组 | 第42-44页 |
| ·一致性判定 | 第44页 |
| ·运行恢复 | 第44-48页 |
| ·本章小结 | 第48-49页 |
| 第5章 动态配置的一致性验证 | 第49-66页 |
| ·一致性概述 | 第49-50页 |
| ·PI演算理论基础 | 第50-53页 |
| ·PI演算的基本概念 | 第50-51页 |
| ·PI演算的基本操作 | 第51-53页 |
| ·SCA组件的行为一致性验证原理 | 第53-59页 |
| ·SCA组件行为 | 第53-56页 |
| ·SCA组件与组件组合的PI表达 | 第56-58页 |
| ·一致性验证原理 | 第58-59页 |
| ·SCA组件的行为一致性验证实现 | 第59-64页 |
| ·组件验证实现的基本步骤 | 第59-63页 |
| ·验证功能模块设计 | 第63-64页 |
| ·本章小结 | 第64-66页 |
| 第6章 动态配置系统的原型设计与实现 | 第66-76页 |
| ·原型系统概述 | 第66-67页 |
| ·原型系统功能设计及其核心工具 | 第67-75页 |
| ·原型系统功能设计 | 第67页 |
| ·SCA建模工具 | 第67-69页 |
| ·SCA配置测试工具 | 第69-71页 |
| ·组件运行时监控器 | 第71-73页 |
| ·动态配置执行引擎 | 第73-75页 |
| ·本章小结 | 第75-76页 |
| 第7章 结论与展望 | 第76-78页 |
| ·本文结论 | 第76-77页 |
| ·本文的不足与未来的工作 | 第77-78页 |
| 参考文献 | 第78-82页 |
| 攻读硕士学位期间主要的研究成果 | 第82-83页 |
| 致谢 | 第83页 |
