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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于领域本体的Web服务动态组合

随着Web环境下服务数量的快速增长，如何自动地根据服务请求，进行服务的动态组合成为一个迫切需要解决的问题，该文提出了一种基于领域本体的服务动态组合方法，该方法利用领域本体及其推理能力，生成一个优化的服务组合图，然后基于该图给出了一个高效的服务组合算法．与已有的方法相比，该文的方法综合考虑了服务语义、服务组合的质量和服务组合的效率等因素，可以自动地根据服务请求实现服务的动态组合．同时保证了服务组合的效率和质量．     

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

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

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

在面向服务计算领域,服务合成正成为分布异构资源整合、业务集成的一个新型计算模式。在开放互联的因特网环境下,由于存在多个功能相似但服务质量不同的服务提供商,从而导致一个抽象的服务合成方案存在多条可执行路径。然而,在满足用户综合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服务组合的正确性分析和判定.最后通过具体实例结果表明了该方法的有效性.     

Process-context aware matchmaking for web service composition

Web service composition can help software developer design more powerful and flexible applications according to requirements of enterprise. But during compositing, how to discover suitable web services is a critical problem in design and implementing application-oriented web service technologies. The traditional keyword-based matchmaking approach is difficult to help developer to find suitable service. Current researches find that to attaching semantics to each registered service can help improve the precision of matchmaking. The improvement can help developer find more suitable service for business process. This paper proposes a novel approach of semantics-based matchmaking, which is named process-context aware matchmaking. The process-context aware matchmaking discovers the suitable service during web service composite modeling. During matchmaking, the approach utilizes not only semantics of technical process but also that of business process of a registered service, thus further improving the precision of matchmaking. We integrate the process-context aware matchmaking with business-process-driven web service composition in an integrated development environment based on Eclipse. The performance evaluation shows that performance overhead of this novel approach is acceptable.     

用于科技基础条件平台的服务合成研究与应用

Web服务之间的交互是面向服务的体系结构（Service-Oriented Archimcmre,SOA,也称为面向服务架构）中的关键问题。单个Web服务提供的功能往往不能完全满足用户的实际需求．将多个Web服务进行合成实现功能更为强大的服务是SOA必须要解决的问题之一。分析了Web服务合成的研究现状,介绍了Web服务合成方式的分类和商业流程执行语言BPEL4WS,给出了“科技基础条件平台应用服务支撑系统”项目中SOA的设计方案．描述了Web服务合成的关键步骤。该研究成果成功地应用于科技基础条件平台应用服务集成之中,并已通过科技部的前期验收