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

摘要

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

主权项

1.一种基于依赖关系的EFSM模型事件失效修复方法，其特征在于：当模型的外部环境发生变化的时候，表现在模型阶段为模型迁移上的事件发生失效，进而导致模型部分路径不能执行，最终导致模型中部分功能的失效；本方法涉及的模型修复方法分为依赖分析阶段和迁移路径修复阶段两个核心操作；第一、依赖分析阶段：当外部环境发生失效时，把外部环境的失效转化为模型层级迁移上触发事件的失效；根据依赖性分析，对与失效事件所在迁移存在控制依赖和数据依赖的迁移信息进行分析，确定原模型M中可修复信息和不可修复信息，对不可修复信息进行删除，得到中间模型M’，同时，根据可修复信息以及模型依赖关系，确定可修复迁移路径；第二、迁移路径修复阶段：针对M’中可修复迁移路径，基于安全性的考虑，以在模型中增加新迁移和合并迁移路径的方式提出迁移路径修复规则对模型进行修复，得到新模型M”。