Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Flexible Support of Team Processes by Adaptive Workflow Systems
Distributed and Parallel Databases
Conformance checking of processes based on monitoring real behavior
Information Systems
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Electronic Notes in Theoretical Computer Science (ENTCS)
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Monitoring business constraints with linear temporal logic: an approach based on colored automata
BPM'11 Proceedings of the 9th international conference on Business process management
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Definition and enactment of instance-spanning process constraints
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
Towards data-aware constraints in declare
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Diagnostic information for compliance checking of temporal compliance requirements
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Enhancing declare maps based on event correlations
BPM'13 Proceedings of the 11th international conference on Business Process Management
BPM'13 Proceedings of the 11th international conference on Business Process Management
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Information and Software Technology
Hi-index | 0.00 |
Driven by recent trends, effective compliance control has become a crucial success factor for companies nowadays. In this context, compliance monitoring is considered an important building block to support business process compliance. Key to the practical application of a monitoring framework will be its ability to reveal and pinpoint violations of imposed compliance rules that occur during process execution. In this context, we propose a compliance monitoring framework that tackles three major challenges. As a compliance rule can become activated multiple times within a process execution, monitoring only its overall enforcement can be insufficient to assess and deal with compliance violations. Therefore, our approach enables to monitor each activation of a compliance rule individually. In case of violations, we are able to derive the particular root cause, which is helpful to apply specific remedy strategies. Even if a rule activation is not yet violated, the framework can provide assistance in proactively enforcing compliance by deriving measures to render the rule activation satisfied.