基于OCL的Web服务组合形式化约束研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第1章 引言 | 第9-15页 |
| ·选题依据 | 第9-10页 |
| ·课题来源 | 第10页 |
| ·国内外研究现状 | 第10-12页 |
| ·论文主要研究内容 | 第12-13页 |
| ·论文的组织与结构 | 第13-15页 |
| 第2章 Web服务组合的基本理论 | 第15-25页 |
| ·Web服务的基本概念及特征 | 第15-16页 |
| ·Web服务体系结构 | 第16-18页 |
| ·Web服务关键技术 | 第18-21页 |
| ·SOAP | 第18页 |
| ·WSDL | 第18-20页 |
| ·UDDI | 第20-21页 |
| ·Web服务组合 | 第21-23页 |
| ·服务组装模型 | 第22页 |
| ·服务组装方法 | 第22-23页 |
| ·本章小结 | 第23-25页 |
| 第3章 对象约束语言OCL | 第25-35页 |
| ·OCL概述 | 第25-26页 |
| ·OCL的产生 | 第25页 |
| ·OCL的特征 | 第25-26页 |
| ·OCL的作用 | 第26页 |
| ·OCL标准类型 | 第26-35页 |
| ·OCL基本数据类型 | 第27-29页 |
| ·OCL集合类型 | 第29页 |
| ·OCL集合类型的操作 | 第29-35页 |
| 第4章 基于OCL的Web服务组合形式化约束 | 第35-59页 |
| ·问题提出 | 第35页 |
| ·建模实例描述 | 第35-37页 |
| ·相关定义和概念 | 第37-41页 |
| ·对象object | 第37页 |
| ·对象操作operation | 第37-38页 |
| ·不变量invariant | 第38-39页 |
| ·前置条件precondition | 第39-40页 |
| ·后置条件postcondition | 第40-41页 |
| ·OCL在Web服务组合建模过程中的约束 | 第41-57页 |
| ·非关联性约束 | 第42-43页 |
| ·前驱-后继关系 | 第43-46页 |
| ·分支约束 | 第46-48页 |
| ·互斥约束 | 第48-49页 |
| ·互补关系 | 第49-50页 |
| ·父子约束 | 第50-53页 |
| ·重数约束 | 第53-55页 |
| ·可替换性约束 | 第55-57页 |
| ·小结 | 第57-59页 |
| 第5章 Web服务组合形式化约束的实现 | 第59-65页 |
| ·Web服务组合语言可视化编辑器区域的实现 | 第59页 |
| ·Web服务组合语言可视化编辑器中的图符实现 | 第59-61页 |
| ·属性视图的建立 | 第61-62页 |
| ·对OCL表达式的翻译检查 | 第62-64页 |
| ·小结 | 第64-65页 |
| 第6章 结论和展望 | 第65-67页 |
| ·总结 | 第65-66页 |
| ·下一步工作 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 致谢 | 第70-71页 |
| 研究生履历 | 第71页 |
