基于案例推理的服务组合模板的设计及应用

走向工业化的服务组合之路，是一种基于“组合套餐”一服务组合模板的途径．在适于业务用户使用的基于模板的大粒度服务组合方法中组合模板的设计是一个面向目标的、有约束的决策、探索和学习活动．本文有效地利用专家的知识和经验，给出了一种基于案例推理的模板设计方法，并通过在面向城市应急联动的服务组合平台原型系统中的一个应用，对其使用效果进行了评价．     

一种基于知识复用的动态服务组合方法

如何在业务层面即时动态组合服务,按需创建应用,是一个具有挑战性的课题。提出了一种适合业务用户使用的基于知识复用的服务组合方法,该方法充分利用领域专家的知识和经验,将其封装成组合模板透明地提供给用户,使用户可以在业务层面以一种大粒度的方式描述需求,建立业务应用,从而提高了业务用户主动参与面向服务的应用构造的能力和构造效率。     

面向用户主导问题求解环境的服务组合方法

为提高服务组合的即时性,适应用户业务需求的变化以及服务资源的动态和异构性,提出一种适应用户主导问题求解环境的服务组合方法。探讨了维护服务交互关系的相对稳定性的策略,提出了基于服务相容性的服务聚类规则,基于聚类服务关联图的组合模板构建方法及其最优性的保障手段和组合模板的具体化方法。实验结果表明,该方法可提高服务组合的即时性和适应性,提高服务组合的时间效率。     

支持即时构造的业务端编程语言VINCA

提出一种支持Web服务组合、面向业务用户的可视化编程语言VINCA,基于VINCA的应用即时构建方法——业务端编程,帮助业务用户即时构造应用．实现了一个支撑环境,并进行了初步的应用验证。     

基于事件关联的IoT服务即时推荐方法研究

由于用户需求及环境的不确定性,服务组合业务流程可能需要在运行时进行动态调整,因此为用户推荐更加满足即时需求的IoT服务成为当前亟待解决的关键问题之一。就如何提高业务流程中IoT服务推荐的即时性与准确率问题,提出了一种考虑时间延时性的IoT服务即时推荐方法,基于改进的CM-SPADE算法挖掘出带有延时属性的事件频繁关联模式,为用户更准确地推荐符合时间约束的IoT服务,以更好地适应业务流程的变化。实验结果表明,所提出的考虑时间约束的IoT服务推荐方法在提高服务推荐准确度方面表现出较好的性能。     

一种验证业务级服务组合可执行能力的方法

在面向服务的环境中,服务组合的可执行能力具有很大的不确定性,在业务级别组合服务更是如此.影响业务级服务组合可执行能力的因素是多方面的,本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响,提出了一种基于着色时间Petri网（CTPN）的业务级服务组合可执行能力验证方法,并以制造业网格应用平台AmGrid为案例,展示了该方法在平台中的应用效果.     

一种用户为中心、基于多视图合成的服务组合方法

用户为中心的服务组合旨在直接地反映用户需求、提高建模灵活性和降低应用构建成本.然而,当前的用户编程方法仍然存在挑战:一方面传统方法以服务为基本元素,忽视了应用背后的业务数据,用户难以从熟知的业务数据角度表达建模需求;另一方面传统方法以控制流为中心,需要精确描述组合细节,非专业的用户不易理解和操作且难以表达业务约束.文中...     

一种具有正确性保证的组合Web服务自动合成方法

Web服务应用中一个富有挑战性的关键问题是:如何自动组合已有的Web服务并保证组合的正确性,如没有死锁和未指定的接收以及时态约束等.在现有的研究中,需要在先给出组合服务的详细规范的基础上,进行形式化验证保证设计的正确性,这使得组合过程既复杂又低效.文中提出一种新的、具有正确性保证的自动服务组合方法,并给出相应的服务组合原型系统.该方法基于L~*算法实现组合服务的自动构造,并且将服务行为的正确性约束贯彻于构造过程,从而自动保证组合服务的正确性.证明了提出方法的正确性和完备性,并提出了优化技术减少组合时间,提高效率.最后,实现了一个自动服务组合原型系统,实验结果验证了该方法的有效性.     

基于最大应用模板的服务组合模型

针对面向服务架构中的服务组合问题,提出基于最大应用模板的动态应用定制与服务组合模型,采用最大应用模板描述一类应用的业务逻辑,根据用户输入自动演化生成个性化的应用定制,并以此实现服务组合,采用基于信用的服务质量保证机制和动态重构技术保证组合的服务质量,设计并实现基于该模型的一站式服务平台DACSC,对相关算法进行仿真验证。结果表明该模型可以自动实现应用定制和服务组合,并能降低用户交互次数和服务调度次数,保证组合服务的高可用性。     

普适计算环境下一种目标驱动的服务组合方法

普适计算环境的服务对用户来说是透明的,为了简化用户与环境的交互,提出了一种目标驱动的服务组合方法,建立面向任务目标的服务语义表示模型,并在此模型下进行动态的目标驱动的服务组合,实现用户目标.描述了一个模拟的应用场景,并结合应用场景说明了任务定义和服务组合的过程.该方法简化了用户与环境的交互,提高了普适环境下服务组合和协同的灵活性.     

BPEL谓词约束建模及可行路径分析

为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language, BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.     

基于渐进约束违背删除策略的服务合成执行路径优化

在面向服务计算领域,服务合成正成为分布异构资源整合、业务集成的一个新型计算模式。在开放互联的因特网环境下,由于存在多个功能相似但服务质量不同的服务提供商,从而导致一个抽象的服务合成方案存在多条可执行路径。然而,在满足用户综合QoS约束需求的情况下,如何有效协同单个服务的QoS从多条候选路径选出一条优化的执行路径,便成为服务合成QoS研究中的一个关键问题。遗憾的是,该问题还没有得到很好的解决。为此,我们提出一个采取渐进约束违背删除策略建立优化执行路径的方法。我们的方法能够避免探测多条执行路径,而是在靠本地最优化策略建立的执行路径上,通过全局QoS计算和QoS约束检查模型找出QoS约束违背,并进而采取渐进约束违背删除策略逐渐删除这些约束违规,并建立起一条近优的执行路径。实验表明,我们的方法很好地降低了建立优化执行路径的时间复杂性。     

基于多Agent协商的服务流程定制

针对复杂业务需求,提出了基于多Agent协商的服务流程定制模型、算法和系统．首先介绍了该模型及其支持系统的框架以及服务Agent的结构和工作原理;然后在将业务需求满足定义为分布式柔性约束满足问题的基础上,提出了基于多Agent协商的求解算法并介绍了一个应用案例;最后,给出了一个原型系统．该模型和系统能够对复杂的业务需求进行建模和求解,从而寻找到合适的服务,满足了服务流程定制的需要．     

Trust-based service composition in multi-domain environments under time constraint

Trust plays a pivotal role in decision support for service-oriented computing networks. Recent advances in service evaluation and selection have provided some preliminary findings on the construction of composite services. However,the great expense of interdomain validations,the dynamic execution time and the subjective requirement for global execution time remain serious obstacles to the trust-based service composition.To solve these issues,this paper proposes a novel service-composition approach,modeling the trust-based service composition as the multi-domain scheduling and assignment problem using the minimum service resources within a certain time constraint. In our approach,each service is designed as an exclusive resource during its execution.By analyzing the required interdomain communications,the number of available services and the aggregated trust value in each domain,the optimal domain can be obtained at each step of service selection. Meanwhile,loop parallelization and predecessor reselection are adopted when the task cannot be completed on schedule. Finally,to raise higher trust value of the composite result,the redundant service resources of the initial composition are further optimized. The experimental results illustrate that the proposed trust-based service-composition approach outperforms traditional ones in both effectiveness and scalability under various time constraints.     

一种基于DSL的服务组合语言

针对大规模并发应用在组合服务中的服务调度问题,设计一种基于领域专用语言的服务组合语言,给出该语言的主要功能、构造过程和语言执行引擎的详细设计。该语言提供对Web服务组合过程的语义和语法描述,采用自顶向下的组合方式,能解决Web服务组合过程中的组合粒度控制和异构消息匹配等问题。     

基于OPN的环境约束下Web服务组合正确性分析

为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模.通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定.最后通过具体实例结果表明了该方法的有效性.     

任务粒化的质量约束感知服务组合

随着服务计算的发展,越来越多的资源以服务的形式发布与使用,服务提供商间的竞争日趋激烈,合作共赢成为必然趋势,但考虑质量约束关系服务组合优化问题复杂性大大增强.为解决这一问题,在充分考虑候选服务间质量约束的同时,对服务组合业务流程进行任务粒化,提出基于任务粒化的质量约束感知服务组合优化方法(Tg-QcA).首先,通过理论分析,验证每种QoS聚合方式均具有子模态性质以及多属性服务组合问题的效用函数仍具有子模态性质,保证了基于任务粒化优化方法的完备性;其次,通过质量约束建模,利用任务间的隶属度进行任务粒化划分,对原问题进行分解,有效降低了问题求解规模;最后,大量的仿真模拟实验结果表明:所提模型与算法具有很好的可行性、高效性和稳定性.