工作流过程建模中验证技术的研究  

Research of Verification Techniques in Workflow Process Modeling

作　　者：喻斌[1] 武友新[1] 

机构地区：[1]南昌大学信息工程学院,江西南昌330029

出　　处：《微计算机信息》2008年第3期220-222,共3页Control & Automation

基　　金：国家"863"计划软件基金资助重大项目"基于Linux的业务基础组件平台的研究与应用"(2004AA1Z2080)

摘　　要：工作流过程模型的验证是确保工作流系统能够正确执行的至关重要的一环。对近年来国内外研究人员在过程验证方面的研究和成果进行了论述,分析说明了形式化验证、图归约法等几种主流方法的优缺点;结合工作流未来的发展趋势,预测了过程验证下一步的研究方向。The verification of workflow process model is one of the most important step to ensure that the workflow system can be executed correctly.Some research of process verification in last years is presented in the issue,and the advantage and disadvantage of some main methods are analyzed,such as formal verification and graph reduction.Then it predicts the research content of process verification in future according to the development of workflow.

关 键 词：过程验证 佩特里网 合理性 归约 关联矩阵 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]