工作流过程模型研究

工作流过程模型是工作流管理系统的基础，对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状，主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

工作流过程模型研究

工作流过程模型是工作流管理系统的基础,对工作流过程模型的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有重要的意义。文中介绍了工作流过程模型的现状,主要包括WfMC定义的工作流元模型、工作流过程模型的实质、工作流过程模型的建模工具。同时分析了目前工作流过程模型中存在的问题以及未来工作流过程模型的发展方向。     

工作流异常处理技术与方法

首先介绍了工作流异常处理的体系结构,然后详细介绍了异常处理在流程建模中的描述方式和异常处理的四个基本方法：事务特性与程序设计结合法、知识库法、ECA规则法和工作流进化法。最后展望了工作流异常处理的未来发展方向。     

工作流流程模型结构优化算法的研究

该文从一个新颖的角度提出一种优化工作流流程模型结构的算法,用进程代数CCS来描述工作流流程模型的定义,并引用了进程代数中的互模拟的思想,提出了互模拟活动集合以及子流程的定义,同时给出如何找出复杂工作流流程模型中的互模拟活动的算法,该算法的提出简化了工作流流程模型的结构,从而提高了流程的运行效率。     

Trigger在工作流设计中的应用

在动态环境中设计工作流，需要一个具有高灵活性和易于使用的工作流模型。在工作流设计中建立独立于主工作流之外的异常情况模型，可以扩展工作流设计所应用的范围。本文以河南省电力公司管理系统中的具体实践为例，说明了trigger设计在实际问题中的应用。     

Configuration for Adaptation – A Human-centered Approach to Flexible Workflow Enactment

The advantages of today's processmanagement, such as efficiency and quality aspects,are achieved by enforcing detailed models of workprocesses. However, real world processes can beplanned to a limited degree only and sometimes plannedparts of the process must be changed,creating a need for additional, unforeseen activities.This paper suggests an approach that configuresparts of a detailed process model with differentsupport strategies. The explicit modelling of thesesupport strategies allows them to be changed ifdemanded by the situation. When enacting such aprocess model it is then possible to vary the degreeto which the model determines the work ofindividuals. The concept is based on an earlierenactment concept which allowed workers to freelychoose methods for their tasks according to thesituation. Besides the incorporation of differentsupport strategies, the extended enactment strategygives workers the opportunity to negotiate aboutchanging a currently too restrictive support strategy,giving scope for deviations from the plannedprocess where additional actions are required.     

基于Petri 网的工业设计过程管理工作流建模研究

工业设计过程建模是产品设计过程管理研究的关键环节,直接影响着项目开发周 期和整体效益,但目前工业设计行业没有针对设计过程管理有效的建模技术及其系统。为实现 对工业设计企业设计过程动态性、结构性和有序性管理,在产品设计过程管理中引入面向过程 的组织管理与流程优化的工作流技术及Petri 网建模方法;然后根据对设计过程管理流程的研 究,构建了设计过程管理工作流程图;进而结合工作流技术、Petri 网过程建模方法和工业设计 过程管理流程提出工业设计过程管理的4 个阶段工作流建模方法：本体分析、元素提取、元素 概括、元素带入;最后,以工业设计过程管理建模领域为例构建了基于Petri 网的工业设计过程 管理工作流模型,在此基础上实现了工业设计过程管理原型系统。     

工作流异常处理的形式描述

异常处理是工作流执行中要解决的主要问题之一，清楚地描述异常处理的过程是最终得到实现的基础。Petri-net对工作流的描述适合于对过程定义进行正确性验证和评价，但描述各种不同条件下的处理策略却很繁琐，采用了一种直观的描述方法对异常处理过程中的元素，即活动、异常处理策略以及处理措施进行了形式化描述，特别是对不同处理策略下的处理过程进行了描述。结合消息机制，分析了一个异常事件出现时，如何处理一个活动实例产生的中间数据，并对事务处理和异常处理的补偿策略进行了比较。描述方法为编码实现提供了很大的方便。     

一个支持动态变化的工作流管理系统

随着工作流技术得到越来越广泛的应用，人们对工作流管理系统提出了新的要求，要求系统能够具有动态变化和灵活的处理能力．以便有效地支持今天所处的具有动态的、不确定的和易于出错的协同工作环境．文章扩展了工作流管理联盟给出的工作流模型，提出了动态工作流模型，并以此模型为指导．设计实现了具有动态灵活能力的工作流管理系统TH—workflow，该系统将工作流的功能特性划分为三个层次，即应用层、功能层和实现层．在不同的层次上实现了工作流的基本服务和动态灵活的控制功能．     

A Workflow Process Mining Algorithm Based on Synchro-Net

Sometimes historic information about workflow execution is needed to analyze business processes. Process mining aims at extracting information from event logs for capturing a business process in execution. In this paper a process mining algorithm is proposed based on Synchro-Net which is a synchronization-based model of workflow logic and workflow semantics. With this mining algorithm based on the model, problems such as invisible tasks and short-loops can be dealt with at ease. A process mining example is presented to illustrate the algorithm, and the evaluation is also given.     

人事档案管理系统及其时间Petri网工作流模型

该文介绍了分布式企业人事档案管理系统,用时间Petri网表示了档案管理系统的工作流模型,讨论了与时间有关和操作概率分布不同的工作流模型的性质,并对基本模型进行时序分析。利用线性时间推理规则,在线性时间复杂度内解决时间推理问题。并根据给出的系统每个操作的概率,求出了在不同时间区间内系统处理不同事件的概率分布。进而对系统进行分析。     

电力企业工作流管理系统的设计与实现

介绍了适合电力企业的工怍流管理系统的设计方案和实现方法,并指出了系统的特点。系统采用一种面向用户的工作流建模方法,弥补了Petri网方法的图形复杂和节点多的不足。系统支持工作流实例的动态变化,符合电力企业业务工作流的需要。     

产品制造业的工作流管理系统的设计

随着技术的发展和企业的规模的扩大,对于提高效率,强化管理的自动化系统的需求越来越多。将工作流技术引入产品制造领域,可以实现产品生产过程的高度自动化,本文将结合产品生产领域给出一种状态可存档的工作流管理系统的设计方案。     

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题,提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表,将ECA 规则引入到工作流路由机制中,灵活地控制了工作流的流程。通过事件触发和消息处理机制,工作流描述表处理可以被实际系统加以执行和控制。     

集成化离散生产过程的工作流管理

文章以面向过程的观点,分析了生产过程内活动之间的逻辑关系,提出了以工作流管理系统为集成平台的企业生产过程管理和离散生产过程工作流建模方法。在此基础上建立了过程运行规则和资源约束处理规则。由于生产过程的工作流模型是以活动为组件自下而上建立的有向树结构,它与过程运行规则和资源约束处理规则的结合,使生产过程能够适应内部及外部环境的变化,从而可有效地解决生产过程中各活动之间的协调问题。     

工作流管理系统中一种概率性分析和调整时间约束的方法

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描述时间约束下的工作流流程.基于该网提出一种方法,以随机的形式分析活动满足时间约束的概率.该概率能帮助流程管理者灵活地分析时间约束的可行性,进一步为时间约束调整提供精确的指导.此外,用一个实际工作流管理系统中的例子验证工作的有效性.     

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

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

一种Colored WF_logic Net的工作流过程建模

结合着色Petri网和WLnet相关理论,提出有色工作流逻辑网（CWL_net）这一概念来实现工作流的过程建模。最后以保险索赔业务过程为例,采用绘制可达树的方法分析了业务流程的合理性。利用CWL-net可以准确描述业务流程的工作流逻辑,且这种逻辑结构可以区分工作流具体流程中不同变迁产生的任务完成信息,避免了某些问题。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

支持工作流动态变化的过程元模型

支持动态可变并具备灵活性是人们在实际应用中对工作流管理系统提出的新要求,已有的相关研究工作都集中在对工作流中发生变化的某个具体问题上.提出了支持动态特性的工作流过程元模型,可以为动态过程模型的设计提供指导.从时间和工作流组成的过程级别两个角度分析了其动态特性的表现,扩展了工作流管理联盟的工作流元模型.扩展后的过程元模型在工作流的建立阶段力求将动态特性进行描述和定义,在工作流执行阶段可以根据已定义的动态属性,处理过程的变化情况.基于该元模型,工作流管理系统既具有灵活性,又有利于变化控制操作.