论文部分内容阅读
工作流过程模型是业务模型的形式化表示。工作流过程模型建立起来以后，如何保证它的正确性及运行性能?在本文中，这个问题得到了较好的解决。对于工作流模型的语义正确性，只能采取仿真的方法来加以验证，而通过分析仿真运行结果，也可以得到模型的运行性能指标。本文构建了一个基于对象Petri网(OPN)的工作流模型仿真环境，将建模工具生成的XML格式描述的工作流模型解析出来后，再转换成对象Petri网形式的仿真模型，然后设置仿真参数，将该模型投入仿真运行。而对于工作流模型的语法正确性和结构正确性，我们可以采用数学证明的方法来加以验证。语法正确性比较易于证明，而结构正确性的证明则较难，本文采用了一种基于图归约法的工作流模型结构冲突验证方法，该方法可以检测出工作流模型中存在的各种结构冲突，从而成功地解决了这一难题。