一种AltaRica 3.0模型中类的平展化方法  

Class Flattening Method for AltaRica 3.0 Model

作　　者：祁健 胡军[1,2] 谷青范 荣灏[3] 展万里 董彦宏 QI Jian;HU Jun;GU Qing-fan;RONG Hao;ZHAN Wan-li;DONG Yan-hong(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Collaborative Innovation Center of Novel Software Technology and Industrialization,Nanjing 210007,China;China National Aeronautic Radio Electronics Research Institute,Shanghai 200233,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京211106 [2]软件新技术与产业化协同创新中心,南京210007 [3]中国航空无线电电子研究所,上海200233

出　　处：《计算机科学》2021年第5期51-59,共9页Computer Science

基　　金：国家重点基础研究发展计划(973计划)项目(2014CB744900);2020年度重庆市出版专项资金资助项目。

摘　　要：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生成相应的词法和语法分析器,并自动构造输入模型的语法树,通过对语法树的遍历,取得细粒度的类的关键信息并进行存储;然后设计了专用的算法,高效地实现了类的平展化过程;最后通过实例系统的分析,验证了所提方法的正确性和有效性。AltaRica is a modeling language for complex safety-critical systems.Guarded Transition System(GTS)is the latest exe-cution semantic model of AltaRica 3.0.The flattening of classes in the AltaRica 3.0 hierarchical syntax model is an important step in the process of transforming the AltaRica 3.0 syntax model into an equivalent flattened GTS semantic model.In this paper,a flattening optimization method for classes in AltaRica 3.0 models is proposed.Firstly,this paper designs a dedicated data structure to store the semantic structure of the class in the AltaRica 3.0 models,refines and defines the granularity of the AltaRica 3.0 model described by the original ANTLR(Another Tool for Language Recognition)meta language.Secondly,this paper generates the corresponding lexical and syntax analyzer based on ANTLR to automatically construct the syntax tree of the input model.Through traversing the syntax tree,the key information of fine-grained class is obtained and stored.Then,a dedicated algorithm is designed to realize the flattening process of the class efficiently.Finally,the correctness and effectiveness of this me-thod are verified through the analysis of several example systems.

关 键 词：ANTLR AltaRica 3.0 GTS 模型转换 类的平展化 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]