新書推薦:
《
画艺循谱:晚明的画谱与消闲
》
售價:NT$
653.0
《
新民说·现实政治史:从马基雅维利到基辛格
》
售價:NT$
454.0
《
宽容是件奢侈品(人生360度·一分钟经典故事)
》
售價:NT$
203.0
《
甲骨拼合六集
》
售價:NT$
1520.0
《
视觉美食家:商业摄影实战与创意解析
》
售價:NT$
602.0
《
中国经济发展的新阶段:机会与选择
》
售價:NT$
454.0
《
DK月季玫瑰百科
》
售價:NT$
959.0
《
为你想要的生活
》
售價:NT$
301.0
|
編輯推薦: |
何丰著的《语义Web服务组合若干关键技术研究》目标是使用Petri网形式化方法,对Web服务自动组合研究领域中的几个关键技术问题进行探索与尝试,希望对推进Web服务组合技术的理论与应用研究具有一定的参考价值。
本书可作为理工科院校计算机专业研究生的参考书,也可作为Web服务组合研究和应用开发人员较快地了解相关领域知识及技术的参考资料。
|
內容簡介: |
本书根据Web服务组合的生命周期,展开语义Web服务组合关键技术研究,重点在:Web服务和Web服务组合的形式化模型,Web服务自动组合的推理算法,Web服务组合的正确性验证,Web服务组合的异常处理等四个方面进行了有效的探索与尝试,使用Petri网形式化技术提出了具体的解决方法,同时开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC。
|
目錄:
|
前言
第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工作展望
参考文献
|
|