基于时态逻辑的扩充状态转换模型.pdfVIP

基于时态逻辑的扩充状态转换模型 张广泉 戎玫 沈一栋 (重庆师范学院重庆400000) (第三军医大学重庆400000)(重庆大学重庆400044) 摘要基于模型和基于逻辑的方法是并发系统形式化描 统这两类方法，在此基础上，引入一种基于 述的两类重要方法，其典型代表分别是转换系统和时态 Manna．Pnueli框架的形式描述方法——基于时态 逻辑．本文首先阐述并剖析这两种方法，然后基于 逻辑的扩充状态转换模型。 Manna．Pnueli框架，引入一种将两者相结合的形式化描 述方法。 2状态转换系统模型及其扩充形武 关键词时态逻辑转抉系统 扩充状春转换模型 本小节我们给出带公平条件的扩充状态转 换系统模型，首先给出并发系统描述的一种基本 l引言 模型——基本转