[发明专利]一种基于ATL的SLIM模型到XSAP模型转换方法

权利要求书

1.一种基于ATL的SLIM模型到XSAP模型转换方法，其特征在于，包括：

步骤S1，根据预先定义的模型转换规则，设计SLIM元模型和XSAP元模型，获取SLIM元模型和XSAP元模型的抽象语法结构；

步骤S2，基于ATL设计模型转换算法，利用步骤S1得到的元模型及抽象语法结构，实现SLIM模型向XSAP模型的转换，得到转换后的XML格式的XSAP模型；

步骤S3，设计校验算法，对步骤S2得到的XSAP模型进行校验，得到完整的SMV格式的XSAP模型。

2.根据权利要求1所述的基于ATL的SLIM模型到XSAP模型转换方法，其特征在于，S1中分析SLIM模型和XSAP模型的特点，预先定义如下转换规则：

(1)SLIM模型中用于描述物理系统中组件的类型声明和实现定义，与XSAP模型中用于描述物理系统组件的模块声明进行映射的规则；

(2)SLIM模型中的数据端口与XSAP模型中的状态变量进行映射的规则；

所述SLIM模型中的数据端口，用于描述组件的状态，并可用于和其它组件进行数据交换。

所述XSAP模型中的状态变量，用于描述模块状态；

(3)SLIM模型中初始值与XSAP模型中初始赋值约束的转换规则；

所述SLIM模型中初始值通过数据端口定义指定，用于表示组件初始状态。

所述XSAP模型中初始赋值约束用于指定状态变量的初始值，从而表示模块初始状态；

(4)SLIM模型中组件状态与XSAP模型中状态变量进行映射的规则；

所述SLIM模型中组件状态通过组件实现定义，转换在状态之间实现；

所述XSAP模型中状态变量用于描述模块状态；

(5)SLIM模型中子组件与XSAP模型中实例化模块实例变量进行映射的规则；

所述SLIM模型中子组件用于引入层次结构，子组件定义在父组件的实现中；

所述XSAP模型中实例化模块实例变量用于表示模块间的层次结构；

(6)SLIM模型中连接与XSAP模型中不变赋值约束的转换规则；

所述SLIM模型中连接用于不同组件之间的通信、操作源端口和目标端口，将源端口的值无延迟的传输给目标端口，使得目标端口的值恒等于源端口的值；

所述XSAP模型中不变赋值约束用于表示状态变量的恒等关系；

(7)SLIM模型中转换与XSAP模型中后续赋值约束发转换规则；

所述SLIM模型中转换用于表示系统的动态行为；

所述XSAP模型中后续赋值约束用于指定状态变量的下一个状态取值，从而表示模块的动态行为。

3.根据权利要求1所述的基于ATL的SLIM模型到XSAP模型转换方法，其特征在于，步骤S1根据预先定义的转换规则，设计构建SLIM元模型和XSAP元模型，抽取通用的模型特征结构，即为SLIM元模型和XSAP元模型的抽象语法结构。

4.根据权利要求1所述的基于ATL的SLIM模型到XSAP模型转换方法，其特征在于，S2中，基于ATL设计的模型转换算法包括：

(1)，端口转换算法：对于SLIM元模型中的端口Port，对应XSAP元模型中的变量Var；如果端口存在初始值，则生成初始赋值约束语句；

(2)，状态转换算法：对于SLIM元模型中的状态State，对应XSAP元模型中的变量Var；如果存在初始状态，则生成初始赋值约束语句；

(3)，子组件转换算法：SLIM元模型中的子组件对应XSAP元模型中的模块实例；

(4)，连接转换算法：对于SLIM元模型中的连接Connection或流Flow，映射为XSAP元模型中的不变赋值约束语句；

(5)，transition转换算法：对于SLIM元模型中的转换Transition，提取转换条件和影响，生成XSAP元模型中的后续赋值约束语句；

(6)，组件转换算法：SLIM元模型中的组件对应XSAP元模型中的模块定义。