Semantic Support for Security-Annotated Business Process Models