基于ASM的普适服务动态组合研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 引言 | 第9-14页 |
| ·普适计算简介 | 第9-10页 |
| ·抽象状态机简介 | 第10-11页 |
| ·本文研究内容 | 第11-12页 |
| ·本文研究意义 | 第12-13页 |
| ·本文结构组织 | 第13页 |
| ·本章小结 | 第13-14页 |
| 第二章 普适环境中的服务组合技术 | 第14-20页 |
| ·面向服务的体系结构 | 第14-15页 |
| ·SOA | 第14页 |
| ·Web 服务 | 第14-15页 |
| ·Web 服务组合 | 第15页 |
| ·普适环境下面向服务的软件架构 | 第15-19页 |
| ·JINI | 第16-17页 |
| ·UPnP | 第17页 |
| ·OSGi | 第17-18页 |
| ·小结 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第三章 普适环境下服务动态组合的基础框架 | 第20-33页 |
| ·普适环境中的服务动态组合 | 第20-21页 |
| ·分级结构的服务组织方式 | 第21-26页 |
| ·基于设备性能差异的分类 | 第21-22页 |
| ·分级结构的构造 | 第22-23页 |
| ·相关概念 | 第23-26页 |
| ·服务的变动更新 | 第26页 |
| ·基于规则树的服务自动组合 | 第26-31页 |
| ·相关概念 | 第26-30页 |
| ·基于规则树的服务自动组合算法 | 第30-31页 |
| ·普适环境下服务动态组合的基础框架 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第四章 基于ASM 的普适环境下的服务动态组合 | 第33-69页 |
| ·抽象状态机理论 | 第33-39页 |
| ·相关概念 | 第33-34页 |
| ·ASM 迁移规则语法 | 第34-35页 |
| ·基础抽象状态机 | 第35页 |
| ·ASM 中函数、关系及位置的分类 | 第35-36页 |
| ·ASM 的精化 | 第36-39页 |
| ·普适环境下服务动态组合的基础模型 | 第39-40页 |
| ·普适环境下服务动态组合的基础模型的精化 | 第40-53页 |
| ·分级结构管理抽象状态机 | 第40-43页 |
| ·服务编排抽象状态机 | 第43-50页 |
| ·服务执行抽象状态机 | 第50-52页 |
| ·服务执行监控抽象状态机 | 第52-53页 |
| ·从模型精化到代码的指导方法 | 第53-54页 |
| ·可执行验证机制 | 第54-68页 |
| ·CoreASM | 第54-56页 |
| ·CoreASM 的ASM 语法规约 | 第56-58页 |
| ·实验 | 第58-68页 |
| ·本章小结 | 第68-69页 |
| 第五章 全文总结 | 第69-71页 |
| ·主要结论 | 第69-70页 |
| ·研究展望 | 第70-71页 |
| 参考文献 | 第71-75页 |
| 致谢 | 第75-76页 |
| 攻读硕士学位期间已发表或录用的论文 | 第76-77页 |
| 附录 | 第77-79页 |
