Web服务组合建模与验证
Web服务组合建模与验证封面图

Web服务组合建模与验证

程永上, 著

出版社:中国物资出版社

年代:2011

定价:28.0

书籍简介:

本书主要研究方向为对有色Petri网进行了扩展,增加了语义和非功能属性标注,提出了语义Petri网模型来对Web服务及其组合进行形式化建模,并用Petri网标记语言PNML对其进行描述。

作者介绍:

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

书籍目录:

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 下一步研究工作

参考文献

后记

编辑推荐:

《Web服务组合建模与验证》所做的研究主要集中在Web服务组合建模和验证上。首先,对有色Petri网进行了扩展,增加了语义和非功能属性的标注,提出了语义Petri网模型来对Web服务及其组合进行形式化建模,并用Petri网标记语言PNML对其进行描述。其次,基于语义Petri网的定义、网结构特征和网运行规则,完善了Web服务组合的语法正确性验证算法,以工作流技术为基础,改进了Web服务组合的流程正确性验证算法。再次,从Web服务组合的功能和非功能属性考虑用户的满意度,给出了服务组合语义一致性含义,并从服务组合功能一致性、行为一致性和QoS一致性三个方面验证了Web服务组合语义一致性,给出了相应的算法。最后,将基于语义Petri网的服务组合建模与验证应用于水利领域,给出了水资源调度组合系统的语义Petri网模型,并给出了模型的PNML描述,服务组合系统的流程正确性和语义一致性也被分析验证。

书籍规格:

书籍详细信息
书名Web服务组合建模与验证站内查询相似图书
9787504738585
如需购买下载《Web服务组合建模与验证》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位中国物资出版社
版次1版印次1
定价(元)28.0语种简体中文
尺寸26 × 19装帧平装
页数印数

书籍信息归属:

Web服务组合建模与验证是中国物资出版社于2011.5出版的中图分类号为 TP393.09 的主题关于 网络编程 的书籍。