一种基于产生式的流程模型分析方法  

Production-based Method for Process Model Analysis

作　　者：陈亮[1] 夏永霖[1] 魏峻[1] 

机构地区：[1]中国科学院软件研究所软件工程技术中心,北京100080

出　　处：《计算机应用研究》2007年第4期37-41,46,共6页Application Research of Computers

基　　金：国家"973"计划资助项目(2002CB312005);国家自然科学基金资助项目(60203029);国家"863"计划资助项目(2001AA113010;2001AA414020)

摘　　要：在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。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,

关 键 词：业务流程模型 分析和验证 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]