基于接口自动机的BPEL4WS Web服务组合形式化模型

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

一种基于接口匹配的组合Web服务描述语言

从基于WSDL的服务接口描述语言入手,分析了Web服务组合的类型和消息依赖关系.将服务组合分为顺序组合、替换组合、混合式组合三种类型;结合这些类型,将组合服务中的消息依赖定义为消息映射依赖、消息合成依赖和消息分解依赖三种关系.在此基础上,提出了一种轻量级的组合服务描述语言(CWSDL).     

基于有限状态自动机的Web服务组合

Web服务是Web上的特殊软件资源,可以被应用系统发现和调用.如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题.通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要.结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划.同时讨论了算法的复杂性.     

一种基于扩展有限自动机验证组合Web服务的方法

为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.     

BPEL中基于有限状态自动机的Web服务自动组合

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.     

Web服务组合方法研究

本文对当前Web服务组合的研究现状进行了阐述。介绍了服务组合的概念和实现框架,阐述了工作流模型、形式化和语义三大类Web服务组合方法,最后从五个方面对这三类组合方法进行了比较分析。     

一种有QoS保障的Web服务组合方法

随着可用Web Services数量的快速增长，如何根据用户的需求来自动组合Web Services，生成满足用户需求的组合业务，成为一项亟待解决的课题。提出了一种基于QoS的启发式算法，通过该算法，动态调用Web Services来自动生成满足用户所需目标的Web Service组合．同时，该算法还能够根据Web Services组合经验，对以后的Web Services组合方案进行调整。实验结果表明：该算法能够很好地适应网络上Web Services的不确定情况，与同类算法进行性能比较，也显示出较好的性能。     

基于遗传算法的Web服务组合优化

近年来国内外学术界和行业界围绕着Web服务组合开展了大量的研究工作,这些研究都把重点放在Web服务组合功能的实施上,而对组合服务质量的研究甚少.在建立Web服务组合优化模型的基础上,将遗传算法引入到Web服务组合中去,提出了基于遗传算法的Web服务组合的优化方法,给出了构建基于遗传算法的Web服务组合模型和求解方法,从而可以提高组合服务的质量,并能够使Web服务组合满足个性化需求.     

基于有限状态自动机的组合Web服务性能优化

组合Web服务的业务流程可以通过有限状态自动机来描述。传统的组合Web服务采用集中式的执行方式,它会带来不必要的网络流量和数据堵塞,造成大量的通信开销。提出一种基于有限状态自动机的非集中式的执行策略,在自动机的状态空间中运用启发式搜索算法执行总体代价最优的路径,从而有效减少消息传递数量,提高系统吞吐量。基于该方案设计了一个原型系统来验证系统整体性能的最优化。     

基于服务簇和QoS的Web服务组合方法

针对海量的语义Web 服务组合中如何提高搜索速度和获得最优组合的问题,提出了一种基于服务簇和服务质量(QoS)的快速组合方法。利用预先建立的服务簇进行服务搜索,可以有效缩小搜索空间,降低语义比较的复杂度,快速得到候选服务集合。组合过程中基于服务的最优组合QoS值动态确定阈值进行服务过滤,可以获得多个最优组合。同时采用高效的冗余处理方法保证组合中冗余服务最少,并采用服务簇内部过滤的方法限制候选服务数量,解决了因组合过多造成的运行超时问题。基于海量服务库进行实验,结果表明,服务搜索效率比普通搜索方法可提高几十倍,服务过滤和冗余处理效果明显,可快速获得多个QoS最优的无冗余组合,并且在百万级服务库进行大层次深度的组合时仍可保证良好的运行性能。     

基于WSFL的Web服务组合

运用Web服务组合技术可以将越来越多的Web服务组合成一个更新更强大的服务.随着Web服务组合技术的发展,出现了各种用于描述和规范Web服务组合过程的语言.其中,WSFL是一种相对成熟的Web服务组合语言.介绍了Web服务组合的概念、方式、过程以及WSFL的相关概念,提出了使用WSFL在多个服务提供者之间进行商业过程的模型.     

基于有限状态自动机的服务组合模型

分析了目前服务计算的研究现状和存在的问题，在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA（Finite State Automata with condition），并给出了基于cFSA的服务理论模型．在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法．     

基于成本效益系数的Web服务组合可靠性优化方法

为了解决Web服务组合优化过程计算量大、非线性等问题,提出在给定成本约束下利用成本效益系数(CBC)对Web服务组合可靠性进行优化的方法。首先分析了Web服务组合结构模式及其对应的可靠性函数,进一步给出服务组合的可靠性计算方法,并建立非线性可靠性优化模型;然后,通过组件服务的成本及其可靠性关系计算成本效益系数,进一步确定Web服务组合的优化方案,再根据优化模型计算得到优化结果;最后,以组件服务可靠性数据为基础,通过与传统的优化方法比较,验证了基于成本效益系数的方法可以在给定成本约束时获得更高的可靠性。实验结果表明,所提方法对Web服务组合进行可靠性优化是有效、合理的。     

基于社团服务链的Web服务组合方法

针对Web服务组合的时间效率提高问题,提出了一种基于服务社团和服务链的Web服务组合方法。在构造的服务网络上应用基于信息中心度的服务社团发现方法,将Web服务网络划分为不同的服务社团,然后构造了社团服务链发现算法和基于服务链的Web服务组合算法,这些算法将服务社团内Web服务之间的所有可组合关联转变成服务链,实现了基于社团服务链和服务质量(QoS)剪枝的Web服务组合过程。实验结果表明,与传统的图深度遍历Web服务组合方法相比,基于社团服务链的Web服务组合方法在5个测试集上的响应时间平均提高了46%,最好情况为67%。社团服务链可以有效地减少针对当前服务请求的服务搜索空间,提高服务组合的时间效率。     

基于业务规则的Web服务整合

Web服务实现了Internet环境下企业应用的松散耦合与集成,使企业可以方便地集成现有的应用和部署新的应用。当前,已有不少Web服务整合模型提出,但大多忽视了业务规则在模型中的重要作用。为此提出了一个基于结构化的业务规则的Web服务整合模型来实现业务过程的动态整合,并将详细阐述整合模型所需的基本元素和结构化业务规则思想,以及Web服务整合的过程。     

一种基于OWL-S的语义Web服务自动组合方法*

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。     

基于麻雀算法的Web服务组合

为解决当前Web服务组合问题模型单一,面对复杂问题效率低下等问题,提出一种基于Petri网的服务组合模型(SCPN),清楚描述服务之间约束关系和执行逻辑,通过实验验证所提模型的可行性;提出一种改进的麻雀搜索算法(SSA)对所提模型进行结合求解服务组合问题,通过使用一种自适应调节步长因子的方法,提高SSA算法的全局搜索能...     

多Agent Web服务组合系统的设计

设计一种基于Agora系统平台的Web服务自动组合系统框架。使用主体 Agent 代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主要部件构建出具有逻辑推理能力的辅助Agora节点。实现了采用状态演算作为主要规划技术的服务组合系统。     

基于Pareto解集的Web服务组合推优方案

本文针对已有的Web服务组合解决方案的不足,提出一种针对多目标的新的Web服务组合优化方案。利用粒子群算法的寻优原理,结合其他的进化算法,对粒子位置的更新策略重新进行新的定义,来模拟组合过程,同时优化多个目标,通过多次迭代更新,产生一组满足相应约束条件的Pareto最优解集推荐给用户。从理论和实验两个方面证明了本文方案的可行性和有效性。