基于参数相似度的语义Web服务组合研究

本文在分析现有相关研究基础上,提出了基于参数相似度的信息类Web服务组合方法,详细描述了基于本体的方法得到词汇相似度和基于人工智能规划(AI Planning)的自动信息类Web服务组合方法.该方法可以根据用户需求直接生成服务组合序列,整个Web服务的组合和调用完全绑定在一起,直接将组合结果返回给用户,同时保证组合的效率和质量.     

基于Petri网和WS-BPEL的自动服务组合研究

为了研究Web服务的自动组合,首先设计从BPEL文档到Petri网的转换规则,并在Petri网中显示BPEL文件的执行流程,然后按照深度优先搜索算法以搜索两个状态之间的可达路径,并提供服务组合质量信息给用户,最后按照搜索到的路径,自动生成可执行BPEL文件.     

SOA架构下基于Petri网的Web服务协商模型

针对SOA实施过程中Web服务协商的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间动态地协商服务信息,并采用Petri网模型对该协议进行了形式化描述,对Web服务组合进行建模及元素映射,给出了Petri网模型生成算法.     

结合语义与模糊推理的两阶段服务组合

如何选择Web服务使组合服务的功能性属性与非功能性属性都能满足实际需求,是当前服务组合领域研究的一个重要问题.通过引入语义和服务质量,给出服务组合的形式化分析方法.该方法采用模糊Petri网建模,利用模糊Petri网的模糊推理能力,在语义层次上对服务组合进行功能性匹配.提出服务的服务质量QoS匹配度模型,对组合服务进行服务质量匹配.仿真结果表明,该方法可以解决综合考虑语义和服务质量的组合问题.     

OOPN下基于优先级算法的Web服务组合

结合面向对象技术和Petri网技术的优点,将Web服务映射为一个对象,把对象抽象为一个方法的集合,通过对象的输入输出消息接口在方法层上讨论Web服务的组合.给出第一、第二优先级的定义,设计一个优先级算法,根据优先级能够选择出最佳的Web服务进行组合,从而得到最优组合Web服务,满足用户的服务请求.最后,给出一个Web服...     

Web服务组合可靠性测试分析系统的设计与实现

由于Web服务组合复杂多样,传统的Web服务组合可靠性测试分析系统无法对其进行有效测试,测试分析的准确性较低。因此,提出基于Petri网的Web服务组合可靠性测试分析系统,Petri网能够构建高质量且可靠的Web服务组合分析系统,所构建的系统中各个模块能够同步运转且独立进行工作,细致描述了Petri网Web服务组合中的原子操作模块、顺序操作模块、选择操作模块和共同操作模块的工作流程,并给出Web服务的可靠性分析函数表达式,以及Web服务本体扩展流程的关键代码。实验结果表明,所设计的系统是有效的,并且具有较高的可靠性测试准确性。     

基于开放Petri网的Web服务行为弱合理性分析

目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.     

基于层次实时有色Petri网的实时服务描述研究

Web服务描述与组合是实现面向服务计算的关键,但目前Web服务描述研究对Web服务的实时性与智能性因素考虑不多,不适合用于分布式实时系统中的服务描述。该文首先定义了适合实时服务描述的实时有色Petri网(RTCPN)与层次实时有色Petri网(HRTCPN),然后建立了原子实时服务到RTCPN映射描述模型(AS-RTCPN),对服务组合运算规则进行了详细描述与建模,最后形成了服务组合HRTCPN描述模型的简化算法,并给出了HRTCPN的可达服务图RSG的定义及构建算法,证明了HRTCPN模型的正确性。     

Web服务组合中行为兼容性分析与优化控制策略

针对Web服务组合中交互行为不兼容问题,本文提出了基于Petri网的优化控制策略来规避.首先,给出了多个服务交互行为不兼容的实例.其次,给出了受控服务组合的形式化定义,并根据约减规则生成了约减的服务组合网状态可达图,从而识别出死锁状态和无死锁状态.在导致死锁状态的关键变迁上添加相应的控制库所和弧,并结合最大允许反馈控制...     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.