| 一种基于产生式的流程模型分析方法* |
| |
| 引用本文： | 陈亮,夏永霖,魏峻.一种基于产生式的流程模型分析方法*[J].计算机应用研究,2007,24(4):37-41. |
| |
| 作者姓名： | 陈亮 夏永霖 魏峻 |
| |
| 作者单位： | （中国科学院 软件研究所 软件工程技术中心， 北京 100080） |
| |
| 基金项目： | 国家“973”计划资助项目（2002CB312005）； 国家自然科学基金资助项目(60203029)； 国家“863”计划资助项目(2001AA113010,2001AA414020) |
| |
| 摘 要： | 在深入分析业务流程模型和合理的抽象业务活动基础上，提出了一种基于产生式的流程模型形式化分析方法，并提供了一种从一般流程描述到该模型的转换方法；在此基础上，推导了一系列行之有效的流程属性验证规则，并通过应用实际例子证明了所提出方法的有效性。
|
| 关 键 词： | 业务流程模型 分析和验证 |
Production based Method for Process Model Analysis |
| |
| CHEN Liang,XIA Yong lin,WEI Jun.Production based Method for Process Model Analysis[J].Application Research of Computers,2007,24(4):37-41. |
| |
| Authors: | CHEN Liang XIA Yong lin WEI Jun |
| |
| Affiliation: | (Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China) |
| |
| Abstract: | By thoroughly analyzing workflow models and the rational abstracted business activities, this paper proposed a kind of formalization analysis model based on the production rules, and provided a transformation method from the general workflow to this model. Based on these works, this paper infered a group of effective workflow validation rules, and proved their validity through examples. |
| |
| Keywords: | process model analysis & verification |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
