基于有色Petri网的语义Web服务组合的验证与测试方法

声明

摘要

1 引言

1．1 研究背景和意义

1．1．1 Web服务组合的意义

1．1．2 利用形式化建模方法对于Web服务组合建模

1．1．3 形式化建模方法对于Web服务组合验证与测试的作用

1．2 国内外研究现状

1．2．1 Web服务组合的研究概况

1．2．2 基于Petri网的Web服务组合形式化模型验证与测试方法研究概况

1．2．3 存在的问题

1．3 论文研究内容及创新点

1．4 论文结构

1．5 小结

2 语义Web服务组合及有色Petri网的相关概述

2．1 语义Web服务组合

2．1．1 Web服务与语义Web服务

2．1．2 OWL-S进程

2．1．3 Web服务组合

2．2 有色Petri网

2．2．1 Petri网特点

2．2．2 Petri网定义

2．2．3 有色Petri网

2．2．4 有色Petri网的建模工具——CPN Tools

2．3 小结

3 基于有色Petri网的语义Web服务组合建模与验证

3．1 基于Petri的Web服务组合

3．2 基于有色Petri两的语义Web服务组合建模——OWL-S进程的有色Petri网描述

3．2．1 OWL-S原子进程的有色Petri网描述

3．2．2 OWL-S复合进程的有色Petri网描述

3．2．3 基于有色Petri网的语义Web服务组合建模

3．3 基于有色Petri网的语义Web服务组合模型的有效性验证

3．4 小结

4 基于有色Petri网的语义Web服务组合模型的测试方法

4．1 测试技术

4．1．1 测试类型

4．1．2 基本路径测试法

4．1．2 测试覆盖分析及标准

4．2 基于有色Petri网的测试用例生成方法

4．2．1 完全路径覆盖测试方法

4．2．2 有色Petri网的可达图及其可达树和覆盖树的构造方法

4．3 基于有色Petri网的语义Web服务组合模型的测试方法

4．4 小结

5 实例分析

5．1 实例分析

5．2 小结

6 结论与展望

6．1 结论

6．2 展望

致谢

参考文献

作者简介