%0 Journal Article
%T 工作流建模中时态逻辑的研究与应用
%A 唐达
%A 徐超
%A 杨晓丽
%J 计算机集成制造系统
%P 0-0
%D 2004
%X 在使用Petri网构建工作流行为结构模型的同时，使用时态逻辑描述工作流模型的需求与特性，则具有描述能力强、灵活方便的优点。在此基础上，综合考虑时态逻辑列表法和即时验证方法的特点，给出一种主要利用Büchi自动机进行工作流模型需求及特性验证的方法，提高了工作流模型的合理性和可靠性。最后，验证分析了电子商务的工作流实例。
%K 工作流
%K 时态逻辑
%K 模型
%U http://www.cims-journal.cn/CN/abstract/abstract528.shtml