节点文献

基于超协调逻辑处理含有非协调信息的系统规约

HANDLING SYSTEM SPECIFICATIONS WITH INCONSISTENT INFORMATION BASED ON PARACONSISTENT LOGIC

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 陈冬火张宏斌

【Author】 Chen Donghuo Zhang Hongbin(School of Computer Science and Technology,Soochow University,Suzhou 210056,Jiangsu,China)

【机构】 苏州大学计算机科学与技术学院

【摘要】 随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约。由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约。在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它用于描述计算机系统的时序性质,并且能用于处理含有非协调信息的系统规约。

【Abstract】 With the growing size and complexity of computer system,developers have to be confronted with various kinds of system specifications with inconsistent information in different stage of software engineering.Due to the trivial inference problem,the established method based on classical logic cannot be used to analyze system specifications containing inconsistent information.Based on brief introduction of paraconsistent logic,this paper presents a paraconsistent temporal logic to describe the temporal nature of computer system and handle system specifications containing inconsistent information.

  • 【文献出处】 计算机应用与软件 ,Computer Applications and Software , 编辑部邮箱 ,2011年02期
  • 【分类号】TP311.52
  • 【被引频次】1
  • 【下载频次】42
节点文献中: 

本文链接的文献网络图示:

本文的引文网络