面向云制造的服务组合执行引擎框架研究

云制造模式下,制造资源被封装成制造服务,通常以服务组合的方式满足用户复 杂的制造需求。针对云制造服务组合执行过程中高效性、准确性和动态性等要求,提出了面向 云制造的服务组合执行引擎框架,并详细阐述了引擎运行机制。首先,通过解析云制造服务组 合描述文件,构造服务组合节点和服务组合依赖边,建立服务组合节点参数关联关系,归纳推 倒出相应的执行规则。然后,基于执行状态变更的服务组合执行算法实现了制造服务组合的动 态执行。最后,给出了面向电梯产业联盟的云制造服务组合执行引擎实例,验证了框架的可行 性和有效性。     

基于BPMN辅助构建Web Services的研究

介绍了Web Services以及业务流程建模标记(BPMN)和Web服务的业务流程执行语言(BPEL4WS)，并且利用BPMN和BPEL4WS构建Web Services组件，建立Web服务模型，以整合各种企业应用平台，把企业业务由企业内部拓展到Internet上，从而达到企业资源的优化配置，实现了应用程序间的通用的互操作性以及企业间的信息交流，以适应复杂多变的商务环境。     

Web服务组合执行引擎中服务代理运行机制研究

在Web服务组合执行引擎WebJetFlow中解耦流程执行和成分Web服务调用,将服务代理的服务调用由同步模式转变为单纯异步模式,并用NS2模拟器针对服务代理的同步模式转变为单纯异步模式,以及有服务代理和无服务代理的两种不同的引擎处理机制分别进行模拟仿真。仿真结果证明：在同样的线程资源条件下,有服务代理的引擎访问流量大于无服务代理引擎;解耦流程执行和成分Web服务调用以及单纯异步调用模式提高了引擎资源的使用效率、增加了流程执行的并发性、改善了引擎的吞吐量和性能。     

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

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

基于反馈控制的服务组合引擎的设计与实现

遵循SOA,提出服务组和执行引擎WebJetFlow的实现框架。将反馈控制机制应用于执行引擎中,在流程执行管理器和服务代理中,设计带有反馈控制环的流程执行结构,以保障不同等级的服务请求的服务响应时间。在执行模块中,将流程执行与对服务的调用进行分离,提高了引擎资源的利用率。解耦流程执行和Web服务调用提高了引擎资源的使用效率。QoS反馈控制结构使得引擎在外部请求负荷变化时,可为不同等级的请求提供服务响应时间保障。     

基于WS-BPEL的服务组合流程建模工具的设计与实现

详细介绍了基于BPEL语言的可视化Web服务组合流程建模工具的体系结构;引入节点和弧的概念实现可视化流程编辑器;采用图形化方法和流程图到WS-BPEL元素的映射技术,实现了Web服务组合流程模型的建立、编辑和配置等功能,简化了抽象流程到可执行流程的转化;提出了基于Web服务QOS约束的服务查询、QOS本体表示和QOS筛选方案,使得符合用户需求的Web服务能够被动态灵活地绑定到业务流程中.     

从BPMN模型导出组合服务的代数规约

针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题,提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCC-WS表示的代数规约方法。首先,定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则,设计由正则表达式导出构成公理的项的算法;然后,提出根据所得的项人工书写公理的启发式规则;最后,实现一个从BPMN模型导出组合服务基调的工具原型。案例研究表明,该方法可以解决BPEL服务的代数规约生成问题。     

基于BPMN的Web服务合成框架

随着现有Web服务数量的不断增加,如何利用已有的Web服务合成新的Web服务成为研究的热点.提出一种利用BPMN实现Web服务合成的框架,它由系统框架和开发框架两部分组成,系统框架提供了一个发布、调用和执行Web服务的平台,开发框架给出Web服务合成的开发环境和开发步骤.     

多引擎服务组合的执行优化

提出了多引擎的Web服务管理系统,解决了系统中服务组合的执行优化问题。分析了该多引擎系统中服务组合的调度执行,提出了动态规划算法。在分派和执行Web服务前,生成流水执行的子序列方案,使调度执行Web服务的引擎的最大负载最小。实验结果表明,与随机算法相比,该算法使性能显著提高。     

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL（Business Process Execution Language,业务流程执行语言）的流程设计与WS—C／T（Web Services Coordination/Transaction, Web服务协调／事务）规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

基于Topic Maps的语义Web服务组合引擎研究

针对Web服务组合流程控制、服务组合吞吐率等问题,提出一种基于主题图的语义Web服务组合引擎方法,通过基于本体的语义Web服务描述,并将Web服务与主题图进行抽象,用一种服务主题去表示语义Web服务,以便使用主题图的特征,而主题图可方便地实现语义服务导航定位,使得Web服务所处状态可定,目标明确。因此该语义Web服务组合引擎是从UDDI注册(UDDIr)和查询能力(UDDIs),语法检测(GD)和语义识别(SI)能力,服务主题图的相似度(STS)、匹配度(STM)和适应度(STF),服务主题特征刻面分类能力(SFC),服务主题权限访问程度(STP),刻面深度判定(FDD),服务主题协同能力(STC)角度去建立;并通过数学方法进行定义。最后通过用Java编程实现实验模型表明,该方法可行且有效。     

一种支持条件分支的语义Web服务组装方式及执行

Web服务组装的目的是使多个Web服务协同工作以完成任务。由于简单的顺序控制结构的组装不能满足较为复杂的协同工作需求,介绍了一种支持条件分支控制结构的语义Web服务组装方式。用户利用该组装器,可在领域知识层进行可视化组装。该基于知识库的执行引擎支持带有条件分支控制结构的组装结果的执行。     

基于抽象服务的密码服务组合模型设计与实现

传统的密码服务与应用系统的紧耦合,不能满足新的业务需求,同时严重制约了密码服务的发展。为了提高密码服务质量和扩展其应用范围,根据密码服务的特点,对其进行抽象归类,构建抽象服务。并在此基础上结合面向服务的体系架构,利用BPEL和Pi演算的转换,设计了可以动态调度和智能优化的密码服务组合模型。该模型不但可以实现业务流程的图形化编排,而且可以对流程进行形式化分析和正确性检测。最后给出了原型系统的设计思想和实现方法。     

用BPMN辅助整合Web Services

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

High‐performance execution of service compositions: a multicore‐aware engine design

Although modern computer hardware offers an increasing number of processing elements organized in nonuniform memory access (NUMA) architectures, prevailing middleware engines for executing business processes, workflows, and Web service compositions have not been optimized for properly exploiting the abundant processing resources of such machines. Amongst others, factors limiting performance are inefficient thread scheduling by the operating system, which can result in suboptimal use of system memory and CPU caches, and sequential code sections that cannot take advantage of multiple available cores. In this article, we study the performance of the JOpera process execution engine on recent multicore machines. We first evaluate its performance without any dedicated optimization for multicore hardware, showing that additional cores do not significantly improve performance, although the engine has a multithreaded design. Therefore, we apply optimizations on the basis of replication together with an improved, hardware‐aware usage of the underlying resources such as NUMA nodes and CPU caches. Thanks to our optimizations, we achieve speedups from a factor of 2 up to a factor of 20 (depending on the target machine) when compared with a baseline execution ‘as is’. Copyright © 2012 John Wiley & Sons, Ltd.     

有界模型检测在服务组合中的应用研究

大规模服务自动组合问题是Web Service技术的主要瓶颈。传统的服务组合技术灵活性差并且适用的服务规模有限。在用有限状态自动描述机服务的输入、输出、操作等活动的基础上,提出用有界模型检测技术对大规模服务进行建模,将用户请求翻译为线性时态逻辑公式,采用适定性问题求解技术快速求解限定长度的服务组合解。实验结果表明有界模型检测技术应用在自动服务组合中是可行的。     

自组织网络有效的组合服务执行路径发现方法

无线自组织网络中的服务组合是指通过将几个简单的服务即原子服务组合成一个功能更强大的服务,来满足用户提出的复杂的请求。在无线自组织网络中,组合服务的执行首先要找到能够实现服务组合的执行路径,即确定网络中能够实现组合服务的合成方案及提供各原子服务的节点。已有工作提出的服务组合执行路径的发现方法并没有考虑所发现执行路径需要的开销和服务的执行情况。文章在保证组合服务执行路径发现成功率的前提下,提出了两种限制跳数的组合服务执行路径发现方法,通过限制组合服务执行路径请求包广播的跳数来减少网络中请求包转发的数量,避免无用的传输消耗。实验证明提出的方法有效地减少了网络中执行路径请求包的转发量,降低了网络的负载。     

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

给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接口匹配方法分解为组合服务。以客户订购产品为例,说明了领域本体的建立方法和Web服务动态组合模型的应用方法。