models.pdf (143.66 kB)

Artifact paper

This item is shared privately

journal contribution

modified on 2017-07-20, 00:13

We present 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 example

SecBPMN2 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.

Keywords