Institute for Program Structures and Data Organization (IPD), Chair Prof. Böhm

Semantic Support for Security-Annotated Business Process Models