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

摘要：

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

关键词：ANTLR、AltaRica3.0、GTS、模型转换、类的平展化

所属期刊栏目：48

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划（973计划）2014CB744900

在线出版日期：2021-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：51-59