POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Construction of Abstract State Graphs with PVS
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Counterexample-Guided Abstraction Refinement
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Specification and validation of process constraints for flexible workflows
Information Systems
A static compliance-checking framework for business process models
IBM Systems Journal
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
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
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
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Semantic correctness in adaptive process management systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
Activity diagram patterns for modeling quality constraints in business processes
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
NOVA workflow: a workflow management tool targeting health services delivery
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Patterns for a log-based strengthening of declarative compliance models
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Compliance by design for artifact-centric business processes
Information Systems
A Model Slicing Method for Workflow Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
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
On enabling compliance of cross-organizational business processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
Information and Software Technology
Hi-index | 0.00 |
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 be broadly applicable compliance checking has to support data-aware compliance rules as well as to consider data conditions within a process model. Independently of the actual technique applied to accomplish compliance checking, data-awareness means that in addition to the control flow dimension, the data dimension has to be explored during compliance checking. However, naive exploration of the data dimension can lead to state explosion. We address this issue by introducing an abstraction approach in this paper. We show how state explosion can be avoided by conducting compliance checking for an abstract process model and abstract compliance rules. Our abstraction approach can serve as preprocessing step to the actual compliance checking and provides the basis for more efficient application of existing compliance checking algorithms.