| 本文已被：浏览 4358次 下载 6758次 |
码上扫一扫！ |
|
|
| 基于P/T系统化简方法的工作流过程模型验证 |
|
赵文1, 袁崇义1, 刘刚2, 张世琨1, 王立福1
|
|
1.北京大学,信息科学与技术学院,北京,100871;2.解放军信息工程大学,河南,郑州,450052
|
|
| 摘要: |
| 目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果. |
| 关键词: 模型验证 化简规则 过程网 P/T系统 |
| DOI： |
| 分类号: |
| 基金项目:model verification;reduction rules;procedure net;P/T system |
|
| Workflow Process Model Verification Using Reduction Method Based on P/T System |
|
ZHAO Wen,YUAN Chong-Yi,LIU Gang,ZHANG Shi-Kun,WANG Li-Fu
|
| Abstract: |
| Nowadays, workflow technology has been intensively applied in the domains of administration, production, and scientific research. For the complexity and variability of process logic, how to build a well-structured business process is a practical problem. Thus, process model analysis and improvement become one of research directions in workflow technology. Firstly, according to the modified workflow process meta-model, a P/T system based workflow model procedure net is proposed. And then, a set of simplification rules are given to verify two structural conflicts of the process model, i.e. deadlock and lack of synchronization. Finally, following these rules, a procedure net example transformed from a business process is simplified, and the result is obtained. |
| Key words: model verification reduction rules procedure net P/T system |
