A template-based approach for automatic mapping between business process and BPEL process

In order to support just-in-time reconfiguration of business process execution language （BPEL） process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.     

基于BPEL的网格工作流系统

设计并实现了一个基于业务流程执行语言(business process execution language,BPEL)的网格工作流管理系统.针对满足网格环境中的特殊需求,如状态的交互、动态服务绑定、高吞吐量和可扩展性、界面友好的工作流定义工具等,分别提出了BPEL与Web服务资源框架(Web service resource framework,WSRF)整合方法、BPEL的简单集群架构和面向应用组件的工作流定义等.最后,给出了在中国教育科研网格公共支撑平台(ChinaGrid supporting platform,CGSP)中网格工作流系统的原型实现.实验结果表明,原型系统支持负载均衡是正确、可行和有效的.     

基于BPEL的颗粒堆积仿真的网格计算服务

提出了颗粒堆积仿真过程的并行计算和并行可视化的实现方法,大大减少了颗粒堆积计算的时间.并通过商业流程执行语言(BPEL)定义的工作流,实现对计算服务的流程控制、事务管理和生命周期控制,使得颗粒堆积仿真计算服务能够平滑地移植到网格计算服务平台上提供服务.     

工作流动态变化问题的解决方法

从工作流动态变化问题出发分析了当前工作流软件的弊端，提出了一种通过计算变化区域来支持工作流动态变化的方法，并且结合实例，即开发的一个办公自动化系统中工作流发文管理部分对这种方法进行了说明，结果表明，这种方法可以很好地解决工作流动态问题。     

基于SOA架构的物流信息系统的相关技术研究与实现

以物流信息系统为实例,针对原有物流信息系统存在灵活性差等一系列问题,通过深入分析面向服务的体系结构(SOA)的相关理论,利用网络服务技术,提出了一种基于SOA架构的企业应用设计流程和建模方法.讨论了在跨语言、跨操作系统的平台下实现"订单处理"业务流程的问题:通过应用面向网络服务的业务流程执行语言(BPEL)组合、编排和协调本地的网络服务和其他异构平台的网络服务来实现面向服务体系结构.SOA技术使物流信息系统能够更容易地跨平台以服务形式访问商务,基于此架构模式开发的应用系统加快了应用程序的开发过程,并使非程序员也可以创建和重用信息技术资产.     

支持跨企业协作的应用集成模型研究

在实现跨企业数据交换和业务流程管理的基础上,研究设计一种跨企业的应用集成模型.该模型基于XML、Web Services与工作流技术,采用三层体系结构;每个企业的公共应用都被封装成Web Services;企业间的数据交换及Web Services间的交互通过SQAP消息机制实现;采用商业流程执行语言(BPEL4WS)对跨企业Web服务进行有效的组织和集成,并在此基础上进行适当扩展,通过引入“服务容器”的概念,用于表示一组具有相同端口类型与操作的服务,以支持服务的选择和替换机制.最后对引擎调度策略问题进行了讨论.     

Abstract model checking for Web services

Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.     

Design and implementation of DBC based on dynamic AOP

Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at runtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. Biography: WEN Jing (1982–), female, Ph.D. candidate, research directions: software engineer, aspect-oriented software development.     

A Formal Model for BPEL4WS Description of Web Service Composition

Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

基于工作流机制的办公系统设计

工作流技术是计算机支持的协同工作领域的一个新的研究热点。工作流管理系统是实现网上办公自动化的有力软件工具。分析了当前基于Web技术的工作流管理系统的研发状况，介绍了工作流联盟定义的工作流参考模型及工作流参考模型的接口，并针对基于web环境下的办公自动化系统的要求，提出了将工作流机制与web技术相结合应用到办公自动化管理系统中的思想，描述了工作流管理系统的层次结构和具体实现算法。     

The Configuration Strategies on Caching for Web Servers

The Web cluster has been a popular solution of network server system because of its scalability and cost effective ness. The cache configured in servers can result in increasing significantly performance, In this paper, we discuss the suitable configuration strategies for caching dynamic content by our experimental results. Considering the system itself can provide support for caching static Web page, such as computer memory cache and disk＇s own cache, we adopt a special pattern that only caches dynamic Web page in some experiments to enlarge cache space. The paper is introduced three different replacement algorithms in our cache proxy module to test the practical effects of caching dynamic pages under different conditions. The paper is chiefly analyzed the influences of generated time and accessed frequency on caching dynamic Web pages. The paper is also provided the detailed experiment results and main conclusions in the paper.     

基于移动Agent和Web Service的动态工作流互操作模型

工作流产品之间的协作成为企业间有效合作的瓶颈．虽然大多数厂商之间已解决了一些工作流互操作问题，但往往是静态的，为了提高工作流互操作的灵活性，需要各工作流系统支持动态工作流互操作．在此分析了动态工作流互操作中存在的问题，归纳了实现动态工作流互操作需要解决的问题，然后提出了一个基于移动Agent和Web Senrice的动态工作流互操作模型，给出动态工作流互操作相关的实现描述，最后结合一个具体实例通过数据验证此模型的优越性．     

一种基于网格的工作流系统

基于网格的工作流系统采用混合式的体系结构,在工作流引擎上集中管理,在任务处理上进行分布执行.工作流引擎通过解析树实现对过程模型中活动的处理,并给出遍历算法.工作流图形化建模工具支持模型向XML文件的转换,并支持XPDL标准.系统基于开放源码的Globus Toolkit 3.9.1实现,对于过程模型定义工具和工作流引擎,通过Web服务封装技术,把已有工作流系统的相关COM组件实现为网格服务,并把支持工作流的网格资源发布到协同设计环境中.对于工作流过程模型中的XML表示,采用C#实现为Web服务.多个Web服务结合在一起,实现网格环境下的工作流的布置.     

基于活动网络图的柔性工作流系统的设计与实现

介绍了目前国内外工作流技术的研究现状，在分析比较的基础上提出了一种基于活动网络图的柔性工作流系统的设计实现方案。该方案给出了一种工作流运行期的动态控制模型，表现在工作流执行路由、活动功能、相关资源的动态调整，较好地解决了企业实际工作流运行中动态变化的需求。同时，本系统结合了活动网络图直观、易用的特点，C／S、B／S优点结合的工作流部署方案，让用户在轻松直观的环境下快速地建立工作流模型、控制工作流的运行并监视工作流的运行状态。     

KDS-CM： A Cache Mechanism Based on Top-K Data Source for Deep Web Query

Caching is an important technique to enhance the efficiency of query processing. Unfortunately, traditional caching mechanisms are not efficient for deep Web because of storage space and dynamic maintenance limitations. In this paper, we present on providing a cache mechanism based on Top-K data source （KDS-CM） instead of result records for deep Web query. By integrating techniques from IR and Top-K, a data reorganization strategy is presented to model KDS-CM. Also some measures about cache management and optimization are proposed to improve the performances of cache effectively. Experimental results show the benefits of KDS-CM in execution cost and dynamic maintenance when compared with various alternate strategies.     

基于SOA和BPEL的电信业务流程管理系统(BPMS)的设计与实现

提出了一种基于工作流技术、结合了面向服务架构（SOA）的框架理念和设计思路的电信业务流程管理系统的建模与控制方案。结合实际的电信产品服务阐述了在IBM WBI-SF V5．1环境下结合BPEL构造和编排电信服务流程的基本过程以及生成可执行文件和代码的方法,介绍了通过使用Web服务描述语言（WSDL）以及消息通讯的算法进行业务流程与Web服务的交互与通信。最后介绍了在IBM的应用服务器WAS 5．1上进行BPEL流程的部署和监控,以保证BPM系统能正常稳定的运行在该环境下。通过对系统实际性能分析证明该系统在实际应用中具有优异的性能,系统设计符合SOA规范,具有良好的重用性和可移植性。     

面向软件工程的工作流管理系统

结合CMM思想和RUP技术，提出了以RUP定义的软件开发流程作为模板，以工作流管理系统作为支持环境的软件开发过程管理的新思路，介绍了工作流管理系统的模型基础，即集成化的多视图模型P_PROCE，它以过程视图为核心，集成了产品，资源，组织和控制评价视图，给出了建模，仿真和执行有机集成的工作流管理系统体系结构，在解释了以过程建模，系统维护和模型转换接口三部分组成的工作流建模系统的基础上，阐述了以个人工作台和工作流引擎为主构成的工作流执行和仿真机制。