Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2004-04-25

Journal: 计算机集成制造系统

Included Journals: CSCD、PKU、EI、Scopus

Volume: 10

Issue: 4

Page Number: 388-393

ISSN: 1006-5911

Key Words: 工作流;时态逻辑;模型

Abstract: 在使用Petri网构建工作流行为结构模型的同时,使用时态逻辑描述工作流模型的需求与特性,则具有描述能力强、灵活方便的优点.在此基础上,综合考虑时态逻辑列表法和即时验证方法的特点,给出一种主要利用Büchi自动机进行工作流模型需求及特性验证的方法,提高了工作流模型的合理性和可靠性.最后,验证分析了电子商务的工作流实例.