一种AltaRica3.0模型中类的平展化方法

作者：祁健; 胡军^*; 谷青范; 荣灏; 展万里; 董彦宏

来源：计算机科学, 2021, 48(05): 51-59.

• ANTLR
• AltaRica 3.0
• GTS
• 模型转换
• 类的平展化

AltaRica是一类面向复杂安全关键系统的建模语言,卫士转换系统(Guarded Transition System, GTS)是最新的AltaRica 3.0的执行语义模型。AltaRica 3.0层次结构语法模型中类的平展化是将AltaRica 3.0语法模型转换为等价的平展化GTS语义模型过程中的一个重要步骤。文中提出了一种AltaRica 3.0模型中类的平展化优化方法。首先,设计专用的数据结构来存储AltaRica 3.0模型中类的语义结构,并对原有的ANTLR(Another Tool for Language Recognition)元语言描述的AltaRica 3.0模型颗粒度进行重新精化和定义;其次基于ANTLR生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。

• 单位
  南京航空航天大学; 中国航空无线电电子研究所