ICT Support for Regulatory Compliance of Business Processes
  In this paper we propose an ITC (Information and Communication Technology) approach to support regulatory compliance for business processes, and we report on the development and evaluation of a business process compliance checker called Regorous, based on the compliance-by-design methodology proposed by Governatori and Sadiq 
Guido Governatori
cs.SE cs.CY