支持动态会商的新型协同办公平台研究

为了进一步提高办公平台的协同工作能力,提出了一种支持动态会商的新型协同办公平台,它不仅支持基于工作流的异步任务传递的审批工作方式,而且能够为工作人员灵活提供群体同步协同审批的工作环境.阐述了该新型协同办公平台的基本运行模式,对工作流系统中会商工作方式进行了分析,在此基础上给出了动态会商的流程模型并提出了会商活动.最后对新型协同办公平台的功能模块与系统结构进行了设计.     

电子政务中构建工作流开发平台技术的研究

讨论了电子政务中工作流开发平台的构建，通过图形化的方式定制具体的工作流程，并在工作流引擎基础上实现工作任务的动态流转和跟踪，通过对工作流流转的过程进行监控和动态调整，从而保证定制好的工作流的有效执行。     

MD_WFN：一种基于Petri网的工作流模型研究*

一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等,然而目前大多数的工作流建模方法往往只注重模型的某些方面,缺乏对工作流各要素的统一建模能力。通过对传统Petri网的改进,提出了一种包括任务、控制、资源、时间等多要素的多维工作流模型（multidimensional workflow net,MD_WFN）,实现了任务流、控制流、资源流在同一工作流模型中的统一。对基于MD_WFN模型的工作流模式和工作流建模过程进行研究,为使用MD_WFN     

工作流知识管理系统工作流引擎的研究

企业的知识管理是为了提高企业发展与知识传递,工作流系统是支持工作流定义、执行和监控的计算机软件系统。针对工作流系统应用在企业知识管理时面临的流程数据整合不易、文件内容词汇关系的不明确与存取控制不便等问题,提出了一种可应用于知识管理的工作流引擎架构。该架构以XML作为流程文件交换与存储的格式,将不同知识领域包含的概念及关联特性整合进工作流程中,并设计了基于角色继承的授权管理机制进行精确的文件存取控制。详细分析了工作流引擎的设计及实现机制,为工作流程中的知识管理提供了一种新的管理及控制模式。     

jBPM流程定义文件自动生成算法

基于jBPM的工作流管理系统在执行前要将流程定义文件发布到系统中,流程定义文件生成的传统做法是使用eclipse图形化工具手工进行绘制。通过对工作流设计阶段的流程任务节点数据进行分析,提出根据设计节点数据自动生成流程定义文件和流程图的算法。算法具体内容是对流程中的节点数据进行键值对的分析、处理,以确定任务节点在流程图的位置,然后生成流程定义文件和流程图,以供jBPM工作流管理系统发布、执行。最后通过装甲车辆测试方案生成系统验证了该算法的可行性和实用性。     

工作流事务原子性研究

传统的工作流管理系统事务处理能力不足,使得系统在失败时不能尽快恢复流程的执行。实现事务工作流原型系统,通过扩充建模功能,在建模阶段指定失败处理模式,当任务执行失败时,系统自动调用事务处理算法保证工作流事务的放松的原子性及数据的一致性和正确性,减少人工参与决策的工作。实验表明,引入了事务处理功能的工作流系统具有任务执行失败后快速恢复的能力。     

支持异常处理的迁移工作流服务方法研究

迁移工作流是迁移实例借助工作位置服务就地执行任务的移动计算模式,如何保证工作位置为迁移实例提供可靠的工作流服务,是迁移工作流管理系统设计中必须解决的一个关键问题。提出了一种基于案例推理的工作流服务方法,它利用服务案例支持迁移实例的正常工作,利用异常案例支持任务的异常处理。实验用例表明,该方法可以大大增强系统处理工作流服务异常的能力。     

用线性回归的加权分配法对工作流时间的预测

为了更好地为一项新设计任务估算合理的设计时间,为流程设计者提供科学的、优化的决策支持.以项目需求和创新性为评价标准,采用线性回归法对工作流中的设计过程进行预测,对得到的回归方程进行线性回归关系的显著性检验,并给出了预测时间值的置信区间.采用加权分配法对工作流各个节点的执行时间进行估算,给出了加权分配法的公式,并采用正态分布对工作流及工作流各个任务节点的工作进度进行了估算.     

一种基于工作流的软件可靠性评估方法

随着工作流系统在企业运营中担负越来越重要的角色,工作流可靠性研究的重要性也日渐增加。文中提出了一套完整的工作流系统可靠性评估方法,帮助企业检验工作流系统的可靠性。首先,文中对工作流系统的体系结构进行分析,其中重点分析了工作流系统的流程及活动模式,提出一个以流程为基础的工作流可靠性评估方法。文中采用基于马尔可夫链的流程可靠性算法,将活动中的可靠性数据整合,计算流程的可靠性数据。在此基础上,基于Additive模型,根据流程的使用率将多流程的可靠性信息进行整合,最后求出工作流系统的可靠性数据。根据该方法,设计并实现了工作流系统可靠性评估软件,并通过在。 NET工作流平台上的实验,验证了该方法的可靠性预测效果是令人满意的。     

基于分布式工作流日志挖掘的流程识别算法

为了识别出分布式环境下工作流的执行流程,对分布式工作流管理系统进行了研究,通过对分布式工作流执行站点中XML格式的系统运行日志进行分析,提出了一种增量式工作流挖掘算法。该算法通过对大量工作流执行站点中的活动执行时间序列进行分析与合并,从而重构出分布式环境下的工作流模型。该算法主要由两个重要部分组成:一个是时间序列挖掘算法,用于从工作流执行日志中挖掘出活动间的执行时间序列;另一个是工作流程识别算法,在时间序列挖掘算法得出的活动执行时间序列基础上,识别出结构化的工作流模型。通过实例结果表明了该算法的有效性。     

VINCASim:一种网格工作流可靠性仿真工具

网格工作流作为综合利用网格资源求解问题的"编程"技术已得到广泛应用,其可靠性保障研究得到越来越多的关注.然而,面对网格环境固有的复杂性和不确定性,如何时可靠性保障方法有效、方便地进行评测,是一个有待深入探索的挑战性问题.以VINCA网格工作流为参考原型,对影响其可靠性的因素进行了系统的分析,抽象出了网格工作流系统组件模型和可靠性属性模型,并基于GridSim实现了一个可配置、易扩展的网格工作流可靠性仿真工具包--VINCASim.此工具可以通过配置方便地模拟节点失效、工作流引擎失效、网络连接失效、流程执行异常等出错情形,提供扩展接口支持以编程的方式引入各种可靠性保障方法,为评测不同方法的有效性提供可控的、可重复的实验平台.通过场景示例说明了该工具的扩展性和易用性.     

基于CPN的工作流异常处理模型设计

工作流异常处理是工作流管理系统中的重要组成部分,但是它的实现既复杂又耗时。为了支持面向服务的工作流,层次化地描述异常处理,提出一种基于CPN的异常处理模型。在形式化描述工作流异常的基础上,采用补偿法作为异常处理方式,详细描述了处理结构中的异常监控、异常分析和补偿案例执行三个子过程。结合茶餐厅的运营模型的仿真实验证明了该模型可有效地分离工作流的异常处理逻辑和运行逻辑,并支持工作流管理系统的实施。     

A policy-based authorization model for workflow-enabled dynamic process management

Although workflow has been widely used to support the modeling and execution of business process, the majority of current workflow management systems are not designed and suited for supporting dynamic business processes. One of the deficiencies is the inability to model realistically the organization of an enterprise to manage the dynamic human-centric business processes. A framework for workflow-enabled dynamic business process management is described in the paper. It includes an organizational model and an authorization model for supporting dynamic business processes. More specifically, authorization policies are expressed in an SQL-like language which can be easily rewritten into query sentences for execution. In addition, the framework supports dynamic integration and execution of multiple access control polices from disparate enterprise resources. Finally, a prototype implementation of the dynamic business process management framework is described.     

一个面向电子审批系统的嵌入式工作流引擎的设计与应用

在某运输政务管理电子审批平台建设中,引入工作流技术,自主研发一个嵌入式工作流引擎。通过对其审批业务的分析,提出面向电子审批业务的工作流概念模型;在此基础上,对该工作流引擎的系统架构和数据模型作了详细设计。基于该工作流引擎的运输政务管理电子审批平台上线后,一方面运行稳定,工作流引擎作为流程控制中心有效支撑了业务运营,并对审批电子文书实现有效管理;另一方面,实现灵活的流程定制,审批内容可适时调整,大大降低了维护成本。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

Modeling and Managing Interactions among Business Processes

Most workflow management systems (WfMSs) only support the separate andindependent execution of business processes. However, processes often needto interact with each other, in order to synchronize the execution of theiractivities, to exchange process data, to request execution of services, orto notify progresses in process execution. Recent market trends also raisethe need for cooperation and interaction between processes executed in differentorganizations, posing additional challenges. In fact, in order to reduce costsand provide better services, companies are pushed to increase cooperation and toform virtual enterprises, where business processes span across organizationalboundaries and are composed of cooperating workflows executed in differentorganizations. Workflow interaction in a cross-organizational environment iscomplicated by the heterogeneity of workflow management platforms on top ofwhich workflows are defined and executed and by the different and possiblycompeting business policies and business goals that drive process executionin each organization.In this paper we propose a model and system that enable interactionbetween workflows executed in the same or in different organizations. Weextend traditional workflow models by allowing workflows to publish andsubscribe to events, and by enabling the definition of points in the processexecution where events should be sent or received. Event notifications aremanaged by a suitable event service that is capable of filtering andcorrelating events, and of dispatching them to the appropriate targetworkflow instances. The extended model can be easily mapped onto anyworkflow model, since event specific constructs can be specified by means ofordinary workflow activities, for which we provide the implementation. Inaddition, the event service is easily portable to different platforms, anddoes not require integration with the WfMS that supports the cooperatingworkflows. Therefore, the proposed approach is applicable in virtually anyenvironment and is independent on the specific platform adopted     

一种高效的跨平台工作流优化方法

为了应对复杂的数据分析任务,研究人员设计开发出结合多个平台的跨平台数据处理系统。系统跨平台工作流中算子的平台选择对于系统性能至关重要,因为算子在不同平台上的实现会产生性能间的显著差异。目前多使用基于成本的优化方法来实现跨平台工作流的平台选择,但现有的成本模型由于无法挖掘跨平台工作流的潜在信息而导致成本估计不准确。提出一种高效的跨平台工作流优化方法,采用GGFN模型作为成本模型,以算子特征和工作流特征作为模型输入,利用图注意力机制捕捉有向无环图型跨平台工作流的结构信息和算子邻居节点信息,同时结合门控循环单元记忆算子的运行时序信息,从而实现准确的成本估计。在此基础上,根据跨平台工作流的特点设计算子实现平台的枚举算法,利用基于GGFN的成本模型和延迟贪婪剪枝方法进行枚举操作,为每个算子选择合适的实现平台。实验结果表明,该方法可以将跨平台工作流的执行性能提升3倍,运行时间缩短60%以上。     

面向GJB 2725A-2001的评测过程管理平台

设计了一个针对GJB 2725A-2001的测评过程管理平台——QESuite2.0。总结了GJB 2725A-2001及附加文件中与测评过程管理相关概念及模型。在此基础上阐述了流程可裁剪、功能可拆卸、项目可定制、文档可自动生成的总体功能架构及基于该框架的设计思想。给出了系统实现中的技术要点并讨论了后续的研发工作及应用前景。     

支持企业动态联盟的敏捷工作流系统

针对企业动态联盟应用和大型企业的商业过程重组,文中提出了一种支持系统重构、软件重用和规模可扩展的敏捷工作流系统。文中针对动态联盟的应用建立了基于过程分解的工作流概念模型,同时对该模型进行形式化描述并设计了一种支持此概念模型的分层递解的敏捷工作流系统框架。文中提出的基于ＣＯＲＢＡ和Ａｇｅｎｔ的两级可供调用的功能体封装提高了软件的重用性和系统的重构性,分层递阶模型增强了系统重构能力和规模的扩展能力。     

ElasticSim: A Toolkit for Simulating Workflows with Cloud Resource Runtime Auto-Scaling and Stochastic Task Execution Times

Resource provisioning and scheduling are crucial for cloud workflow applications. Simulation is one of the most promising evaluation methods for different resource provisioning and scheduling algorithms. However, existing simulators for Cloud workflow applications fail to provide support for resource runtime auto-scaling and stochastic task execution time modeling. In this paper, a workflow simulator ElasticSim is introduced, which is an extension of the popular used CloudSim simulator by adding support for resource runtime auto-scaling and stochastic task execution time modeling. Most of existing workflow scheduling algorithms are static and are based on deterministic task execution times. By the aid of ElasticSim, the practical performance of existing static algorithms, when they are put into practice with stochastic task execution times, is evaluated. Experimental results show that about 2.8 % to 20 % additional resource rental cost is incurred for different cases and workflow deadlines are violated for most cases because of stochastic task execution times. Therefore, ElasticSim is a promising platform for evaluating the practical performance of workflow resource provisioning and scheduling algorithms, which supports resource runtime auto-scaling and stochastic task execution time modeling.