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

作者：喻斌 武友新过程验证佩特里网合理性归约关联矩阵

摘要：工作流过程模型的验证是确保工作流系统能够正确执行的至关重要的一环。对近年来国内外研究人员在过程验证方面的研究和成果进行了论述,分析说明了形式化验证、图归约法等几种主流方法的优缺点;结合工作流未来的发展趋势,预测了过程验证下一步的研究方向。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社