[发明专利]一种从TASM时间抽象状态机到扩展NTA自动机的转换方法

摘要

本发明涉及应用领域中间模型进行转换的方法，提供一种能够直接将TASM时间抽象状态机模型转换为扩展NTA自动机的方法，以进一步帮助用户实现设计结论的验证。本发明方法的主要步骤如下：（1）建立基于TASM时间抽象状态机源模型结构和扩展NTA自动机目标模型结构的元模型。（2）创建TASM时间抽象状态机源模型到扩展NTA自动机目标模型的转换规则。（3）利用转换规则，实施TASM时间抽象状态机源模型到扩展NTA自动机目标模型的转换。

主权项

1.一种从TASM时间抽象状态机到扩展NTA自动机的转换方法，其特征在于该方法包括以下步骤：(1)建立基于TASM时间抽象状态机源模型结构和扩展NTA自动机目标模型结构的元模型；采用以Ecore模型为父类的元模型来描述待转换的TASM时间抽象状态机源模型结构和转换后的扩展NTA自动机目标模型结构，具体选择Eclipse提供的EMF包来支持对Ecore元模型进行建模，将建立的TASM时间抽象状态机模型的元模型与扩展NTA自动机目标模型的元模型，使用持久化技术存入数据库中；(2)创建TASM时间抽象状态机源模型到扩展NTA自动机目标模型的转换规则；依据得到的TASM时间抽象状态机模型的元模型与扩展NTA自动机模型的元模型，按照TASM时间抽象状态机模型的元模型与扩展的NTA自动机模型的元模型之间的结构与语义关系，使用ATL转换规则编辑器建立这两种元模型之间的ATL转换规则集；具体创建转换规则时，即对TASM时间抽象状态机模型中的构件转换时，考虑三种情况；第一种，变量：将TASM时间抽象状态机模型中的变量转换为扩展NTA自动机中的变量，对扩展NTA自动机不能直接支持的变量类型进行语义转换，即对TASM时间抽象状态机模型中的变量中那些无法直接用扩展NTA自动机变量表示的变量，使用扩展NTA自动机变量集进行表示；第二种，规则：TASM时间抽象状态机模型中的规则表示了变量之间的关系，建立一种将TASM时间抽象状态机模型中的规则转换为扩展NTA自动机中相应状态迁移的映射方法，具体做法是，将TASM规则中的条件部分，转换为扩展NTA自动机中的卫士条件；将TASM规则中的条件满足后的执行部分，转换为扩展NTA自动机中的分派任务；第三种，作用域：TASM时间抽象状态机模型是自动机的集合，在转换为NTA自动机时，将TASM时间抽象状态机集合按照元素的划分来划分转换后的扩展NTA自动机的作用域；将以上三种情况编辑成的ATL转换规则，使用持久化技术存入数据库中；(3)利用转换规则，实施TASM时间抽象状态机源模型到扩展NTA自动机目标模型的转换；首先，输入TASM时间抽象状态机源模型所对应的源文件、TASM时间抽象状态机元模型、建立的从TASM时间抽象状态机源模型的源文件转换成扩展NTA自动机目标文件的ATL转换规则、扩展NTA自动机元模型；其次，使用ATL开发包中的ATL转换虚拟机实现扩展NTA自动机目标文件的生成；最后，将待转换的TASM时间抽象状态机源模型源文件与转换完成的扩展NTA自动机目标文件，使用持久化技术存入数据库中。