README

In this link, we present an information about usage of the artifact submission for our paper of the same name, to be presented at the MoDELS conference 2017 in Austin, TX. Our submission includes the model transformation from SecBPMN2 to UMLsec models as well as four examples models from the Air Traffic Management System case study. We explain the process of using the transformation, and the verification of the generated UMLsec models using the CARiSMA tool.

本链接提供了同名论文配套提交成果的使用说明，该论文将在德克萨斯州奥斯汀市举办的2017年MoDELS会议上发表。本次提交的成果包含从SecBPMN2到UMLsec模型的模型转换，以及来自空中交通管理系统（Air Traffic Management System）案例研究的四个示例模型。本文将讲解该模型转换的使用流程，以及使用CARiSMA工具对生成的UMLsec模型进行验证的方法。