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