Artifact paper

2017-07-19T23:46:40Z (GMT) by Qusai Ramadan
<div>We present the artifact submission for our paper of</div><div>the same name, to be presented at the MoDELS conference 2017</div><div>in Austin, TX. Our submission includes the model transformation</div><div>from SecBPMN2 to UMLsec models as well as four example</div><div>SecBPMN2 models from the Air Traffic Management System</div><div>case study. We explain the process of using the transformation,</div><div>and the verification of the generated UMLsec models using the</div><div>CARiSMA tool.</div>