首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

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页

论文共59页,点击 下载论文
上一篇:废气再循环在柴油机上的应用研究
下一篇:试论五戒在西藏社会中所起的作用