基于时间区间的并行行为与并发事件逻辑

摘要：

在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架.文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化.文章给出了逻辑系统的语法和语义描述,还提出了基于领域描述结构的并发事件冲突消解方法.

关键词：主体、动作、事件、基于区间的时态逻辑、框架、分枝

所属期刊栏目：28

分类号：TP311.51(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：13-15,17