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

权利要求书

1.一种基于依赖关系的EFSM模型事件失效修复方法，其特征在于：当模型的外部环境发生变化的时候，表现在模型阶段为模型迁移上的事件发生失效，进而导致模型部分路径不能执行，最终导致模型中部分功能的失效；本方法涉及的模型修复方法分为依赖分析阶段和迁移路径修复阶段两个核心操作；

第一、依赖分析阶段：当外部环境发生失效时，把外部环境的失效转化为模型层级迁移上触发事件的失效；根据依赖性分析，对与失效事件所在迁移存在控制依赖和数据依赖的迁移信息进行分析，确定原模型M中可修复信息和不可修复信息，对不可修复信息进行删除，得到中间模型M’，同时，根据可修复信息以及模型依赖关系，确定可修复迁移路径；

第二、迁移路径修复阶段：针对M’中可修复迁移路径，基于安全性的考虑，以在模型中增加新迁移和合并迁移路径的方式提出迁移路径修复规则对模型进行修复，得到新模型M”。

2.根据权利要求1所述的一种基于依赖关系的EFSM模型事件失效修复方法，其特征在于：

依赖分析阶段中EFSM模型修复方法，通过依赖分析确定模型中受失效事件影响的迁移信息，并分析这些信息的可修复性，确定模型中的可修复迁移路径；

EFSM依赖分析包括控制依赖和数据依赖，控制依赖主要描述的是模型中迁移之间的结构关系，而数据依赖主要描述的是迁移上变量之间的数据依赖关系；如果两条迁移只存在控制依赖关系，失效事件所在迁移上的信息与其他迁移之间不存在数据依赖关系，进而不存在因失效事件导致其他变量无法计算的可能；这种情况下两条迁移上的变量信息都是能够保留的，失效事件除外；此时，以经过这两条迁移之间的路径作为一条可修复迁移路径；

而对于两条迁移之间存在数据依赖的情况，需要遍历模型依赖图，获取迁移之间的数据依赖关系，得出迁移上事件的失效是否对其他迁移上信息存在影响；根据数据依赖的特征，把两条迁移上存在数据依赖的情况分为以下四种情况：

1)迁移Ti上的失效事件event中存在一个变量v的定义，而存在一条Ti的后置迁移Tj的guard有对变量v的使用，即迁移Ti与Tj关于变量v存在数据依赖；事件event的失效导致Tj上的guard信息无法判断，此时Tj上的信息无法被修复，需要删除Tj以保证模型其他部分功能的正常运行；

2)迁移Ti上的失效事件event中有一个变量v的定义，而存在一条Ti的后置迁移Tj上的action上有对变量v的使用，迁移Ti与Tj关于变量v存在数据依赖，事件event的失效导致Tj上的action信息无法执行；此时，需要对Tj上的action信息进行删除；

3)当某一条迁移Tj的guard信息与失效事件所在迁移Ti上的action信息之间存在数据依赖，那么Tj迁移的全部信息和Ti上的action信息都是可修复的；此时，以从Ti开始到达Tj的路径作为可修复迁移路径；

4)当某一条迁移Tj的action信息与失效事件所在迁移Ti上的action信息之间存在数据依赖，那么Tj迁移的全部信息和Ti上的action信息都是可修复的；此时，以从Ti开始到达Tj的路径作为可修复迁移路径。

3.根据权利要求1所述的一种基于依赖关系的EFSM模型事件失效修复方法，其特征在于：迁移路径修复阶段：通过对模型信息保留和安全性等问题的考虑，结合模型定型切片与不定型切片上对模型状态和迁移的操作，基于本文方法自身的特点，对EFSM模型迁移路径修复规则进行了定义，具体规则如下：

迁移路径修复规则：对于可修复迁移路径如，t1，t2，...，tn，其中t1是起始迁移，tn是结束迁移，将一条新迁移t′n加入迁移集合，其中source(t′n)＝source(t1)，target(t′n)＝target(tn)，且t′n的标签为：

(i)tn的触发事件作为t′n的触发事件，event(t′n)＝event(tn)；

(ii)t1，t2，...，tn的guard，通过逻辑“与”操作连接起来，作为t′n的新guard；

(iii)将t1，t2，...，tn的action，依次按照其原有的顺序组合起来，作为t′n的新action；

在经过迁移路径修复规则之后，模型中添加了新的原本不在原模型中的迁移，所形成的新模型不一定是原模型的子模型，但是整个模型在语义上是与中间模型相一致的。