| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-12页 |
| ·问题的提出 | 第9-10页 |
| ·研究内容和进展 | 第10-11页 |
| ·本文的组织结构 | 第11-12页 |
| 第二章 面向对象Petri网——OOPN | 第12-19页 |
| ·Petri网相关概念 | 第12-15页 |
| ·基本Petri网简介 | 第12-14页 |
| ·Petri网的特点 | 第14-15页 |
| ·高级Petri网 | 第15-18页 |
| ·面向对象与Petri网的结合 | 第15-16页 |
| ·OOPN的结构定义 | 第16-17页 |
| ·OOPN的形式化定义 | 第17-18页 |
| ·OOPN的运行规则 | 第18页 |
| ·本章小结 | 第18-19页 |
| 第三章 Web服务及其组合 | 第19-28页 |
| ·Web服务简介 | 第19-22页 |
| ·Web服务的定义 | 第19页 |
| ·Web服务体系结构 | 第19-20页 |
| ·Web服务相关技术 | 第20-22页 |
| ·Web服务的特点 | 第22页 |
| ·Web服务组合 | 第22-23页 |
| ·Web服务组合的研究背景 | 第22-23页 |
| ·Web服务组合的研究意义 | 第23页 |
| ·Web服务组合的研究现状 | 第23-26页 |
| ·基于人工智能的Web服务组合 | 第24-25页 |
| ·基于业务流程驱动的Web服务组合 | 第25-26页 |
| ·基于Petri网的Web服务组合现状 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第四章 基于OOPN的Web服务组合模型WSC-OOPN | 第28-37页 |
| ·Web服务组合模型WSC-OOPN | 第28-29页 |
| ·WSC-OOPN的运行规则 | 第29-33页 |
| ·WSC-OOPN的基本变迁结构 | 第29-30页 |
| ·基于WSC-OOPN的Web服务组合基本运算 | 第30-33页 |
| ·直接提取运算 | 第30-31页 |
| ·迭代运算 | 第31页 |
| ·顺序运算 | 第31-32页 |
| ·选择运算 | 第32页 |
| ·任意次序运算 | 第32-33页 |
| ·并发运算 | 第33页 |
| ·正确性验证 | 第33-36页 |
| ·WSC-OOPN模型的安全性验证 | 第34页 |
| ·WSC-OOPN模型的可达性验证 | 第34-35页 |
| ·WSC-OOPN模型的死锁验证 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第五章 WSC-OOPN上基于优先级算法的Web服务组合 | 第37-42页 |
| ·优先级定义 | 第37页 |
| ·优先级算法 | 第37-39页 |
| ·优先级算法步骤 | 第37-38页 |
| ·优先级算法伪代码表示 | 第38-39页 |
| ·实例分析 | 第39-41页 |
| ·问题描述 | 第39页 |
| ·组合过程 | 第39-41页 |
| ·本章小结 | 第41-42页 |
| 第六章 总结和展望 | 第42-44页 |
| ·总结 | 第42页 |
| ·展望 | 第42-44页 |
| 参考文献 | 第44-47页 |
| 在校期间的研究成果及发表的学术论文 | 第47-48页 |
| 致谢 | 第48页 |