Web服务组合工作流建模分析及Petri网验证
| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 插图或附表清单 | 第12-13页 |
| 1 绪论 | 第13-17页 |
| ·研究背景 | 第13-15页 |
| ·研究内容 | 第15-16页 |
| ·论文组织 | 第16-17页 |
| 2 Web服务及Web服务组合技术简介 | 第17-28页 |
| ·Web服务技术 | 第17-22页 |
| ·Web服务的定义及特点 | 第17-19页 |
| ·Web服务体系架构 | 第19-20页 |
| ·Web服务标准 | 第20-22页 |
| ·Web服务优势 | 第22页 |
| ·Web服务组合技术 | 第22-27页 |
| ·Web服务组合的作用 | 第23-24页 |
| ·Web服务组合的特点 | 第24页 |
| ·Web服务组合语言 | 第24-25页 |
| ·Web服务组合建模当前研究 | 第25-27页 |
| ·Web服务组合验证 | 第27页 |
| ·小结 | 第27-28页 |
| 3 Petri网理论 | 第28-36页 |
| ·Petri网的定义 | 第28-29页 |
| ·Petri网的结构 | 第29-30页 |
| ·Petri网性质介绍 | 第30页 |
| ·Petri网分析方法 | 第30-33页 |
| ·可达树(可达图) | 第31-32页 |
| ·关联矩阵和状态方程 | 第32-33页 |
| ·Petri网语言 | 第33页 |
| ·Petri网的扩展 | 第33-34页 |
| ·Petri网的应用 | 第34-35页 |
| ·小结 | 第35-36页 |
| 4 工作流Petri网 | 第36-42页 |
| ·工作流的产生、发展 | 第36页 |
| ·工作流的定义 | 第36-37页 |
| ·工作流的优点 | 第37页 |
| ·工作流Petri网模型(WF-net) | 第37-38页 |
| ·WF-net中Petri网路由结构 | 第38-40页 |
| ·WF-net的触发机制 | 第40-41页 |
| ·小结 | 第41-42页 |
| 5 Web服务组合工作流建模及合理性验证 | 第42-54页 |
| ·层次化Petri网相关概念 | 第42-44页 |
| ·Web服务组合工作流建模 | 第44-45页 |
| ·Web服务组合工作流模型的验证 | 第45-51页 |
| ·Web服务组合工作流建模常见问题 | 第45-47页 |
| ·Web服务组合工作流模型正确性定义 | 第47页 |
| ·Web服务组合工作流模型正确性分析方法 | 第47-51页 |
| ·Web服务组合建模实例 | 第51-53页 |
| ·小结 | 第53-54页 |
| 结论 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 后记或致谢 | 第58-59页 |
| 作者简介及读研期间主要科研成果 | 第59页 |
