基于Petri网的Web服务组合验证与化简

论文题目: 基于Petri网的Web服务组合验证与化简

论文类型: 硕士论文

论文专业: 计算机应用技术

作者: 刘笑锋

导师: 冯少荣

关键词: 服务组合,验证,简化

文献来源: 厦门大学

发表年度: 2005

论文摘要: 近年来Web服务的理论和技术取得了长足的发展,其保证互操作性的协议栈下层在学术界和工业界已基本达成一致.然而Web服务的价值在于服务重用,新兴的Web服务组合正是主要的重用手段。然而基于流程的Web服务组合建模是一个复杂且易出错的过程。如果流程定义在投入运行之后被发现有错,则修复错误的代价相当高,因此,在建模阶段进行有效的过程验证时十分必要的。此外Web服务组合可能存在不必要的流程设计而影响执行效率。本课题提出一个基于Petri网的Web服务组合验证及简化方法,此方法包含建模、验证、简化三个阶段。首先以Petri网结合工作流模式建模Web服务组合;然后根据Petri网的三种性质(可达性,安全性以及死锁)定义出Web服务组合结构正确性验证模型并验证Web服务组合,最后运用流程简化规则简化Web服务组合。在具体实现上,本课题通过把BPEL文件转换成PNML文件来完成Web服务组合的Petri-Net建模;再分别以覆盖树、关联矩阵和状态方程,以及迁移矩阵等分析方法验证PNML文件的上述三项Petri-Net性质。最后以Web服务组合代数方法结合简化规则简化BPEL文件。

论文目录:

摘要

ABSTRACT

第一章绪论

1.1 研究背景

1.2 研究问题

1.3 研究目的

1.4 论文结构

第二章相关技术探讨

2.1 WEB 服务概述

2.2 WEB 服务组合

2.3 WEB 服务组合流程

2.4 WEB 服务组合流程建模

2.5 WEB 服务组合流程简化转换

第三章研究方法设计

3.1 WEB 服务组合验证与简化方法设计理念

3.2 以PETRI-NET 建模WEB 服务组合

3.3 WEB 服务组合结构正确性验证分析

3.4 WEB 服务组合简化

第四章研究方法实现

4.1 实现架构设计

4.2 BPEL2PNML XSLT 代理

4.3 PNML 正确性验证代理

4.4 PNML28PEL XSLT 代理

4.5 BPEL 代数化简代理

第五章结束语

5.1 工作总结

5.2 研究成果比较

5.3 今后的工作

参考文献

附录: 顺序模式XSLT 模板

研究生期间发表的论文和参与的项目

致谢

发布时间: 2006-12-11

参考文献

[1].基于改进模糊Petri网的Web服务组合正确性验证研究[D]. 戴淑晴.南京财经大学2016
[2].基于分层着色Petri网的Web服务组合性能分析[D]. 刘江.江西师范大学2015
[3].基于Petri网的Web服务组合的分析与验证[D]. 高海燕.南京邮电大学2015
[4].基于着色赋时Petri网的Web服务组合性能分析[D]. 刘芙蓉.江西师范大学2012
[5].基于Petri网的Web服务组合验证技术[D]. 张磊.吉林大学2011
[6].基于时序Petri网的Web服务组合建模与质量分析[D]. 赵艳.安徽理工大学2009
[7].基于价格时间Petri网的Web服务组合建模与分析[D]. 邹艳妮.安徽理工大学2008
[8].基于模糊Petri网的语义Web服务组合建模与验证[D]. 吴亮.合肥工业大学2009
[9].基于着色赋时Petri网的Web服务组合流程建模研究[D]. 王赫.大连海事大学2008
[10].基于Petri网的Web服务组合建模[D]. 于素萍.河南大学2008

基于Petri网的Web服务组合验证与化简

猜你喜欢