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

摘要

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