[发明专利]状态机模型的形式化自动翻译方法、装置及计算设备

权利要求书

1.一种状态机模型的形式化自动翻译方法，其特征在于，所述方法包括：

在同步数据流层的基础上添加对应于状态机模型层的状态转换数据的状态模型分析结构，构成中间翻译层；该状态转换数据包括当前输入值、当前状态、下一状态、当前输出值、状态转换关系和时钟数据；

将状态机模型层语义的状态转换数据和状态机结构数据翻译为同步数据流层语义的状态机模型数据；

将同步数据流层语义的状态机模型数据翻译为C语言语义的状态机模型数据。

2.根据权利要求1所述的状态机模型的形式化自动翻译方法，其特征在于，状态模型分析结构包括条件块分析结构；

所述条件块分析结构对状态机模型层的状态转换的触发条件语句进行解析，从而将状态机模型层语义的状态转换数据翻译为同步数据流层语义的状态转换数据。

3.根据权利要求2所述的状态机模型的形式化自动翻译方法，其特征在于，对状态机模型层的状态转换的触发条件语句进行解析包括：

在对触发条件语句进行解析时，判断触发条件语句的条件类型，根据条件类型调用相应的状态转换解析对照表；

根据状态转换解析对照表的状态转换关系更新条件块模型语义，从而将状态机模型层语义的状态转换数据翻译为同步数据流层语义的状态转换数据。

4.根据权利要求3所述的状态机模型的形式化自动翻译方法，其特征在于，对状态机模型层的状态转换的触发条件语句进行解析还包括：

对状态机模型层进行解析生成状态机模型语义；

根据状态机模型语义和条件块模型语义解析出相应状态机类型的等式列表和相应条件类型的等式列表；

根据状态机类型的等式列表和相应条件类型的等式列表，来生成触发条件和状态的映射关系，从而将状态机模型层语义的状态转换数据和状态机结构数据翻译为同步数据流层语义的状态机模型数据。

5.根据权利要求4所述的状态机模型的形式化自动翻译方法，其特征在于，判断触发条件语句的条件类型，根据条件类型调用相应的状态转换解析对照表包括：

判断触发条件语句为枚举类型条件还是布尔类型条件，根据条件类型调用相应的状态转换解析对照表。

6.根据权利要求5所述的状态机模型的形式化自动翻译方法，其特征在于，根据状态机模型语义和条件块模型语义解析出相应状态机类型的等式列表和相应条件类型的等式列表具体包括：

若触发条件语句为枚举类型条件，调用相应的条件分支匹配列表；以及根据条件分支匹配列表的条件分支定义来判断其为空条件分支还是非空条件分支，且根据条件分支匹配列表得出非空条件分支的等式列表；

若触发条件语句为布尔类型条件，调用相应的真分支等式列表和假分支等式列表，得出该条件类型的等式列表。

7.根据权利要求6所述的状态机模型的形式化自动翻译方法，其特征在于，还包括：

根据等式列表中相应等式列表定义分别生成空等式列表、原同步数据流语句的等式列表和触发条件语句的等式列表；

通过原同步数据流语句的等式列表来翻译状态机模型层语义的状态机结构数据为同步数据流层的状态机模型数据中的状态机结构数据；

通过触发条件语句的等式列表来翻译状态机模型层语义的状态转换数据为同步数据流层的状态机模型数据中的状态转换数据。

8.一种状态机模型的形式化自动翻译装置，其特征在于，所述装置包括：

中间翻译层生成模块，该模块用于在同步数据流层的基础上添加对应于状态机模型层的状态转换数据的状态模型分析结构，构成中间翻译层；该状态转换数据包括当前输入值、当前状态、下一状态、当前输出值、状态转换关系、时钟数据；

状态机模型层翻译模块，该模块用于将状态机模型层语义的状态转换数据和状态机结构数据翻译为同步数据流层语义的状态机模型数据；

中间翻译层翻译模块，该模块用于将同步数据流层语义的状态机模型数据翻译为C语言语义的状态机模型数据。