智能油库管理系统的形式化分析研究  

Research on Formal Analysis of Intelligent Oil Depot Management System

作　　者：彭展 PENG Zhan(Department of Experimental Teaching, Guangdong University of Petrochemical Technology,Maoming 52500)

机构地区：[1]广东石油化工学院实验教学部,茂名525000

出　　处：《现代计算机》2018年第9期87-90,共4页Modern Computer

基　　金：茂名市科技计划项目(No.2017313)

摘　　要：为提高油库的管理效率,油库管理系统的智能化水平越来越高,同时软件规模和复杂度不断增大,系统中的缺陷数量不断增多并且更加具有隐蔽性,这些缺陷给系统的正常运行和油库的安全带来巨大的挑战。提出把形式化方法应用到智能油库管理系统的开发过程,对智能油库管理系统进行形式化分析和验证,以期减少错误的发生,提高系统开发质量。In order to improve the management efficiency of oil depots, the level of intelligence in oil depot management systems is getting higher and higher. At the same time, the scale and complexity of software are increasing. The number of defects in the system is increasing and defects become more hidden. These defects bring huge challenges to the normal operation of system and security of oil depot. Proposes that apply the formal method to development process of the intelligent oil depot management system, formally analyzes and verifies the intelligent oil depot management system, in order to reduce the occurrence of errors and improve development quality of system.

关 键 词：油库管理 形式化方法 Z语言 形式化验证 

分 类 号：TE972[石油与天然气工程—石油机械设备] TP315[自动化与计算机技术—计算机软件与理论]