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  Web服务组合建模
　　1.2.3  Web服务组合验证
　　1.3  本书研究内容和创新点
　　1.4  本书的组织结构
　　2  Web服务组合的语义Petri网模型
　　2.1  Petri网
　　2.1.1  Petri网概念
　　2.1.2  Petri网性质
　　2.1.3  Petri网分析方法
　　2.2  有色Petri网
　　2.3  Petri网描述语言PNML
　　2.3.1  PNML结构
　　2.3.2  基于XML的PNML语法
　　2.3.3  Petri网类型定义
　　2.4  语义Petri网模型
　　2.4.1  OWL-S
　　2.4.2  语义Petri网
　　2.5  语义Petri网的PNML
　　2.6  Web服务组合模式
　　2.7  Web组合服务形式化建模应用
　　2.8  本章小结
　　3  Web服务组合流程正确性验证
　　3.1  Web服务组合形式化验证
　　3.1.1  Web服务组合形式化验证目的
　　3.1.2  相关Web服务组合形式化验证方法
　　3.2  Web服务组合流程正确性验证
　　3.2.1  服务组合语法正确性验证
　　3.2.2  服务组合可达性验证
　　3.2.3  服务组合死锁验证
　　3.2.4  服务组合有界性验证
　　3.3  本章小结
　　4  Web服务组合语义一致性验证
　　4.1  Web服务组合语义一致性内容
　　4.2  Web服务组合功能一致性验证
　　4.2.1  服务组合功能一致性
　　4.2.2  服务组合功能一致性验证
　　4.3  Web服务组合行为一致性验证
　　4.3.1  服务组合行为一致性
　　4.3.2  服务组合行为一致性验证
　　4.4  Web服务组合QoS一致性验证
　　4.4.1  服务组合QoS一致性
　　4.4.2  服务组合QoS一致性验证
　　4.5  本章小结
　　5  水资源调度组合系统的建模与验证
　　5.1  水利领域应用背景
　　5.2  基于web服务组合的水资源调度系统
　　5.2.1  水资源调度组合系统的分析
　　5.2.2  水资源调度组合系统的语义Petri网模型
　　5.2.3  水资源调度组合系统的PNML描述
　　5.2.4  水资源调度组合系统的验证
　　5.3  本章小结
　　6  总结和展望
　　6.1  本书总结
　　6.2  下一步研究工作
　　参考文献
　　后记

　　    1971年4月出生，江苏连云港人，副教授，工学博士，南京财经大学信息工程学院教师，目前在河海大学计算机与信息工程学院攻读计算机软件与理论博士后，师从著名学者王志坚教授。 主要研究方向：服务计算、软件测试和软件自动化。先后参与同家自然科学基金“多任务学习的研究”（60805022），国家自然科学基金项目“基于动态行为的Web构件匹配机制研究”（60573098），国家973项目（2002CB312002）子课题“网构软件组装机制研究”，江苏省自然科学基金项目“基于语义的Web构件检索匹配方法研究”（BK2006168），江苏省高新技术项目“基于主动服务的数据集成半台技术研究”（BG2005036）等项目研究工作，以及大量计算机应用开发项目，发表论文20余篇。