Runtime detection of business process compliance violations · Study