文献类型：期刊文章

作　　者：李红臣[1] 史美林[1]

机构地区：[1]清华大学计算机科学与技术系

出　　处：《计算机学报》

基　　金：国家自然科学基金 ( 60 0 73 0 11);北京市高技术实验室科研项目(50号)联合资助

年　　份：2003

卷　　号：26

期　　号：11

起止页码：1456-1463

语　　种：中文

收录情况：BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：2004128075183)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：工作流管理系统 工作流模型 形式化描述 软件系统

分 类 号：TP31]