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

摘要：

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

关键词：工作流管理系统、工作流模型、工作流元模型

所属期刊栏目：26

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金60073011;北京市高技术实验室基金50号

在线出版日期：2004-01-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1456-1463