一种SysML到SLIM模型的自动构造方法  

Automatic Construction Method of SysML to SLIM Model

作　　者：郭沣慧 胡军[1,2] 王立松 肖曦[1] 谷青范 GUO Fenghui;HU Jun;WANG Lisong;XIAO Xi;GU Qingfan(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

出　　处：《小型微型计算机系统》2024年第9期2235-2243,共9页Journal of Chinese Computer Systems

基　　金：国家自然科学基金的“叶企孙”联合基金重点项目(U2241216)资助.

摘　　要：近年来,基于模型的安全性分析(MBSA)是复杂系统建模与分析领域备受关注的分析方法.由于系统架构建模语言SysML缺少形式化的语义语法,不支持MBSA方法,而SLIM语言具备形式化语义和语法,支持安全性分析,所以本文提出了一种基于ATL(ATLAS Transformation Language)的SysML模型到SLIM模型的自动构造方法SysML2SLIM.首先,搭建系统的SysML模型并导出为XMI文件格式,根据SysML规约文档以及SLIM的BNF范式构建元模型,并建立模型元素映射规则;其次,设计源模型文件处理算法,在保留必要标签信息的情况下,获得规范的SysML源模型文件;接下来,根据元素映射规则利用ATL编写转换规则文件,调用ATL引擎完成构造;然后,给出模型转换的正确性证明的推导;此外,对集成SysML2SLIM方法的工具MSAT进行介绍;最后,对航天器中的电池传感器系统进行分析,验证了自动构造方法的有效性.In recent years,Model-Based Safety Analysis(MBSA)is an analysis method that attracts much attention in the field of complex system modeling and analysis.Because the system architecture modeling language SysML lacks formal semantic syntax and does not support MBSA method,while SLIM language has formal semantics and syntax and supports safety analysis,this paper proposes an automatic construction method SysML2SLIM based on ATL(ATLAS Transformation Language)from SysML model to SLIM model.First,build the SysML model of the system and export it to the XMI file format,build the meta-model according to the SysML specification document and the BNF paradigm of SLIM,and establish the model element mapping rules;Secondly,the source model file processing algorithm is designed to obtain the standard SysML source model file while retaining the necessary label information;Next,according to the element mapping rules,use ATL to write the transformation rule file,and call ATL engine to complete the construction;Then,the derivation of the correctness proof of the model transformation is given;In addition,introduce the tool MSAT that integrates the SysML2SLIM method;Finally,the battery sensor system in spacecraft is analyzed to verify the effectiveness of the automatic construction method.

关 键 词：SYSML SLIM 模型转换 ATL 

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