| 工作流模型及其形式化描述 |
| |
| 引用本文： | 李红臣,史美林.工作流模型及其形式化描述[J].计算机学报,2003,26(11):1456-1463. |
| |
| 作者姓名： | 李红臣 史美林 |
| |
| 作者单位： | 1. 清华大学计算机科学与技术系,北京,100084;河南大学计算机科学学院,开封,475001
2. 清华大学计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家自然科学基金 ( 60 0 73 0 11)，北京市高技术实验室科研项目(50号)联合资助 |
| |
| 摘 要： | 工作流是一个业务过程的全部或部分自动执行．为了实现工作流管理功能，我们必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述，其结果称为是工作流模型．该文主要讨论工作流模型及其形式化描述问题．基于对现实世界业务过程的分析，该文提出一个三维工作流模型，它包含3个子模型：组织模型、数据模型和过程模型，分别从不同的侧面描述工作流的各种属性．文中详细论述各个子模型及其相互关系，并给出三维工作流模型的形式化描述．
|
| 关 键 词： | 工作流管理系统 工作流模型 形式化描述 软件系统 |
| 修稿时间： | 2001年12月3日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
