一种用于Web服务合成过程建模的不确定性事件代数方法

 Web服务合成是目前的研究热点之一,是Web服务架构中的重要组成部分.Web服务合成过程模型用以描述Web服务合成中各服务组件应该满足的语义约束信息,是自动服务发现及合成的基础.以事件代数作为支撑理论,旨在为Web服务合成过程建模提供一种支持语义表示及推理的形式化方法.针对Web服务合成的特点及合成过程本身具有的不确定性,首先基于统计学习的思想对传统事件代数进行不确定性扩展,给出Web服务不确定事件代数(WSUEA)的定义、操作及语义,进而对服务合成中的顺序、分支及并行等基本情形分别给出其WSUEA表达式、以及相应的概率计算方法.实验验证了所提出方法的有效性.     

一种支持Web服务合成的行为建模方法

Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实验表明,在一定的数据量内,建立服务合成行为模型的性能呈线性变化,给出的方法是可行和有效的,可以作为自动Web服务合成的支撑技术。     

语义Web服务组合实现框架研究

针对不同的Web服务提供商提供的Web服务进行组合存在的异构性问题,提出了基于语义的Web服务组合实现框架.该框架详细阐述了语义Web服务选择策略、组合关系设定、组合Web服务内部各成员之间的数据传输及调用机制等组合实现过程中的关键技术.它在语义层次上对现有Web服务进行了语义描述,很好地解决了现有Web服务语法上的异构问题,有效地改善了Web服务的组合质量.     

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.     

WSDL→Radl-WS生成方法及自动转换系统

精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.     

基于URL语义分析的Web用户会话识别方法

由于现有基于时间和引用的经典会话识别方法在复杂Web使用模式挖掘中存在局限性,提出了一个基于URL语义分析的用户会话识别新方法.这个方法借助Web目录服务,将Web日志中的每一条URL记录赋予一定的语义信息,并给出一些测度指标对URL之间的语义相似度进行评价.对静态和流动两类Web日志情况进行分析,分别给出了语义奇异值...     

基于二元关系的语义Web的建立

为了便于机器理解和提高网络资源的利用率提出了语义Web .基于二元关系讨论了语义Web的建立过程 ,具体给出语义Web中相关语义的形式化定义 ,并基于此给出了语义描述和挖掘方法 ,进行了集合相关语义的完备性的证明 .为了语义Web能应用于实际网络中 ,给出了语义拓展方式的定义 ,继而完成语义Web的形式化定义 ,给出语义Web的整体模型 .最后 ,给出了若干用于检验语义有效性的方法 ,以进一步提高语义Web的实用性 ,至此可创建相对完整的语义Web .     

Web服务合成中的异构问题

分析了Web服务的发布、发现和调用过程,将Web服务合成中存在的异构分为阻碍Web服务最佳查找的语义等价的Web服务概要描述异构、阻碍Web服务动态替换的语义等价的Web服务操作异构和阻碍合成的Web服务正确执行的序列Web服务间数据流的异构·概要描述了Web服务合成中存在的各种异构冲突,并将Web服务合成中存在的异构归纳为语义冲突、数据类型冲突、结构类型冲突、参数个数冲突、数据量纲冲突和数据精度冲突六类·针对这六类冲突,详细地定义了解决各种冲突的相应转换规则·     

基于消息关联关系的Web服务组合模型

分析了Web服务之间存在的语义关联关系,给出了Web服务之间关联关系映射为消息传递关系的相关定义及消息处理规则,提出了基于消息关联关系的语义Web服务组合模型,阐述了组合服务生成时消息处理过程.该模型为用户提供了一种简单、通用的服务组合机制,降低了语义Web服务组合的复杂性.     

基于图论的Web服务合成算法

研究了Web服务合成问题,解决该问题的关键是对候选Web服务的输入输出数据关系进行建模,以及有效地利用这些已有的数据依赖关系实现服务合成请求.通过从Web服务规范语言中提取Web服务的语义信息,构建Web服务的依赖图;提出了一种基于搜索算法的Web服务合成算法,获取满足特定服务请求的Web服务合成.