Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
An Algorithm for Business Process Compliance
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Hi-index | 0.00 |
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