An algorithm for business process compliance

Frontiers in Artificial Intelligence and Applications

Volumn 189, Issue 1, 2008, Pages 186-191

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLIANT MECHANISMS;

BUSINESS PROCESS; BUSINESS PROCESS COMPLIANCES; BUSINESS RULES; KEYPOINTS;

SPECIFICATIONS;

EID: 77249089826     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-952-3-186     Document Type: Conference Paper

References (5)

1. G. Governatori. Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14(2-3):181-216, 2005.
2. G. Governatori, J. Hulstijn, R. Riveret, and A. Rotolo. Characterising deadlines in temporal modal defeasible logic. In Proc. Australian AI 2007, 2007.
3. G. Governatori, Z. Milosevic, and S. Sadiq. Compliance checking between business processes and business contracts. In Proc. EDOC 2006, 2006.
4. S. Sadiq, G. Governatori, and K. Naimiri. Modelling of control objectives for business process compliance. In Proc. BPM 2007, 2007.
5. J. Vanhatalo, H. Völzer, and F. Leymann. Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition. In Proc. ICSOC 2007, 2007.