彭展

（广东石油化工学院实验教学部，茂名 525000）

0 引言

油库作为存储石油资源的主要场所，为提高油库的管理效率，该领域很早就进行信息化建设，但早期建设的信息系统往往功能较为单一，自动化程度较低，系统功能也不够完善。在国家大力号召和鼓励石化行业进行技术创新的背景下，市场对石化行业的管理效率有了新的要求，油库管理系统不断向着综合性强、自动化程度高的方向发展，从而演化为智能油库管理系统。但是系统功能的不断增加，智能化程度的不断提高，软件系统的规模和复杂度也急剧增加，新的系统缺陷和错误也不断出现，甚至会出现软件危机。同时，石油作为易燃易爆物品，对油库存储状况和安全监控显得尤其重要，管理系统的缺陷容易带来严重的后果，如何开发高质量的智能油库管理系统显得尤为重要。

本文提出把软件开发形式化方法应用到智能油库管理系统的开发过程，用形式化语言对智能油库管理系统进行描述，接着进行形式化分析和验证，以期减少软件缺陷，提高系统开发质量，在提高油库的运营管理效率的同时也保障好油库的安全。本文首先是智能油库管理系统的架构和功能描述，接着是软件开发形式化方法的介绍，然后是智能油库管理系统的形式化分析与验证方案，最后是结束语。

1 智能油库管理系统的架构及功能

最初的油库信息系统都是功能较为单一的自动化系统，如自动发油控制系统，随着业务的需要，在这基础上逐渐增加了储油罐液位自动计量系统、油库安防监控系统等，这些系统在大大提高了油库的工作效率，和油库的安全性，提高了经济效益。……