工作流模型和其形式化描述.pdf

第 26 卷 　第 11 期 计 　　算 　　机 　　学 　　报 Vol . 26 No . 11 2003 年 11 月 CHINESE JOURNAL OF COMPUTERS Nov. 2003 　 工作流模型及其形式化描述 1) ,2) 1) 李红臣 　　史美林 1) (清华大学计算机科学与技术系 　北京 100084) 2) (河南大学计算机科学学院　开封 475001) 摘 　要 　工作流是一个业务过程的全部或部分自动执行. 为了实现工作流管理功能 ,我们必须将业务过程从现实 世界中抽象出来 ,并用一种形式化方法对其进行描述 ,其结果称为是工作流模型. 该文主要讨论工作流模型及其形 式化描述问题. 基于对现实世界业务过程的分析 ,该文提出一个三维工作流模型 ,它包含 3 个子模型 :组织模型 、数 据模型和过程模型 ,分别从不同的侧面描述工作流的各种属性. 文中详细论述各个子模型及其相互关系 ,并给出三 维工作流模型的形式化描述. 关键词 　工作流管理系统 ;工作流模型 ;工作流元模型 中图法分类号 TP393 Workflow Models and Their Formal Descriptions L I HongChen1) ,2) 　SHI MeiLin1) ) 1 ( Dep artment of Comp uter Science and Technology , Tsinghua University , Beij ing 100084) ) 2 ( ) School of Comp uter Science , Henan University , Kaif eng 475001 Abstract 　Workflow is the automation of a business process in whole or part . To achieve the function of workflow management , the business process must be abstracted from the real world and described by a kind of formal method . The result is workflow model . This paper mainly discusses workflow models and their formal descriptions. Based on the analysis of business processe