基于扩展颜色Petri网的服务组合逻辑模型的构建与验证

文摘

英文文摘

声明

第一章 绪论

1.1课题的背景和意义

1.2研究的主要问题与论文的组织

第二章 研究基础

2.1 Web服务综述

2.1.1 Web服务概念及分类

2.1.2 Web服务体系结构

2.2 Web服务组合概述

2.2.1 Web服务组合的定义

2.2.2 Web服务组合机制

2.2.3 Web服务组合的方法

2.3 Petri网理论与相关技术

2.3.1 Petri网的基本观点

2.3.2简单Petri网基本原理

2.3.3颜色Petri网基本原理

2.3.4 Petri网技术在Web服务组合中的应用

2.4本章小结

第三章 基于扩展颜色Petri网的服务组合逻辑模型的构建

3.1基于扩展颜色Petri网的服务组合元模型

3.1.1静态模型

3.1.2动态模型

3.1.3服务组合建模过程

3.1.4例子

3.2基于扩展颜色Petri的服务组合过程的进化

3.2.1折叠

3.2.2熔合

3.2.3例子

3.3本章小结

第四章 基于扩展颜色Petri网的服务组合模型的验证

4.1性质分析

4.2性质验证基础

4.2.1服务模型扩展

4.2.2验证的过程

4.3性质验证方法

4.3.1可达性验证方法

4.3.2有界性验证方法

4.3.3活性验证方法

4.3.4互斥性验证方法

4.4本章小结

第五章 验证算法和实验

5.1实验方案

5.1.1实验数据

5.1.2实验环境与实验平台

5.2算法描述及实验

5.2.1计算可达树算法

5.2.2关联矩阵算法

5.2.3极小p半流算法

5.3实验评价

5.4本章小结

第六章 结论

参考文献

致谢