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

HANDLING SYSTEM SPECIFICATIONS WITH INCONSISTENT INFORMATION BASED ON PARACONSISTENT LOGIC

作　　者：陈冬火[1] 张宏斌[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州210056

出　　处：《计算机应用与软件》2011年第2期139-141,245,共4页Computer Applications and Software

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

关 键 词：非协调性 超协调逻辑 时序逻辑 软件工程 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]