论文部分内容阅读
为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机（HFA）的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示。给出了HFA向软件实现转化的基本框架。这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证。