基于并行状态自动机的工作流建模

为了实现工作流管理功能，首先要把业务过程从现实世界抽象出来，并用一种形式化方法对其进行描述，其结果就是工作流模型。该文讨论利用并行自动机对工作流的形式化问题。基于对工作流和并行自动机的分析，提出了将工作流的概念映射到并行自动机概念上的方法，该方法可以把工作流联盟提出的工作流的4种结构映射到并行自动机的结构上。给出了并行自动机的结点转化图，即给出了工作流引擎的框架。并行自动机是一种图形的、数学化的计算模型，当工作流的模型——并行自动机建立起来后，为工作流的静态特性和动态特性的分析打下不坚实的基础，为进一步的研究作好了准备。     

基于并行状态自动机的工作流建模

为了实现工作流管理功能，首先要把业务过程从观实世界抽象出来，并用一种形式化疗法对其进行描述，其结果就是工作流模型。该文讨论利用并行自动机对工作流的形式化问题。基于对工作流和并行自动机的分析，提出了将工作流的概念映射到并行自动机概念上的方法，该方法可以把工作流联盟提出的工作流的4种结构映射到并行自动机的结构上。给出了并行自动机的结点转化图，即给出了工作流引擎的框架。并行自动机是一种图形的、数学化的计算模型，当工作流的模型一并行自动机建立起来后，为工作流的静态特性和动态特性的分析打下不坚实的基础，为进一步的研究作好了准备。     

工作流系统中过程模型的应用研究

如何将实现世界中复杂的业务过程转化为可被工作流引擎识别的形式化描述，是架构工作流管理系统中的一个核心问题。文中讨论了一种过程模型的描述语言，并介绍了它在面向电子商务的协同工作系统（ECCS）中的实现。     

一种基于XML的工作流过程模型的实现

如何将企业复杂的业务过程转化为工作流管理系统，可识别的形式化描述是架构工作流管理系统的一个核心问题，现有的文献对工作流过程模型的研究主要是建模方法。从实际应用出发，讨论了一种建立在活动网络图基础上的工作流过程模型的设计过程。在该模型的实现上，采用面向对象的程序设计思想，实现了其对象模型描述，并在此基础上进一步探讨了对象与XML文档元素之间的映射关系及对象模型的文档描述，最后，给出了用COM和ASP实现XML文档对象模型的主要策略。     

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

工作流是一类能够部分或全部由计算机支持或自动处理的业务过程,工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示。论文以过程工程理论建立的企业模型作为工作流模型的扩展思想,归纳出了工作流模型设计原则,并对现有的扩展方法进行了分析;最后提出了一种工作流模型,该模型由过程模型、活动模型、组织模型、资源模型和信息模型五个子模型组成,并给出了各子模型的形式化描述。     

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

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

工作流模式的π演算形式化

为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述.工作流模式是工作流建模的基本构造单元.π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述.     

一个工作流元模型的分析及其时态扩展

时态工作流将时间作为一个维度引入工作流描述．通过对一个典型工作流元模型的分析，得出时态属性是工作流各要素及其关系的普遍属性；定义了时态信息的规范表示和一组时态数据演算，并对时态工作流中主要元素进行了形式化描述；用一个例子说明如何运用上述成果进行过程建模、并处理工作流中的时态数据．结论表明时态工作流能综合处理过程的效率问题和角色、数据、应用程序的时间有效性问题．     

一种基于PDM的工作流管理服务框架的研究

工作流管理系统用来支持组织内部或组织之间的业务建模及业务过程的协作运行．在工作流过程定义及工作流实例运行时，针对系统中的数据流处理，提出一个支撑工作流管理系统运行的服务框架，框架中的服务相对独立，同时又互相协作．描述了应用背景和服务的意义并对设计原理进行形式化描述，采用接口表示服务间的协作关系，并给出一个可扩展的实现模式，用该框架设计实现了一个嵌入式工作流管理系统KE／PDM—Workflow．     

一种改进的柔性工作流过程定义元模型研究

由于传统工作流技术无法满足时常变更的业务过程,工作流的柔性问题成为研究的热点。从WFMC的过程定义元模型中提取出连接类型和活动状态,封装成新元素,并重定义了转移条件和角色,从而形成一种改进的柔性工作流过程定义元模型。运用工作流过程定义语言对元模型主要元素进行了形式化描述,并通过一个实例说明了该模型在实践中的柔性。     

工作流系统中的业务过程描述及分析

过程模型是业务过程的形式化定义,它的正确性直接影响业务目标的实现。定义了一种过程描述语言并对使用这种语言描述的过程模型进行分析,之后给出了工作流执行的控制算法。     

基于过程模型的工作流执行语义研究

针对现有工作流建模语言难以兼顾语言的可理解性、执行语义的形式化和描述维度的单一性等问题,提出利用可视化的过程模型作为工作流建模语言。过程模型能从过程、数据、资源、组织等多个角度描述企事业的业务工作流程。根据过程模型的语法和工作流系统的特点,定义形式化执行语义,为过程模型的分析、验证和执行提供理论依据。     

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.     

工作流元模型的研究与应用

由于工作流技术具有在异构环境中处理复杂事务的能力,所以在科学研究、电子政务和商务等方面引起了广泛的关注,涌现出一些研究成果和产品.其中,大部分的研究集中于工作流的调度、与数据库和遗产系统的接口等技术方向,对工作流管理系统的体系结构、模型和定义语言等方面的研究相对来说比较薄弱.分析了工作流联盟的工作流元模型,并结合实际情况,对工作流元模型以及工作流定义语言作了适当的改进和扩展,以适应日益增长的业务过程的变化和新技术的应用.     

基于FSM的工作流建模方法及其应用

传统工作流建模工具大多是按照流程序列化思想进行使用,关注的是业务的执行顺序和路径,难以对跳转、回退、循环等复杂的业务过程进行建模。本文提出一种基于有限状态机的工作流进行建模的方法,该方法将业务过程看成是有限状态机的状态转移过程,给出工作流建模的几个步骤,最后通过一个实例对该建模方法进行分析说明。     

面向服务的工作流访问控制模型研究

随着企业全球化、企业业务联合与分化的发展,企业组织结构更加动态化,企业业务流程经常发生变更,这都增加了工作流访问控制的复杂性.针对此问题,从工作流访问控制模型与流程模型分离的角度,提出一种面向服务的工作流访问控制模型——SOWAC模型.服务是流程任务的抽象执行和实施访问控制的基本单元,用服务的访问控制替代流程任务的访问控制.说明了SOWAC模型的组成元素及实施实例,提出一种基于服务授权历史的动态责任分离约束方法,并给出SOWAC模型在工作流系统中的实际应用.     

工作流技术在商业过程再造中的应用

随着信息技术和互联网技术的发展 ,企业所面临的挑战是如何灵活调整、重新策划和构建它们的商务过程 ,使得其能够适应不断变化的商务环境 ,从而更具竞争性。介绍了工作流的概念、参考模型及管理系统。讨论了工作流技术在商业过程再造中的应用。