figshare
Browse
models.pdf (143.66 kB)

Artifact paper

Download (1.11 MB)
Version 2 2017-07-19, 23:46
Version 1 2017-07-19, 23:00
journal contribution
posted on 2017-07-19, 23:46 authored by Qusai RamadanQusai Ramadan
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.

History

Usage metrics

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC