Web服务组合的层次颜色Petri网描述模型

针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。     

集不变条件下的服务组合演化行为研究

从业务逻辑的一般性变更与演化需求出发,研究了服务组合中服务集合不变条件下的服务演化行为,提出了组合服务的合理演化行为集SEBS(Sound Evolution Behavior Set),定义了一组服务工作流程结构调整的基本演化操作,证明了演化行为集SEI3S能够保持演化后组合服务的合理性,从而能够保证在发生基于业务流程变更的服务组合演化操作后,其内部流程逻辑的合理性不变,并通过服务组合演化示例进行了实际应用说明。     

基于Petri网自动化构建BPEL流程的SMV模型

针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法.该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题.实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性.     

一种基于扩展颜色Petri网的Web服务组合验证机制

Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。     

Web服务动态组合方法研究与设计

目前基于工作流的Web服务组合方法大多要求预先定义流程结构,不能适应现代企业业务流程复杂多变的需求.提出了一种Web服务动态组合方法,将流程中动态部分用黑盒子流程进行封装,在执行时根据预定义规则和用户需求将黑盒子流程自动组合展开为实际运行流程.对具体服务、抽象服务、黑盒子流程等概念和服务选取规则、服务组合规则进行了定义,详细描述黑盒子流程展开算法,并设计了一个实现动态服务流程组合的框架结构.     

业务流程驱动的半自动语义Web服务组合方法研究及应用

随着Web服务数量的不断增多,如何利用Web服务组建松散耦合的应用系统以满足不断变化的业务需求,成为一个研究热点。传统的业务流程驱动的服务组合通常需要预定义组合流程,当业务流程改变时则需重新定义流程,因此不能适应动态业务需求。针对上述问题,提出了一种业务流程驱动的半自动语义Web服务组合方法。该方法在业务流程驱动的服务组合基础上,将局部动态流程用抽象服务描述,当流程执行阶段不存在能满足抽象服务需求的单个服务时,采用自动服务组合方式将抽象服务替换成组合服务,并执行自动组合方法。该方法由于采用了基于回溯树的服务组合方法,并在回溯树中增加语义信息,还通过计算组合流程的QoS来实现组合服务的选取,因此能有效解决因缺乏语义导致查全率低的问题。最后给出了半自动化的服务组合框架,该框架兼顾了可用性与动态性的需求,具有一定的实用价值。     

一种基于语义的Web服务组合算法研究

语义Web服务组合算法研究对于Web服务组合有着重要的意义。说明一种基于语义的Web服务组合算法的思想,给出服务组合框架和算法的工作流程。它的核心是通过语义I/O和P/E的匹配来实现自动化Web服务组合,本质是通过交互不断地寻找合适的前继服务,以满足用户的服务请求。     

基于工作流模板的Web服务组合模型研究

服务组合是Web服务应用的一个重要研究方向,利用工作流与服务组合的相似性,提出了一种基于工作流模板的Web服务组合模型;该模型利用功能语义在服务匹配上的优点,对流程、服务进行较为准确的查询;并通过Agent技术来执行组合方案;最后结合服务发布算法,将组合后的服务和流程发布在注册库中.     

Web服务组合动态演化的实例可迁移性

组合网络上既有Web服务以构造新的增值服务正逐渐成为一种主流软件形态.而Web服务组合常需进行修改演化以优化服务组合的内部业务流程,适应开放的工作环境.在服务组合演化时,为让尽可能多的执行中的服务组合实例享受到新业务流程带来的好处,应尽可能地将其动态地迁移到新流程下继续执行.同时为避免实例迁移到新流程后引发死锁等动态演化错误,需对这些迁移实例加以约束.文中提出了一个服务组合动态演化过程框架,在此框架下形式化地定义了一种新的实例可迁移性标准,并给出了相应的判定算法.与已有的可迁移性标准相比,该标准在确保不会产生动态演化错误的同时,可允许更多的实例迁移.最后,通过一个旅行代理的服务组合案例,说明了文中工作的有效性和可行性.     

基于SOA架构的Web服务组合系统

应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现Web服务组合,可为Web服务组合的研究和企业应用提供灵活的实验及应用开发平台.     

基于PDG图的分布式动态可执行服务组合方法

组合服务是将一系列Web服务协调地组合在一起,从而完成预期目标。组合服务按照其引擎分布可分为:集中式服务组合和分布式服务组合。分布式组合服务可以有效地解决集中式组合服务在系统可伸缩性、消息传输效率、自治性和有效负载均衡等方面的问题,将可执行全局流程等价分解成可执行本地流程,以及将服务组合和负载均衡结合集群概念,研究服务组合的QOS。这些将成为新的挑战,文中通过PDG图进行等价分解,并结合QOS,通过实验测试引擎负载,提出将负载均衡融入服务组合QOS研究思想。     

基于业务流程的制造云服务组合模型

为了提高云制造系统中制造云服务的组合成功率,实现组合云服务与用户业务需求的准确匹配,在对制造云服务、流程节点任务、云服务的可组合性和流程匹配进行形式化描述的基础上,提出一种基于业务流程的制造云服务组合模型。该模型由业务流程引擎、业务流程、选择逻辑、评估逻辑、监控逻辑、知识库和原子云服务集构成,在功能匹配的基础上,对候选服务的可组合性进行检查,结合负载、服务质量(QoS)和业务流程信息,选择合适的云服务,并将其挂接在业务流程上实现制造云服务的组合。对制造云服务的组合流程进行了详细描述,并给出云服务组合的实现方法。实例分析表明,该模型能够有效地选择满足业务需求的云服务实体并进行组合,从而提高制造云服务的组合成功率,保障用户制造活动的顺利进行。     

一种基于反馈控制的Web服务组合执行引擎设计

在Web服务组合执行引擎中解耦流程执行和成分Web服务调用,设计和实施了带有双控制反馈控制环的流程执行结构,反馈控制环分别位于流程执行器与服务代理之上。仿真结果表明：解耦流程执行和成分Web服务调用提高了引擎资源的使用效率,增加了流程执行的并发性,提高了引擎的吞吐量;引入QoS反馈控制结构,使得引擎在组合服务负荷变化时,可为不同的请求服务等级提供服务响应时间保障。     

基于流程树的BPEL4WS中流程服务动态优化方法*

针对服务流程建模语言BPEL4WS难以满足用户个性化需求也无法适应动态环境变化的问题,提出了一种动态优化BPEL4WS中流程服务的方法。该方法给出了一种Web服务交互代价计算模型,用来评价用户对Web服务的偏好程度以及实时环境下Web服务交互的现实代价。将BPEL4WS描述的服务组合流程转换为服务组合流程树,并借助领域本体对流程树节点进行语义检查,消除流程树中不合法的流程组合。通过深度优先遍历流程树,利用单亲遗传算法对流程服务进行优化组合。最后给出应用算例,并对用来优化组合流程服务的单亲遗传算法的适用性与     

基于扩展颜色Petri网的Web服务组合建模及应用

该文提出一个基于扩展颜色Petri网的Web服务组合描述模型,该模型在描述组合流程的控制流和数据流的同时还能描述流程中的参数、操作的语义和服务质量,能较全面地刻画Web服务组合流程;最后通过该建模方法给出一个建模实例。     

基于OWL—S的服务流程重构研究

适应web服务的动态变化性是服务组合研究的重要内容.针对现有服务组合过多依赖web服务的匹配问题,从服务组合的框架出发,详细讨论服务组合流程的重构机制,在领域本体中引入中间服务和服务拆分概念,有效解决了基于OWL-S描述的服务资源与抽象服务描述之间映射关系的问题.此方法能够快速的构建目标系统,保持流程的完整性和一致性,提高了目标组合的质量.     

Web服务的颜色Petri网模型及验证

利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求.针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组合结构的模型表达,用于构造满足实际需求的Web服务组合流程.该模型能较全面地描述Web服务组合,同时还能够对组合流程正确性进行分析验证,最后通过建模实例说明了所提模型的实用性.     

基于工作流的Web服务组合系统的设计与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析工作流与Web服务流程执行的相同点,设计并实现了一个基于工作流的Web服务组合系统(WSCS).该系统能在自治的、异构的、动态的环境下灵活、高效地组合Web服务.整个系统主要包括三个模块:组合流程建模模块、服务选取模块、流程执行模块.     

Web服务流程相容性和相似性分析

服务组合和服务替换是面向服务计箅的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构件的概念,证明良构件能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.     

代价驱动的服务组合

互联网环境的开放性、自治性和动态性给基于互联网的资源共享与应用集成带来了新的挑战。在组合服务运行过程中服务质量保证和可靠性等研究方面,服务冗余技术、流程重构技术是非常重要的容错手段,但是目前尚存在着容错开销过大、难以满足实时性要求以及流程重构策略缺乏可行性等问题。服务容错技术是保证组合服务QoS和带来额外开销(代价)的一个权衡。在分析冗余技术、流程重构可能带来的高额容错代价后,提出用于减少容错代价的组合服务拆分原则,遵循该原则有助于组合服务设计者选择合适的组件服务粒度并降低服务间的耦合度。模拟实验表明,提出的方法有助于提高组合服务的可靠性并降低失效容错代价。