BPEL引擎监控平台的设计与实现

WS-BPEL作为WEB服务复合事实上的标准正引起越来越多的关注，它可以用来整合物理上分布的服务，构建复杂的业务流程。复合服务的执行依赖于分布的自治的第三方服务，其实际行为可能与预先指定的行为约束不一致；此外，由于复合服务的动态性和灵活性，其本身在运行期间可能发生动态调整，以适应不断变化的业务环境，因此需要对复合服务的行为在运行期进行连续的监控，保证复合服务的正确执行。同时，通过对复合服务的运行时监控，可以获取执行期间的各种性能信息，从而为流程的优化和动态的服务选择提供依据。 本文首先对业务流程运行时的监控需求进行了分析，然后针对这些监控需求，结合BPEL流程的特点，设计了一种新型的基于事件的监控需求描述语言Mon-BPEL，它可以精确的刻画功能性和非功能性的监控需求。相对于其他基于事件的监控需求描述语言(如 Event Calculus，Past LTL等)，Mon-BPEL可以方便的刻画流程执行事件序列之间的时序关系，同时，它具有简洁易懂，用户友好等特点。 此外，本文研究了基于AOP技术的业务流程监控机制。论文设计了一种针对BPEL语言的AOP扩展方案，以支持对业务流程运行期的动态监控。通过将监控需求映射为方面，从而分离了关注点，降低了业务流程开发的复杂度，提高了流程的可维护性。接着给出了Mon-BPEL监控需求表达式的的自动机语义，并基于自动机理论对监控需求表达式进行计算，检查指定的监控需求是否违背。最后，论文探讨了Aspect的动态编织机制，将监控功能引入BPEL引擎。 论文最后给出了监控平台在OnceBPEL引擎中的实现，并将前面提到的研究成果引入其中,通过实验对系统的功能及性能进行了测试与评估。

BPMN与BPEL双向转换系统的设计与实现及其应用

随着SOA和业务流程管理BPM技术日益成熟，基于业务流程的开发得到越来越广泛的应用。BPMN是由国际标准组织BPMI所制定的业务流程描述语言，制定了标准化的图形符号用于流程的设计和交流。WS-BPEL是面向服务计算中服务复合层重要的技术规范，WS-BPEL支持通过组合分布异构的服务形成复杂的业务流程。BPMN和BPEL模型之间存在差异，跨越两者之间的鸿沟实现无缝转换是当前服务计算中的关键问题之一。现有的BPMN到BPEL转换方法对用户建模限制太大，并且转换后的BPEL不能直接部署和运行，自动化程度不高。现有BPEL到BPMN转换方法缺少对复杂BPEL结构的转换。 针对这些问题，论文设计了一套双向模型转换方法。首先分析了现有BPMN到BPEL的转换方法。然后根据分析结果对已有的BPMN到BPEL转换方法进行扩展，并着重解决了路由OR和并发多实例Multi-instance的语义分析和转换这一难点问题，减少了用户建模时的限制，转换得到的可直接执行的BPEL，提高了自动化程度。在此基础上，设计了BPEL到BPMN的转换方法，采取自上而下的扁平化策略来将嵌套块结构的BPEL控制流转换成为平整无层次的流程图结构，其中分析了Link设置不同条件时的语义并分别转换到对应的BPMN结构，解决了复杂BPEL结构的转换。 最后，我们在流程设计平台OnceBPD（Once Business Process Designer）实现了双向转换功能，能够将BPMN模型转换为BPEL模型，得到的BPEL文件可以部署和运行在OnceBPEL流程执行引擎。还可以将BPEL模型装换为BPMN模型，并应用于OnceBPEL引擎监控信息的可视化，实现了在OnceBPD中直观、形象的显示流程监控。

事件驱动的BPEL引擎架构设计与实现

WS-BPEL(Web Service Business Process Execution Language，简称BPEL)是Web服务规范族中服务复合层的重要标准。BPEL支持通过对Web服务的编制(Orchestration)来构建业务流程，从而使编程人员能够集中关注业务逻辑。BPEL引擎系统是一个支持BPEL语言描述的业务流程运行的服务器中间件系统，使用BPEL引擎可以执行BPEL语言编写的业务流程。作为一个网络服务器系统，BPEL引擎将不可避免的处理大量的并发请求。如何设计实现BPEL引擎使之能高效的处理并发将是高性能BPEL引擎设计的关键问题。 并发服务器系统通常采用多线程和事件驱动两种并发模型。传统上大多数服务器软件都建立在多线程(或多进程)模型的基础上。但在高负载条件下，过多的线程和线程间的上下文切换会造成系统较大的开销，这些开销是导致系统性能下降的主要原因。事件驱动模型是一种只采用少量固定数量线程的并发模型，一般说来，它的伸缩性更好，并且有更高的处理效率。 本文对高并发服务器系统中所使用的事件驱动模型进行了分析和研究，并且结合BPEL语言规范的特点，提出了事件驱动的BPEL引擎实现技术方案。论文重点研究了BPEL事件结构和有限状态机(Finite State Machine，简称FSM)刻画BPEL流程和活动行为的原理，针对BPEL语言语法特点，构造了完整的BPEL FSM模型，包括了状态空间和基于ECA(Event-Condition-Action)模式的状态转移规则。 在基于事件驱动模型的BPEL引擎架构原理的指导下，我们设计并实现了基于事件驱动模型的OnceBPEL2.0引擎系统。并且，我们对采用多线程模型实现的OnceBPEL1.0系统和采用事件驱动模型实现的OnceBPEL2.0系统进行了性能测试和分析比较。从我们的测试数据和分析结果可以看出，采用事件驱动模型的OnceBPEL2.0系统比采用多线程模型的OnceBPEL1.0有了较大的性能提升。

基于状态方面的Web服务动态替换

随着面向服务计算技术的成熟,服务复合已成为Internet上开发企业间业务协作的一种新模式,WS-BPEL是服务复合事实上的标准.但是由于复合服务所依赖的第三方伙伴服务的分布、自治和松散耦合等特性,在执行过程中易受到伙伴服务失效的影响,可靠性无法得到保证,因此需要支持在运行时对伙伴服务进行动态替换.目前的BPEL规范只提供有限的服务替换功能,当与伙伴服务的交互涉及到一系列有状态的会话操作时,服务替换就更加复杂.通过对面向方面的研究,提出面向BPEL语言的状态方面扩展.通过状态方面,记录与伙伴服务交互过程中的会话信息.在伙伴服务失效时,通过透明地替换伙伴服务,使得与当前伙伴服务的会话信息传播到功能等价的另一个伙伴服务上,以保证流程的正常执行.通过该方法,使得BPEL流程具有一定的自愈能力,增强了流程执行的可靠性.

BPEL流程监视的可视化实现

When a BPEL process is executed,it is necessary to dynamically monitor the process.BPEL is a executable language,which is not suitable for visual monitoring.On the other hand,BPMN is designed to visually describe business process and is more intuitive for monitoring.To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary.However,current study of transformation from BPEL to BPMN does not support the transformation of"link"activity.Besides,no work has been done to add supplementary information into BPMN during transformation.In this paper,we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy.Especially, we analyze various scenarios of the transformation of link activity,and provide a method to deal with it. Besides,we analyze the mapping between BPEL activities and BPMN graph,through which we found out that some supplementary information cannot automatically obtained from BPEL process.These supplementary information need to be added during transformation.At the end of this paper,we present the structure of our monitoring tool which is based on our transformation algorithm.

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.

基于BPEL的工作流引擎的研究和实现

在企业大量地部署信息化系统之后，系统的弊端逐渐暴露，主要表现在：各系统建设在异构平台上，缺乏互操作性，形成信息孤岛；系统与工作流程粘度高，不能便捷的改变流程以满足市场快速变化的需要；系统间通信困难，难以有效地协调；不能同企业外的系统互通以增强企业间的业务联系。在现有的系统不能有效地满足企业需求的背景下，开发新的工作流系统来整合已有的信息系统，既可以满足企业的需求，又可避免浪费企业在信息化建设方面的投资，成为企业应用技术新的发展方向。 本文首先详细研究了早期工作流系统的特点和弊端，从业务人员和管理者的角度对信息系统提出新的功能要求；然后对当前主流的技术和标准进行研究分析，旨在寻找一种支持业务流程快速改变和部署、可跨平台通信、能有效地协调各信息系统的解决方案。在深入研究COM、CORBA、RMI、Web Service、BPEL等技术的基础之上，采用以Web Service为业务单元、应用BPEL语言将Web Service组合成为业务流程的方式作为解决方案。 在此基础上，本文根据软件分层思想，设计并实现了一个六层模式的BPEL引擎，并针对BPEL引擎的分层特点设计一套模块组合方案，可以根据需求扩展和替换其中的引擎组件。为更好地实现系统集成，本文对BPEL的端点引用机制做了修改和扩展，使其不仅能够集成默认的Web Service端点，还能直接集成系统中已有的流程和实现定义接口的子系统。同时深入研究面向服务的软件架构和企业服务总线技术，将引擎设计为插件软件，运行在满足JBI标准的企业服务总线上，进一步降低了BPEL引擎同其他系统的耦合性。 最后，以国内某家电公司的运营环境为背景，设计一套测试案例以检验BPEL引擎的功能完备性和性能可靠性；分析结果表明BPEL引擎满足用户的要求并具备一定的稳定性。

Teracluster LSSC-II - Its Designing Principles and Applications in Large Scale Numerical Simulations

The teracluster LSSC-II installed at the State Key Laboratory of Scientific and Engineering Computing, Chinese Academy of Sciences is one of the most powerful PC clusters in China. It has a peek performance of 2Tflops. With a Linpack performance of 1.04Tflops, it is ranked at the 43rd place in the 20th TOP500 List (November 2002), 51st place in the 21st TOP500 List (June 2003), and the 82nd place in the 22nd TOP500 List (November 2003) with a new Linpack performance of 1.3Tflops. In this paper, we present some design principles of this cluster, as well as its applications in some largescale numerical simulations.

Improved Analysis Method for Wave-Induced Pipeline Stability on Sandy Seabed

The existing Det Norske Veritas DNV Recommended Practice RP E305 for pipeline on-bottom stability is mainly based on the pipe–soil interaction model reported by Wagner et al. in 1987, and the wake model reported by Lambrakos et al. in 1987, to calculate the soil resistance and the hydrodynamic forces upon pipeline, respectively. Unlike the methods in the DNV Practice, in this paper, an improved analysis method is proposed for the on-bottom stability of a submarine pipeline, which is based on the relationships between Um/ gD 0.5 and Ws / D2 for various restraint conditions obtained by the hydrodynamic loading experiments, taking into account the coupling effects between wave, pipeline, and sandy seabed. The analysis procedure is illustrated with a detailed flow chart. A comparison is made between the submerged weights of pipeline predicted with the DNV Practice and those with the new method. The proposed analysis method may provide a helpful tool for the engineering practice of pipeline on-bottom stability design.

Experimental study on the microstructure and nanomechanical properties of the wing membrane of dragonfly

Detailed investigations on the microstructure and the mechanical properties of the wing membrane of the dragonfly are carried out. It is found that in the direction of the thickness the membrane was divided into three layers rather than a single entity as traditionally considered, and on the surfaces the membrane displays a random distribution rough microstructure that is composed of numerous nanometer scale columns coated by the cuticle wax secreted. The characteristics of the surface structure are measured and described. The mechanical properties of the membranes taken separately from the wings of live and dead dragonflies are investigated by the nanoindentation technique. The Young's moduli obtained here are approximately two times greater than the previous result, and the reasons that yield the difference are discussed.

Coflow jets with large velocity difference - a new aerodynamic principle of flame stabilization and combustion intensification

A new aerodynamic principle of flame stabilization and combustion intensification, the coflow jets with large velocity difference, is described. One or more small high-velocity jets of air or steam, injected off the axis and in the same direction as the low-velocity main fuel-air flow into the combustor, create a large recirculation zone of high turbulence intensity in which the combustibles and high temperature gases are effectively mixed, so that stable and intensive combustion can be maintained even for fuels with poor ignition. A pulverized coal combustor based on the principle mentioned above is shown to be characteristic of excellent combustoom and a simple structure. A number of precombustors of this type are in operation at some power stations and industrial boilers of China. Using such precombustor, successtul startups and part-load operation of the boilers have become available under conditions of unpreheated air and low-grade coal with volatiles as low as 15% and ash content as high as 30%. This principle shows good promise as an attractive new technology of combustion.