工作流模型检测研究  

Study on workflow model checking

作　　者：闫志华[1] 李成[1] 郑艳萍[1] 

机构地区：[1]郑州大学机械工程学院,河南郑州450001

出　　处：《计算机应用》2007年第6期1448-1451,共4页journal of Computer Applications

摘　　要：研究了利用模型检测技术对WPDL描述的工作流模型的正确性的检测方法,提出了工作流模型的正确性检测指标及其CTL*公式描述,以及博弈算法实现工作流模型的正确性检测,该方法的特点是具有较强的检测指标描述能力及高效的检测算法。A method to verify the correctness of workflow model described by WPDL was introduced. We used CTL＊ to describe the correctness properties of workflow model and the algorithm of Nonemptiness games to verify the correctness. This method has f strong ability in describing the correctness properties, and it is both time and space efficient.

关 键 词：工作流 模型检测 时序逻辑 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]