Enforcing and monitoring company policies on business process orchestrations

Business Process Modeling is increasingly important for the digitization of both IT and non-IT business processes, as well as for their deployment on service-oriented architectures. While a number of methodologies, languages, and software tools have been proposed to support digital business process design, a lot remains to be done for assessing a business process model validity with respect to an existing organizational structure or external constraints. This paper presents a technique for checking semantics-aware process representations w.r.t. general corporate policies and security compliance regulations.