|
|||||
|
|
| 用基于流事件结构的偏序时序逻辑刻画并发系统多诱因特征 | |
| 引用本文： | 闫炜,吴尽昭,高新岩.用基于流事件结构的偏序时序逻辑刻画并发系统多诱因特征[J].四川大学学报(工程科学版),2008,40(1):127-132. |
| 作者姓名： | 闫炜 吴尽昭 高新岩 |
| 作者单位： | 1. 电子科技大学,计算机科学与工程学院,四川,成都,610054 2. 电子科技大学,计算机科学与工程学院,四川,成都,610054;中国科学院,成都计算机应用研究所,四川,成都,610041 3. 中国科学院,成都计算机应用研究所,四川,成都,610041 |
| 基金项目： | 国家自然科学基金 , 国家重点基础研究发展计划(973计划) |
| 摘 要： | 针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题,提出了一种依赖流关系的流事件结构逻辑(FESL),作为多诱因特征的刻画语言.FESL以流事件结构作为框架模型,并且依据格局量词,建立了自己的公理系统.证明了FESL不仅能有效表达多诱因特性,而且还能描述涉及多个运行实例的特性;同时也证明了FESL的完备性、合理性以及可判定性. |
| 关 键 词： | 流事件结构 偏序时序逻辑 格局 公理系统 |
| 文章编号： | 1009-3087（2008）01-0127-06 |
| 收稿时间： | 2006-11-01 |
| 修稿时间： | 2006年11月1日 |
Specifying Multi-enablings Using flow Event Structure Based Partial Order Logic |
|
| YAN Wei,WU Jin-zhao,Gao Xin-yan.Specifying Multi-enablings Using flow Event Structure Based Partial Order Logic[J].Journal of Sichuan University (Engineering Science Edition),2008,40(1):127-132. | |
| Authors: | YAN Wei WU Jin-zhao Gao Xin-yan |
| Affiliation: | School of Computer Sci. and Eng.,UESTC, Chengdu 610054, China;School of Computer Sci. and Eng.,UESTC, Chengdu 610054, China;Chengdu Inst. of Computer Appl., CAS, Chengdu 610041, China |
| Abstract: | |
| Keywords: | flow event structure partial order temporal logic configuration axiom system |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《四川大学学报(工程科学版)》浏览原始摘要信息 | |
| 点击此处可从《四川大学学报(工程科学版)》下载全文 | |