基于Petri网的Web服务组合建模
| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 绪论 | 第8-15页 |
| ·研究背景 | 第8-9页 |
| ·研究现状 | 第9-11页 |
| ·Web 服务的发展 | 第11-12页 |
| ·Web 服务的分类 | 第12-14页 |
| ·论文的主要工作 | 第14-15页 |
| 第2章 Web 服务技术 | 第15-28页 |
| ·Web 服务 | 第15-21页 |
| ·Web 服务的基本概念 | 第15-16页 |
| ·Web 服务的体系结构 | 第16-18页 |
| ·Web 服务的协议栈 | 第18-20页 |
| ·Web 服务的优点 | 第20-21页 |
| ·Web 服务组合 | 第21-25页 |
| ·Web 服务组合的概念 | 第21-22页 |
| ·Web 服务组合的分类 | 第22页 |
| ·Web 服务组合的方法 | 第22-25页 |
| ·Web 服务的模型 | 第25-26页 |
| ·Web 服务组合系统 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 Petri 网理论基础 | 第28-46页 |
| ·Petri 网的优点 | 第28-29页 |
| ·Petri 网的定义 | 第29-33页 |
| ·Petri 网的扩展 | 第33页 |
| ·Petri 网的路由结构 | 第33-34页 |
| ·用Petri 网描述服务基本结构 | 第34-41页 |
| ·调用 | 第34页 |
| ·顺序 | 第34页 |
| ·分支 | 第34-35页 |
| ·循环 | 第35页 |
| ·并行 | 第35-41页 |
| ·用Petri 网构建Web 服务组合 | 第41-45页 |
| ·服务的准备 | 第41-42页 |
| ·Web 服务组合的Petri 网模型 | 第42-43页 |
| ·Web 服务动态组合 | 第43页 |
| ·活动图生成过程 | 第43-44页 |
| ·任务的指派和服务的绑定 | 第44页 |
| ·实现 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第4章 Web 服务组合的结构冲突检查 | 第46-54页 |
| ·组合中服务控制的表示 | 第46-47页 |
| ·Web 服务组合结构冲突检查方法 | 第47-48页 |
| ·改进的Web 服务组合结构冲突检查方法 | 第48-51页 |
| ·结构冲突检查方法的证明 | 第51-52页 |
| ·本章小结 | 第52-54页 |
| 第5章 基于Petri 网的Web 服务组合模型 | 第54-70页 |
| ·Web 服务模型 | 第54-58页 |
| ·Web 服务组合系统 | 第58-59页 |
| ·Web 服务的协同 | 第59-61页 |
| ·Web 服务自动组合 | 第61-63页 |
| ·Web 服务组合的应用 | 第63-65页 |
| ·Web 服务组合模型的比较 | 第65-68页 |
| ·本章小结 | 第68-70页 |
| 结语 | 第70-71页 |
| 致谢 | 第71-72页 |
| 参考文献 | 第72-75页 |
| 攻读硕士期间的科研工作 | 第75页 |
