基于同步网的模型验证算法设计与工具实现  

Algorithm Design and Tool Implementation for Workflow Model Verification Based on Syn_ net

作　　者：杨云毅[1] 赵文[1] 王立福[1] 聂承启[1] 

机构地区：[1]江西师范大学计算机信息工程学院,南昌,330027 北京大学信息科学与技术学院,北京,100871 北京大学信息科学与技术学院,北京,100871 江西师范大学计算机信息工程学院,南昌,330027

出　　处：《南京大学学报（自然科学版）》2005年第z1期24-29,共6页Journal of Nanjing University（Natural Science）

基　　金：国家重点基础研究发展规划973资助项目(2002CB312006),国家863高技术研究发展计划(2002AA113171)

摘　　要：目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的问题.首先,对现有的验证技术作一个比较分析,根据工作流逻辑在模型中的决定性作用,研究并提出一个基于同步网(Syn-net)的模型验证算法,然后给出一个用PNML(Petri Net Markup Language)方式存储的业务实例,并根据化简规则进行化简和优化.最后,实现该验证工具.

关 键 词：模型验证 同步网 化简规则 PNML 

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