工作流建模中时态逻辑的研究与应用
Temporal Logic Applied in Workflow Modeling作者机构：大连理工大学计算机科学与工程系辽宁大连116023
出 版 物：《计算机集成制造系统-CIMS》 (Jisuanji Jicheng Zhizao Xitong)
年 卷 期：2004年第10卷第4期
页 面：388-393页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：在使用Petri网构建工作流行为结构模型的同时,使用时态逻辑描述工作流模型的需求与特性,则具有描述能力强、灵活方便的优点。在此基础上,综合考虑时态逻辑列表法和即时验证方法的特点,给出一种主要利用B櫣chi自动机进行工作流模型需求及特性验证的方法,提高了工作流模型的合理性和可靠性。最后,验证分析了电子商务的工作流实例。
维普期刊数据库
同方期刊数据库