网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 Web服务组合建模与验证
分类 教育考试-考试-计算机类
作者 程永上
出版社 中国财富出版社
下载
简介
编辑推荐

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

目录

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

参考文献

后记

随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/8 9:40:54