工作流模型及其形式化描述

工作流是一个业务过程的全部或部分自动执行．为了实现工作流管理功能，我们必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述，其结果称为是工作流模型．该文主要讨论工作流模型及其形式化描述问题．基于对现实世界业务过程的分析，该文提出一个三维工作流模型，它包含3个子模型：组织模型、数据模型和过程模型，分别从不同的侧面描述工作流的各种属性．文中详细论述各个子模型及其相互关系，并给出三维工作流模型的形式化描述．     

乐观嵌套工作流事务模型的形式化描述

本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论：1）利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2）在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。     

基于改进AOV网的轻量级工作流模型研究与设计

针对现有工作流模型在应对大型复杂系统时的不足,引入轻量级模型的概念,提出一种基于改进AOV网的轻量级工作流模型以满足大型复杂业务流程的工作流管理需求。在对模型进行详细定义与设计的同时,给出了流程调度中关键的两个算法--分支的调度算法及汇聚的同步算法以确保流程的准确运行。通过对一个具体实例的流程建模分析,体现了模型的轻量级优势并采用图论的分析手段对模型进行静态及动态验证,证明了模型的合理性。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

接力式协作的工作流控制模型

针对工作流管理系统的描述、构造和实现问题，讨论了工作流的建模原则，分析了工作流要素间的关系，提出了一个描述工作流控制过程和组织结构的模型——接力式协作的工作流控制模型RCW，给出了实现工作流管理系统的理论框架．     

一种支持分布式工作流模型的工作流管理系统

通过研究分析当前对跨企业工作流进行集成时所面临的问题,提出了一种支持分布式工作流模型的工作流管理系统,阐述了系统的设计原理和总体结构,并给出了一个跨企业工作流管理的实例。     

工作流过程模型研究

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

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。     

工作流模型的研究与实现

本文介绍工作流以及工作流建模的一些基本概念，以及Petri网技术在工作流模型中的应用，同时提出了一个工作流建模的具体实现方法。本工作流模型的实现包括了企业人员、资源以及任务信息模型的实现，同时任务模型中包括了任务之间的约束关系，以及任务执行过程中产生的文档。     

工作流过程模型研究

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

基于工作流的数字校园网研究

将工作流技术引入数字校园网的建设，并对工作流的技术特点进行了扩展。提出了基于关系结构的工作流技术．使工作流模型能够方便、快速、合理地构架。并提出了基于工作流的数字校园网设计方案。     

基于工作流技术的OA系统流程模型设计

在分析OA系统目标的基础上,提出了基于工作流管理的OA系统模型,并对模型中的核心业务流程进行了详细的分析与设计。     

一种提高系统柔性的工作流模型

为了提高工作流管理系统的柔性以满足现代企业多变的业务需求,本文基于活动网络图提出一种完全面向企业用户的工作流建模方法,给出其形式化定义,构建一个工作流模型,并结合一个抽象的流程示意图重点论述其演进规则。在此工作流模型的基础上开发的工作流管理系统的使用情况表明,它完全满足客户多变的实际需求。     

电信网络资源管理系统与工作流平台相结合的实现方法

本文结合作者在电信网络资源管理系统建设中的经验,通过资源动态管理流程的介绍、流程与资源关系的数据模型、工作流平台实现思路,以及系统的应用,希望能为电信网络资源管理系统的研究奉献一些经验。     

电信网络资源管理系统与工作流平台相结合的实现方法

本文结合作者在电信网络资源管理系统建设中的经验，通过资源动态管理流程的介绍、流程与资源关系的数据模型、工作流平台实现思路，以及系统的应用，希望能为电信网络资源管理系统的研究奉献一些经验。     

一种扩展的工作流过程定义模型

提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel，它可以描述复杂结构的工作流流程，并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息，表达出复杂工作流程的定义；同时，本文所提出的工作流过程定义模型ScopePModel，不仅可以捕捉现实世界业务流程，具有丰富的表达能力，使工作流定义的语义更为明确，而且为工作流过程定义模型验证提供了强大、丰富的理论依据，为工作流过程定义模型验证奠定了良好基础．ScopeWork是我们自行研制开发的工作流管理系统的原型系统，它基于该模型实现了复杂业务过程的工作流过程定义以及调度等功能．     

一种新的AOV网络拓扑排序算法

通过表达每个顶点在图中相对其他顶点的位置，提出的后序集的概念。基于此将图用二维数组存储，构造出一种新的基于后序集的AOV网拓扑排序算法，给出了算法的思路和实现步骤，采用一个装配生产线作业顺序规划问题为实例，验证了算法的正确性和可行性。     

工作流技术在办公自动化系统中的应用研究

工作流技术是办公自动化系统中的核心技术之一.文章对工作流、工作流管理系统的概念和模型做了详细的介绍.提出了一个基于工作流模型的OA系统模型,在此基础上介绍了一个已完成的公文流转子系统中采用的相应技术.     

基于角色的动态工作流技术的研究

面对越发激烈的竞争环境,当今企业的业务流程种类越来越多,流程的执行过程也充满了各种不确定因素,传统的PDM的流程管理一般不能根据实际情况进行动态的改变。针对这个问题,介绍了动态工作流的特点,讨论了基于角色的动态工作流建模技术,以及基于角色状态的动态访问控制方法,并设计了支持模型进行动态演化的算法。     

基于Web的分布式工作流系统的研究

在工作流技术研究领域中,基于Web的分布式工作流系统逐步成为研究热点。介绍了一种基于Web服务技术的分布式工作流管理系统的框架结构,并从数据层、业务层、应用层三个方面详细介绍实现此工作流执行框架所使用的各种技术,研究了这个框架结构中的核心部件——嵌入式工作流引擎的系统设计模型,在该模型中探讨了数据模型和控制模型的设计。