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

作     者：郭沣慧 胡军 王立松 肖曦 谷青范 GUO Fenghui;HU Jun;WANG Lisong;XIAO Xi;GU Qingfan

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

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

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2024年第45卷第9期

页      码：2235-2243页

摘      要：近年来,基于模型的安全性分析(MBSA)是复杂系统建模与分析领域备受关注的分析方法.由于系统架构建模语言SysML缺少形式化的语义语法,不支持MBSA方法,而SLIM语言具备形式化语义和语法,支持安全性分析,所以本文提出了一种基于ATL(ATLAS Transformation Language)的SysML模型到SLIM模型的自动构造方法SysML2SLIM.首先,搭建系统的SysML模型并导出为XMI文件格式,根据SysML规约文档以及SLIM的BNF范式构建元模型,并建立模型元素映射规则;其次,设计源模型文件处理算法,在保留必要标签信息的情况下,获得规范的SysML源模型文件;接下来,根据元素映射规则利用ATL编写转换规则文件,调用ATL引擎完成构造;然后,给出模型转换的正确性证明的推导;此外,对集成SysML2SLIM方法的工具MSAT进行介绍;最后,对航天器中的电池传感器系统进行分析,验证了自动构造方法的有效性.

主 题 词：SysML SLIM 模型转换 ATL 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.20009/j.cnki.21-1106/TP.2023-0153

馆 藏 号：203122457...