[发明专利]一种基于依赖关系的EFSM模型事件失效修复方法

说明书

本发明公开了一种基于依赖关系的EFSM模型事件失效修复方法，属于通讯协议、嵌入式系统等领域。当模型的外部环境发生变化的时候，表现在模型阶段为模型迁移上的事件发生失效，进而导致模型部分路径不能执行，最终导致模型中部分功能的失效。本方法涉及的模型修复方法分为依赖分析阶段和迁移路径修复阶段两个核心操作。原有的修复方法使用可达性的分析方法，对失效事件之后的相关信息进行了完全的删除，导致模型大量的迁移和状态的失效，从而造成模型大部分功能的丧失。本方法通过模型的依赖性分析，把受影响的迁移分为可修复迁移和不可修复迁移，并通过本方法提出的迁移路径修复规则进行修复，本方法保证了修复后模型的可执行路径与原模型语义一致。

技术领域

本发明涉及一种基于依赖关系的EFSM模型事件失效修复方法，属于通讯协议、嵌入式系统等领域。

背景技术

扩展有限状态机(Extended Finite State Machine，EFSM)具有很强的数据建模和行为建模能力，在通讯协议、嵌入式系统等领域具有广泛的应用。扩展有限状态机(Extended Finite State Machine，EFSM)模型：EFSM可以表示为一个六元组，M＝(S,s0,T,E,G,A)，其中S表示所有状态的集合，而s0∈S表示初始状态，T是所有迁移的集合，E是迁移上的事件event的集合，G是迁移上判断条件guard的集合，A是所有操作action的集合。每一个迁移t∈T都有一个源状态和目标状态，分别表示为source(t)，target(t)，每一个迁移t都可以表示为event[guard]/action，当事件event触发之后，如果guard中的条件满足，那么执行action中的操作。当两条迁移的源状态相同，目标状态不同的时候，即，source(t1)＝source(t2)并且target(t1)≠target(t2)，这两条迁移叫做兄弟迁移；如果两条迁移的源状态相同，目标状态也相同，即source(t1)＝source(t2)并且target(t1)＝target(t2)，这两条迁移叫做平行迁移；如果一条迁移的源状态与目标状态相同，即，source(t)＝target(t)，则这条迁移叫做自循环迁移。

EFSM模型所处的环境发生变化反映在模型中表现为模型迁移上事件的失效。为研究环境变化对模型的影响，目前主要技术是运用可达性分析方法针对受影响事件执行模型切片，最大化约简模型受影响的部分，确保切片后的模型是一个不受失效事件影响的最小EFSM模型。

发明内容

本发明的目的在于提出了一种基于依赖关系的EFSM模型事件失效修复方法，该方法从模型修复的角度，以更多保留模型功能为原则，提出了一种基于依赖关系的模型事件失效修复方法。

为实现上述目的，本发明采用的技术方案为一种基于依赖关系的EFSM模型事件失效修复方法，当模型的外部环境发生变化的时候，表现在模型阶段为模型迁移上的事件发生失效，进而导致模型部分路径不能执行，最终导致模型部分功能的失效。本方法涉及的模型修复方法分为依赖分析阶段和迁移路径修复阶段两个核心操作。

第一、依赖分析阶段：当外部环境发生失效时，把外部环境的失效转化为模型层级迁移上触发事件的失效。针对失效事件对模型进行依赖分析，EFSM模型的依赖分析主要包括控制依赖和数据依赖，控制依赖主要描述的是模型中迁移之间的结构关系，而数据依赖主要描述的是迁移上变量之间的数据依赖关系。根据依赖性分析，对与失效事件所在迁移存在控制依赖和数据依赖的迁移信息进行分析，通过四种情况分别确定原模型M中可修复信息和不可修复信息，对不可修复信息进行删除，得到中间模型M’，同时，根据可修复信息以及模型依赖关系，确定可修复迁移路径。