An iterative approach to synthesize business process templates from compliance rules
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
Information Systems
Business Process Management
Matthias Weidlich
James Thomson
Gero Decker
Zhe Hou
Rajeev Goré
Mathias Weske
Managing legal interpretation in regulatory compliance
Compliance Checking of Organizational Interactions