设备自动巡检逻辑的层级有限自动机建模与实现

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

Hierarchical finite automation modeling of device automatic polling logic and its implementation

T o set t le the pro blems of complicated polling log ic that leads to barrier s to the implementat io n of so ftw are, one formal model o f hierarchical f inite automat ion ( HFA) was set up and discussed. Dynamic behavior char acterist ics o f the device automat ic po lling w er e analyzed and modeled w ith HFA. T he core and subsidiary states of the HFA were abst racted according to the process o f polling. The main core states w er e farther subdivided using the principles of HFA. One implement ing architecture w as also presented for the HFA t ransfo rmat ion in to the sof tw are system. T he HFA mo del can describe the dev ice automat ic po lling lo gic br ief ly, w hich ensures the applicat io n of the so ftw are.