10.3969/j.issn.1008-0570.2008.03.088
工作流过程建模中验证技术的研究
工作流过程模型的验证是确保工作流系统能够正确执行的至关重要的一环.对近年来国内外研究人员在过程验证方面的研究和成果进行了论述,分析说明了形式化验证、图归约法等几种主流方法的优缺点;结合工作流未来的发展趋势,预测了过程验证下一步的研究方向.
过程验证、佩特里网、合理性、归约、关联矩阵
24
TP311(计算技术、计算机技术)
国家863计划软件基金重大项目2004AA1Z2080
2008-04-22(万方平台首次上网日期,不代表论文的发表时间)
共3页
220-222