基于Petri网的Web服务业务流程验证研究及工具实现

文摘

英文文摘

论文说明：插图清单、表格清单

独创性声明及学位论文版权使用授权书

致谢

第一章 绪论

1.1研究背景及意义

1.2 国内外研究现状

1.2.1 Web服务组合

1.2.2 Web服务组合建模

1.3论文研究内容

1.4论文的组织结构

第二章基于工作流Web服务组合

2.1 Web服务组合技术

2.1.1 Web服务组合方式分类

2.1.2 Web服务组合的构件服务

2.1.3 Web服务组合规范

2.2基于工作流Web服务组合

2.2.1工作流的基本概念

2.2.2 Web服务业务流程特点

2.2.3 Web服务业务流程执行语言BPEL4WS

2.3小结

第三章基于Petri网的Web服务业务流程验证

3.1 Petri网的基本理论

3.1.1 Petri网的基本概念

3.1.2 Petri网基本性质

3.1.3 Petri网基本分析方法

3.2基于Petri网的Web服务业务流程建模

3.3基于Petri网的Web服务业务流程结构正确性验证

3.3.1 Web服务业务流程结构正确性验证方法

3.3.2 Web服务业务流程正确性验证举例

3.4 PNML基本概念

3.5小结

第四章Web服务业务流程验证工具实现

4.1验证工具结构设计

4.2 BPEL 2 PNML XSLT模块

4.2.1 BPEL解析器

4.2.2 BPEL分构器

4.2.3 BPEL 2 PNML转译器

4.2.3 PNML组合器

4.3 PNML Correctness Verification模块

4.3.1 PNML解析器

4.3.2安全性验证

4.4 PNML 2 BPEL XSLT模块

4.5小结

第五章总结与展望

5.1论文总结

5.2下一步研究工作

参考文献

攻读硕士学位期间发表的论文

攻读硕士学位期间参与的项目