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

被引：106

作者：

李红臣

史美林

机构：

[1] 清华大学计算机科学与技术系

来源：

计算机学报 | 2003年 / 11期

关键词：

工作流管理系统; 工作流模型; 工作流元模型;

D O I：

暂无

中图分类号：

TP399 [在其他方面的应用];

学科分类号：

摘要：

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

引用

页码：1456 / 1463

页数：8