An Algorithm for Business Process Compliance

Authors:
Guido Governatori;Antonino Rotolo
Affiliations:
NICTA, Queensland Research Laboratory;CIRSFID, University of Bologna
Venue:
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Year:
2008

Citing 3
Cited 8

Compliance checking between business processes and business contracts

EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Characterising deadlines in temporal modal defeasible logic

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Modeling control objectives for business process compliance

BPM'07 Proceedings of the 5th international conference on Business process management

How Do Agents Comply with Norms?

WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Satisfaction of Control Objectives by Control Processes

ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
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
Rules, agents and norms: guidelines for rule-based normative multi-agent systems

RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Business process data compliance

RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Regorous: a business process compliance checker

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides a novel mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relationship between two sets of specifications: the specifications for executing a business process and the specifications regulating it.