实时服务构件的语义特征和行为组装形式化技术研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第1章 绪论 | 第11-15页 |
| ·研究背景与意义 | 第11-12页 |
| ·主要研究内容 | 第12-13页 |
| ·本文篇章结构 | 第13-14页 |
| ·本章小结 | 第14-15页 |
| 第2章 实时服务构件研究综述 | 第15-33页 |
| ·概述 | 第15-16页 |
| ·实时服务构件 | 第16-24页 |
| ·服务构件的概念 | 第17-19页 |
| ·实时服务构件的基本特征 | 第19-20页 |
| ·服务构件组合 | 第20-24页 |
| ·形式化方法 | 第24-28页 |
| ·模型验证技术 | 第28-31页 |
| ·模型检测 | 第28-29页 |
| ·模型检测工具 | 第29-31页 |
| ·本章小结 | 第31-33页 |
| 第3章 基于OCL的实时服务构件语义特征描述模型 | 第33-53页 |
| ·问题背景 | 第33页 |
| ·对象约束语言OCL简介 | 第33-38页 |
| ·OCL的特性 | 第34-35页 |
| ·OCL的构成 | 第35-37页 |
| ·OCL应用讨论 | 第37-38页 |
| ·实时服务构件特征语义表示模型 | 第38-45页 |
| ·构件特征表示模型 | 第38-40页 |
| ·构件特征约束 | 第40-45页 |
| ·实例分析 | 第45-50页 |
| ·面向电子商务的构件特征树 | 第45-48页 |
| ·模型的正确性 | 第48页 |
| ·模型的有效性 | 第48-50页 |
| ·模型的扩展性 | 第50页 |
| ·相关工作比较 | 第50-51页 |
| ·本章小结 | 第51-53页 |
| 第4章 基于HTA的实时服务构件形式化模型 | 第53-67页 |
| ·问题背景 | 第53-54页 |
| ·TA和HTA | 第54-56页 |
| ·实时服务构件的层次时间自动机模型 | 第56-57页 |
| ·构件组装 | 第57-61页 |
| ·绑定组装 | 第58-60页 |
| ·连接组装 | 第60-61页 |
| ·组装分析 | 第61-63页 |
| ·非法状态 | 第61-62页 |
| ·构件语义可组合 | 第62页 |
| ·实例分析 | 第62-63页 |
| ·相关工作比较 | 第63-64页 |
| ·本章小结 | 第64-67页 |
| 第5章 基于HTA的实时服务构件组装模型验证算法 | 第67-75页 |
| ·问题背景 | 第67页 |
| ·LTS和MLTS | 第67-69页 |
| ·验证算法 | 第69-71页 |
| ·算法的基本思想 | 第69页 |
| ·算法描述 | 第69-71页 |
| ·实例分析 | 第71页 |
| ·相关工作比较 | 第71-73页 |
| ·本章小结 | 第73-75页 |
| 第6章 实例分析:移动小额支付视频点播系统 | 第75-89页 |
| ·引言 | 第75页 |
| ·系统概况 | 第75-78页 |
| ·系统体系结构 | 第75-77页 |
| ·系统层次框架 | 第77-78页 |
| ·系统业务流程 | 第78页 |
| ·系统建模 | 第78-86页 |
| ·构件的静态语义特征描述 | 第79-83页 |
| ·动态行为建模 | 第83-86页 |
| ·验证分析 | 第86-88页 |
| ·本章小结 | 第88-89页 |
| 第7章 总结及展望 | 第89-93页 |
| ·论文工作总结 | 第89-90页 |
| ·进一步工作 | 第90-93页 |
| 参考文献 | 第93-102页 |
| 附录 | 第102-104页 |
| 攻读博士学位期间发表和录用的文章 | 第104-105页 |
| 参加的科研项目 | 第105-106页 |
| 致谢 | 第106页 |
