Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Translating business contract into compliant business processes
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
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
Measurement of Compliance Distance in Business Processes
Information Systems Management
An Algorithm for Business Process Compliance
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
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
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
A conceptually rich model of business process compliance
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Semantic correctness in adaptive process management systems
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
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
How to guarantee compliance between workflows and product lifecycles?
Information Systems
Hi-index | 0.00 |
Most approaches to business process compliance are restricted to the analysis of the structure of processes. It has been argued that full regulatory compliance requires information on not only the structure of processes but also on what the tasks in a process do. To this end Governatori and Sadiq [2007] proposed to extend business processes with semantic annotations. We propose a methodology to automatically extract one kind of such annotations; in particular the annotations related to the data schema and templates linked to the various tasks in a business process.