基于行为的Web服务相容性与可替换性研究
| 论文摘要 | 第1-7页 |
| ABSTRACT | 第7-10页 |
| 第1章 绪论 | 第10-17页 |
| ·研究背景 | 第10-11页 |
| ·国内外相关研究现状 | 第11-14页 |
| ·本文主要工作 | 第14-15页 |
| ·本文的研究意义 | 第14页 |
| ·本文的研究目标 | 第14页 |
| ·本文的研究内容 | 第14-15页 |
| ·本文的组织与结构 | 第15-17页 |
| 第2章 Web服务与Web服务组合基本理论 | 第17-27页 |
| ·Web服务的基本理论 | 第17-20页 |
| ·Web服务的定义 | 第17页 |
| ·Web服务的体系结构 | 第17-20页 |
| ·Web服务组合的基本理论 | 第20-27页 |
| ·Web服务组合的研究框架 | 第20-22页 |
| ·Web服务组合方式的分类与比较 | 第22-27页 |
| 第3章 确定型有限自动机与通信顺序进程CSP | 第27-33页 |
| ·确定型有限自动机 | 第27-28页 |
| ·确定型有限自动机的定义 | 第27页 |
| ·确定型有限自动机的语义 | 第27-28页 |
| ·通信顺序进程 | 第28-33页 |
| ·进程(Process) | 第29-30页 |
| ·选择(Choice) | 第30-31页 |
| ·踪迹(Trace) | 第31-33页 |
| 第4章 Web服务组合的相容性判定方法 | 第33-53页 |
| ·单个Web服务的模型 | 第33-34页 |
| ·Web服务组合相容性的判定条件 | 第34-36页 |
| ·Web服务组合相容性的判定方法 | 第36-53页 |
| ·路径(path) | 第38页 |
| ·验证算子——"\\" | 第38-40页 |
| ·验证过程 | 第40-53页 |
| 第5章 Web服务组合的可替换性研究 | 第53-64页 |
| ·服务可替换性的产生与发展 | 第53-54页 |
| ·服务可替换性的充要条件研究 | 第54-61页 |
| ·服务可替换性的第一组充分条件 | 第55-57页 |
| ·服务可替换性的第二组充分条件 | 第57-58页 |
| ·服务可替换性的充要条件 | 第58-61页 |
| ·服务可替换性与相容性的关系 | 第61-64页 |
| 第6章 总结与展望 | 第64-66页 |
| ·本文工作总结 | 第64页 |
| ·未来前景展望 | 第64-66页 |
| 附录 | 第66-67页 |
| 参考文献 | 第67-71页 |
| 后记 | 第71页 |
