Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conformance checking of processes based on monitoring real behavior
Information Systems
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Using minimum description length for process mining
Proceedings of the 2009 ACM symposium on Applied Computing
Regulations Expressed As Logical Models (REALM)
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Robust Process Discovery with Artificial Negative Events
The Journal of Machine Learning Research
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
An approach to capture authorisation requirements in business processes
Requirements Engineering
A fresh look at precision in process conformance
BPM'10 Proceedings of the 8th international conference on Business process management
Conceptual model for online auditing
Decision Support Systems
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Compliant business process design using refinement layers
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Conformance checking of interacting processes with overlapping instances
BPM'11 Proceedings of the 9th international conference on Business process management
Cost-Based Fitness in Conformance Checking
ACSD '11 Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design
Conformance Checking Using Cost-Based Fitness Analysis
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
Compliance Domains: A Means to Model Data-Restrictions in Cloud Environments
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
An approach to combine data-related and control-flow-related compliance rules
SOCA '11 Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications
Replaying history on process models for conformance checking and performance analysis
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
Diagnostic information for compliance checking of temporal compliance requirements
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
ERP event log preprocessing: timestamps vs. accounting logic
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
Enriching process models for business process compliance checking in ERP environments
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
How to guarantee compliance between workflows and product lifecycles?
Information Systems
| Hi-index | 0.00 |
Compliance checking is gaining importance as today's organizations need to show that operational processes are executed in a controlled manner while satisfying predefined (legal) requirements. Deviations may be costly and expose the organization to severe risks. Compliance checking is of growing importance for the business process management and auditing communities. This paper presents a comprehensive compliance checking approach based on Petri-net patterns and alignments. 55 control flow oriented compliance rules, distributed over 15 categories, have been formalized in terms of Petri-net patterns describing the compliant behavior. To check compliance with respect to a rule, the event log describing the observed behavior is aligned with the corresponding pattern. The approach is flexible (easy to add new patterns), robust (the selected alignment between log and pattern is guaranteed to be optimal), and allows for both a quantification of compliance and intuitive diagnostics explaining deviations at the level of alignments. The approach can also handle resource-based and data-based compliance rules and is supported by ProM plug-ins. The applicability of the approach has been evaluated using various real-life event logs.