基于时态逻辑的形式化联邦校核方法

杨惠珍; 康凤举; 马裕民; 蔡斌

首页> 中文期刊> 《西北工业大学学报》 >基于时态逻辑的形式化联邦校核方法

基于时态逻辑的形式化联邦校核方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

提出了一种基于时态逻辑的形式化联邦校核方法,采用时态逻辑公式描述联邦各成员的行为逻辑关系,推导出与该时态逻辑公式对应的有限自动机模型,即规范自动机.同时,建立联邦全局行为的状态转移图,即实现自动机,通过检验规范自动机所接受的语言是否包含实现自动机所接受的语言来判断联邦运行时各成员的状态变化是否满足规范要求,达到校核联邦的目的.该方法可用来校核联邦及其成员的交互设计和逻辑行为运行的正确性和逻辑性,具有理论意义和应用价值.

著录项

来源
《西北工业大学学报》 |2005年第4期|516-519|共4页
作者
杨惠珍; 康凤举; 马裕民; 蔡斌;
展开▼
作者单位

西北工业大学,航海学院,陕西,西安,710072;

西北工业大学,航海学院,陕西,西安,710072;

西北工业大学,航海学院,陕西,西安,710072;

西北工业大学,航海学院,陕西,西安,710072;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机仿真;自动模拟理论（自动仿真理论）;
关键词
时态逻辑; 联邦; 模型校核; 形式化;

相似文献

中文文献
外文文献
专利

1. 基于时态描述逻辑的UML活动图形式化规约 [J] . 陈振庆 . 中南林业科技大学学报 . 2011,第011期
2. 基于时态逻辑的协议RSL形式化描述 [J] . 顾翔 ,邱建林 . 计算机工程 . 2011,第005期
3. 基于时态逻辑的硬件设计形式化验证技术--模型检验1 [J] . 郭建 ,杜惠敏 ,韩俊刚 . 小型微型计算机系统 . 2001,第005期
4. 时态逻辑形式化描述并发系统性质 [J] . 肖美华 ,薛锦云 . 海军工程大学学报 . 2004,第005期
5. 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理 [J] . 刘炜 ,徐文杰 ,唐英英 . 计算机科学 . 2014,第001期
6. 基于变电站站端设备监控信息全时态校核方法的研究 [C] . 韩雁斌 ,余艳 ,李兴明 . 新能源为主体的新型电力系统研讨会 . 2020
7. 基于开放时态逻辑的面向方面程序形式化验证和模块推理研究 [A] . 吕嘉 . 2009

基于时态逻辑的形式化联邦校核方法

摘要

著录项

相似文献

相关主题

期刊订阅