Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Translating business contract into compliant business processes
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Verification of Business Process Quality Constraints Based on Visual Process Patterns
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
A static compliance-checking framework for business process models
IBM Systems Journal
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Modeling Service Choreographies Using BPMN and BPEL4Chor
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Refactoring Process Models in Large Process Repositories
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Measurement of Compliance Distance in Business Processes
Information Systems Management
Pattern-based design and validation of business process compliance
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
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
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Hi-index | 0.00 |
Keeping business processes compliant with regulations is of major importance for companies. Considering the huge number of models each company possesses, automation of compliance maintenance becomes essential. Therefore, many approaches focused on automation of various aspects of compliance problem, e.g., compliance verification. Such techniques allow localizing the problem within the process model. However, they are not able to resolve the violations. In this paper we address the problem of (semi) automatic violation resolution, addressing violations of execution ordering compliance rules. We build upon previous work in categorizing the violations into types and employ automated planning to ensure compliance. The problem of choosing the concrete resolution strategy is addressed by the concept of context.