语义Web服务组合若干关键技术研究

　　前言
　　第1章绪论
　　1.1研究背景
　　1.1.1Web服务
　　1.1.2语义Web服务
　　1.1.3Web服务组合
　　1.2研究目标、思路及主要内容
　　1.2.1研究目标
　　1.2.2研究思路及主要内容
　　1.3本书结构
　　第2章基于Petri网的Web服务及服务组合建模
　　2.1Petri网的基本概念
　　2.2OWLS进程
　　2.2.1OWL-S原子进程的Petri网描述
　　2.2.2OWL-S复合进程的Petri网描述
　　2.3基于颜色标签Petri网的Web服务组合模型
　　2.4本章小结
　　第3章基于Petri网的语义Web服务组合
　　3.1Web服务组合中的依赖关系
　　3.2基于模糊推理Petri网的Web服务Pet“网描述
　　3.3基于Petri网的Web服务依赖关系图
　　3.4基于模糊推理Petri网的Web服务组合
　　3.4.1基于推理Petri网推理的基本概念
　　3.4.2基于推理Petri网的Web服务组合两阶段算法
　　3.5基于推理Petri网的Web服务组合两阶段算法示例
　　3.6本章小结
　　第4章可信Web服务组合的形式化验证
　　4.1Web服务组合的行为特性验证
　　4.2web服务组合的可靠性验证
　　4.3实验结果与分析
　　4.4本章小结
　　第5章Web服务组合事务模型及异常恢复
　　5.1Web服务组合中Web服务的活动特性及事务模型
　　5.1.1Web服务的活动特性
　　5.1.2Web服务组合的事务模型
　　5.2Web服务组合异常恢复的基本概念
　　5.3基于ECA规则的Web服务组合异常恢复
　　5.3.1基于ECA规则的web服务组合异常恢复模型
　　5.3.2基于ECA规则的Web服务组合异常恢复实例
　　5.4基于层次式恢复算法WSC Recovery的Web服务组合异常恢复
　　5.4.1基于层次Petri网的WSC Recovery异常处理补偿模型
　　5.4.2Web服务组合异常处理恢复的WSC Recovery算法
　　5.4.3WSC Recovery算法正确性分析
　　5.5本章小结
　　第6章Web服务组合辅助工具CPN4WSC原型
　　6.1基于CPN4WSC的Web服务组合系统模型
　　6.2Web服务组合辅助工具CPN4WSC原型系统
　　6.2.1CPN4WSC的设计
　　6.2.2CPN4WSC的功能模块
　　6.3本章小结
　　第7章结束语
　　7.1主要工作和创新点
　　7.2工作展望
　　参考文献

　　本书根据Web服务组合的生命周期，展开语义Web服务组合关键技术研究，重点在：Web服务和Web服务组合的形式化模型，Web服务自动组合的推理算法，Web服务组合的正确性验证，Web服务组合的异常处理等四个方面进行了有效的探索与尝试，使用Petri网形式化技术提出了具体的解决方法，同时开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC。