一种面向业务用户的大粒度服务组合方法

对如何在业务层面即时组合服务,按需创建个性化应用进行了研究,提出了一种适合业务用户使用的大粒度服务组合方法——TROLL方法．该方法利用服务组合模板并结合多约束下的参数进行求解,以一种大粒度、可重用的方式组合业务服务,从而提高服务组合的自动化程度和抽象层次．该文重点介绍了时序约束下如何利用组合模板进行业务级的服务组合．实验结果表明TROLL方法降低了用户参与服务组合的难度,在业务级面向服务应用的构造上效率更高．     

基于两阶段规划模型的跨域服务流程动态构造方法

为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求,提出一种基于两阶段规划模型的跨域服务流程动态构造方法.第一阶段,利用跨域服务协同语义模型,基于层次任务网络规划方法,构建满足用户业务需求的跨域抽象业务流程;第二阶段,在各城内部对抽象业务流程确定的候选服务集应用图规划数据流验证模型,构建最终的跨域可执行服务流程.方法在保证了业务需求与跨域服务流程逻辑结构的语义一致性的同时,满足了跨域服务流程中数据流的一致性,为网络计算环境下管理域间的业务协同和互操作提供了更为实际可用的可执行服务流程.原型系统实验及实例验证说明该方法的正确性和有效性.     

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

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

服务的业务级描述及其语义标注方法

从服务的业务逻辑出发,在分析现有服务描述模式的基础上,定义了面向业务应用的服务描述模型,并在OWL-S的基础上,提出了业务级的服务与用户需求描述语言EXOWL-S/R作为服务提供者和用户进行业务级交互的基础;同时在构建领域业务应用本体的基础上,提出了根据服务的业务逻辑描述半自动地获取服务业务级语义的标注方法,最终为帮助用户全面地、无二义地理解服务的业务能力提供一种有效的解决方案。     

基于补偿业务生成图的组合服务异常处理方法研究

为提高组合Web服务执行的一致性、可靠性,提出一种基于补偿业务生成图的组合服务异常处理方法.基于业务流程中任务间补偿依赖关系,讨论了补偿业务生成图的自动生成问题.重点讨论了补偿任务、补偿目标和服务转让应用模式,并相应地介绍了支持框架和相关技术.在此基础上设计了补偿依赖关系、补偿业务生成图的自动生成及组合服务执行过程中异常处理算法.当业务流程出现异常采取向前或向后恢复处理时,该方法在保证补偿实现的同时,兼顾补偿服务不存在或补偿服务代价过高的问题,提高了业务流程执行过程中的自动化水平和自适应能力.仿真结果证实,该方法保证了异常发生时组合服务执行的可靠性和一致性.     

多核系统下的IPSec VPN网关的研究和实现

由于传统IPSec VPN网关面临新业务计算能力的困难,提出了多核系统系统下的IPSec VPN网关的实现方法.在Linux系统下通过对单处理器系统的IPSec VPN网关的报文处理流程的改进,实现了多核系统下的IPSec VPN网关,再通过多处理器间负载均衡和多核软件可执行级代码兼容性改进,进一步提高了多核系统下IPSec VPN网关的处理能为.最终测试结果表明,不仅在双核系统、四核系统上获得极高性能的提升,而且实现了可执行级代码的兼容性,并根据测试结果,在技术领域首次提出多核系统性能边际效益递减的规律.     

Web服务组合在水利领域中的应用

随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的Web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立Web服务组合的模式,以及组合模型正确性验证的方法,并提出了将Petri网模型影射到可执行的BPEL4WS的方法。通过一个实例,说明了基于MDA的Web服务组合技术在水利领域应用集成中的作用。最后进行了总结,指出了下一步工作。     

基于遗传算法的 WSMO 服务组合模型研究

面向服务计算已在各类电子商务、B2B、旅游等领域得到了应用.它通常通过一个标准化的 Web 服务模型去快速设计、实现、部署和发送各类应用功能,但实现业务的功能最终是体现在服务组合上.因此,针对在服务组合过程中所出现的语义识别、信息抽取方面的问题,文中提出一种基于遗传算法的 WSMO 服务组合方法.该方法通过使用基于 Ontology的 WSMO 进行服务的语义性描述,采用服务组合过程的语法检测和语义验证来实现模型;在语法检测中,是通过定义语法依赖对齐来完成,而在语义验证中,是通过各种衔接模式来实现的;并通过带有精英策略的小生境遗传算法进行求解最优的服务组合去满足业务逻辑需求.最后通过应用表明:服务组合效率比传统方法更优越,完成的业务功能更精确.     

基于强化学习的Web服务组合

单个Web 服务的能力有限,如何使企业内或企业间的诸多业务服务有机地集成,提供更有价值的服务,是目前基于Web 服务的应用集成的核心问题.Web 服务组合就是将已有服务按照一定的逻辑顺序组织起来构成新的服务,从而实现更强大的功能.这里提出一种基于强化学习的服务组合方法,它在于能够实现动态的Web 服务组合.     

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

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

一种基于业务流程执行描述语言的分布式Web服务发现方法

现有的Web服务发现方法主要是基于集中式拓扑,并且使用的服务描述仅仅是描述服务接口功能而忽略了业务流程执行相关信息,无法保证Web服务组合的相容性,也无法满足组合事务无死锁的要求。同时,这些方法都无法避免高维护代价、单点失效和可扩展性差等问题。本文提出一种基于结构化对等网络的Web服务发现方法,引入标识确定性有限状态机ADFSA（Annotated Deterministic Finite State Automata）,将服务业务流程执行语言用于服务匹配,从而避免了潜在的Web服务组合不相容和有利于服务组合的自动化。     

Synthesizing Service Composition Models on the Basis of Temporal Business Rules

Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a framework and associated techniques to generate the process model of a service composition from a set of temporal business rules. Dedicated techniques including path-finding,branching structure identification and parallel structure identification are used for semi-automatically synthesizing the process model from the semantics-equivalent Finite State Automata of the rules. These process models naturally satisfy the prescribed behavioral constraints of the rules. With the domain knowledge encoded in the temporal business rules,an executable service composition program,e.g.,a BPEL program,can be further generated from the process models. A running example in the e-business domain is used for illustrating our approach throughout this paper.     

基于BPMN的服务组合执行引擎的研究与实现*

业务模型和执行模型的一致性是当前服务组合研究的一个难点和热点。目前普遍采用模型转换的方式将业务模型映射为可执行模型,但由于两种模型语言的语义和语法不一致,导致了模型转换存在语义失配等缺陷。针对该问题,提出了一种基于业务流程建模标注的Web服务组合执行方案,设计了BPMN模型的解释执行算法,给出了执行引擎的原型系统,并通过具体案例验证了方案的有效性。     

Synthy: A system for end to end composition of web services

The demand for quickly delivering new applications is increasingly becoming a business imperative today. However, application development is often done in an ad hoc manner resulting in poor reuse of software assets and longer time-to-delivery. Web services have received much interest due to their potential in facilitating seamless business-to-business or enterprise application integration. A web service composition system can help automate the process, from specifying business process functionalities, to developing executable workflows that capture non-functional (e.g. Quality of Service (QoS)) requirements, to deploying them on a runtime infrastructure. Intuitively, web services can be viewed as software components and the process of web service composition similar to software synthesis. In addition, service composition needs to address the build-time and runtime issues of the integrated application, thereby making it a more challenging and practical problem than software synthesis. However, current solutions based on business web services (using WSDL, BPEL, SOAP, etc.) or semantic web services (using ontologies, goal-directed reasoning, etc.) are both piecemeal and insufficient. We formulate the web service composition problem and describe the first integrated system for composing web services end to end, i.e., from specification to deployment. The proposed solution is based on a novel two-staged composition approach that addresses the information modeling aspects of web services, provides support for contextual information while composing services, employs efficient decoupling of functional and non-functional requirements, and leads to improved scalability and failure handling. We also present Synthy, a prototype of the service composition system, and demonstrate its effectiveness with the help of an application scenario from the telecom domain.     

Automated composition of Web services via planning in asynchronous domains

The service-oriented paradigm promises a novel degree of interoperability between business processes, and is leading to a major shift in way distributed applications are designed and realized. While novel and more powerful services can be obtained, in such setting, by suitably orchestrating existing ones, manually developing such orchestrations is highly demanding, time-consuming and error-prone. Providing automated service composition tools is therefore essential to reduce the time to market of services, and ultimately to successfully enact the service-oriented approach.In this paper, we show that such tools can be realized based on the adoption and extension of powerful AI planning techniques, taking the “planning via model-checking” approach as a stepping stone. In this respect, this paper summarizes and substantially extends a research line that started early in this decade and has continued till now. Specifically, this work provides three key contributions.First, we describe a novel planning framework for the automated composition of Web services, which can handle services specified and implemented using industrial standard languages for business processes modeling and execution, like ws-bpel. Since these languages describe stateful Web services that rely on asynchronous communication primitives, a distinctive aspect of the presented framework is its ability to model and solve planning problems for asynchronous domains.Second, we formally spell out the theory underlying the framework, and provide algorithms to solve service composition in such framework, proving their correctness and completeness. The presented algorithms significantly extend state-of-the-art techniques for planning under uncertainty, by allowing the combination of asynchronous domains according to behavioral requirements.Third, we provide and discuss an implementation of the approach, and report extensive experimental results which demonstrate its ability to scale up to significant cases for which the manual development of ws-bpel composed services is far from trivial and time consuming.     

用BPMN辅助整合Web Services

介绍了用BPMN设计整合Web Service,并产生Web Service描述语言(WSDL)形式的可执行规范语言,以及利用WSDL可以转换成业务流程管理标识(BPMN)的方法,动态地将已存在的Web Service通过BPMN图形化建模方法进行整合.鉴于BPMN的图形化设计,可以选择喜欢的可执行语言来实现该整合方案,主要采用与BPMN密切关联的Web Service语言--面向服务的业务流程可执行语言(BPEL4WS).     

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

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