用基于流事件结构的偏序时序逻辑刻画并发系统多诱因特征

摘要：

针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题,提出了一种依赖流关系的流事件结构逻辑(FESL),作为多诱因特征的刻画语言.FESL以流事件结构作为框架模型,并且依据格局量词,建立了自己的公理系统.证明了FESL不仅能有效表达多诱因特性,而且还能描述涉及多个运行实例的特性;同时也证明了FESL的完备性、合理性以及可判定性.

关键词：流事件结构、偏序时序逻辑、格局、公理系统

所属期刊栏目：40

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金60373113;国家重点基础研究发展计划973计划2004CB318000

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

页数：共6页

页码：127-132