| 工作流过程建模方法及模型的形式化验证 |
| |
| 引用本文： | 杨东,王英林,张申生,傅谦.工作流过程建模方法及模型的形式化验证[J].计算机科学,2003,30(9):127-131. |
| |
| 作者姓名： | 杨东 王英林 张申生 傅谦 |
| |
| 作者单位： | 上海交通大学计算机系CIT实验室,上海,200030 |
| |
| 基金项目： | 863/CIMS(2001AA412010). |
| |
| 摘 要： | Work/low technology is widely used in business process modeling, software process modeling as well as en-terprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, expressiveness and formalism. In this paper, the modeling approaches most used in research project and workflow products are compared. And the verification of workflow model is also dealt. We argue that a ideal workflow modelin~ approach is a hybrid one, i.e. the inteuration of the above approaches.
|
| 关 键 词： | 工作流管理系统 工作流过程 建模方法 Petri网 形式化验证 软件系统 |
A Survey of Workflow Modeling Approaches and Model Verification |
| |
| YANG Dong WANG Ying-Lin ZHANG Shen-Sheng FU Qian.A Survey of Workflow Modeling Approaches and Model Verification[J].Computer Science,2003,30(9):127-131. |
| |
| Authors: | YANG Dong WANG Ying-Lin ZHANG Shen-Sheng FU Qian |
| |
| Abstract: | Workflow technology is widely used in business process modeling, software process modeling as well as enterprise information integration. At present, there exist a variety of workflow modeling approaches, which differ in the easiness of modeling, expressiveness and formalism. In this paper, the modeling approaches most used in research project and workflow products are compared. And the verification of workflow model is also dealt. We argue that a ideal workflow modeling approach is a hybrid one, i. e. the integration of the above approaches. |
| |
| Keywords: | Workflow modeling Model verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
