Answers are grounded in this paper and cite their sources.
We report on the development of Regorous, a business process compliance checker, based on the compliance-by-design methodology proposed by Governatori and Sadiq [8]. For a screencast see http://www.youtube.com/watch?v=gFmDQJNai_4r
No takes yet. Share an insight, caveat, or question.
Governatori et al. (2013) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: