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页 |