Hits:
Indexed by:期刊论文
Date of Publication:2004-04-25
Journal:计算机集成制造系统
Included Journals:Scopus、EI、PKU、CSCD
Volume:10
Issue:4
Page Number:388-393
ISSN No.:1006-5911
Key Words:工作流;时态逻辑;模型
Abstract:在使用Petri网构建工作流行为结构模型的同时,使用时态逻辑描述工作流模型的需求与特性,则具有描述能力强、灵活方便的优点.在此基础上,综合考虑时态逻辑列表法和即时验证方法的特点,给出一种主要利用Büchi自动机进行工作流模型需求及特性验证的方法,提高了工作流模型的合理性和可靠性.最后,验证分析了电子商务的工作流实例.
