Regulatory compliance of business operations is a critical problem for enterprises. As
enterprises increasingly use business process management systems to automate their …

In the light of an increasing demand on business process compliance, the verification of
process models against compliance rules has become essential in enterprise computing. To …

With a steady increase of regulatory requirements for business processes, automation
support of compliance management is a field garnering increasing attention in Information …

Business process models and workow systems aim at guaranteeing efficient and reliable
executions of business processes. For this, they require detailed specifications of the …

A fundamental challenge for enterprises is to ensure compliance of their business processes
with imposed compliance rules stemming from various sources, eg, corporate guidelines …

Checking for compliance is of major importance in nowadays business. Several approaches
have been proposed to address different aspects of compliance checking. One of the …

Historically, business process design has been driven by business objectives, specifically
process improvement. However this cannot come at the price of control objectives which …

For enterprises it has become crucial to check compliance of their business processes with
certain rules such as medical guidelines or financial regulations. When automating …

Given a process model representing the expected behavior of a business process and an
event log recording its actual execution, the problem of business process conformance …

In the light of an increasing demand on business process compliance, the verification of
process models against compliance rules has become essential in enterprise computing …