A conceptually rich model of business process compliance

Conferences in Research and Practice in Information Technology Series

Volumn 110, Issue , 2010, Pages 3-12

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Business process; Obligations; Regulatory compliance

Indexed keywords

BUSINESS PROCEDURES; BUSINESS PROCESS; BUSINESS PROCESS MODELING; COMPLIANCE CHECKING; COMPUTATIONAL ISSUES; DESIGN TIME; LEGAL NORMS; OBLIGATIONS; RUNTIMES;

REGULATORY COMPLIANCE;

INDUSTRIAL ENGINEERING;

EID: 82055163558     PISSN: 14451336     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Agrawal, R., Johnson, C. M., Kiernan, J. & Leymann, F. (2006), Taming compliance with Sarbanes-Oxley internal controls using database technology, in 'Proc. ICDE 2006'.
2. Antoniou, G., Billington, D., Governatori, G. & Maher, M. J. (2001), 'Representation results for defeasible logic', ACM Transactions on Computational Logic 2(2), 255-287.
3. Carmo, J. & Jones, A. (2002), Deontic logic and contraryto duties, in D. Gabbay & F. Guenther, eds, 'Handbook of Philosophical Logic, 2nd Edition', Kluwer.
4. Desai, N., Narendra, N. C. & Singh, M. P. (2008), Checking correctness of business contracts via commitments, in 'Proc. AAMAS 2008'.
5. Farrell, A. D. H., Sergot, M. J., Sallé, M. & Bartolini, C. (2005), 'Using the event calculus for tracking the normative state of contracts', International Journal of Cooperative Information Systems 14.
6. Ghose, A. & Koliadis, G. (2007), Auditing business process compliance, in 'Service Oriented Computing, ISOC 2007', LNCS, Springer, pp. 169-180.
7. Giblin, C., Müller, S. & Pfitzmann, B. (2006), From regulatory policies to event monitoring rules: Towards model driven compliance automation, Technical report, IBM Zurich Research Lab.
8. Goedertier, S. & Vanthienen, J. (2006), Designing compliant business processes with obligations and permissions, in 'Business Process Management (BPM) Workshops'.
9. Governatori, G. (2005), 'Representing business contracts in RuleML', International Journal of Cooperative Information Systems 14(2-3), 181-216. (Pubitemid 40878417)
10. Governatori, G., Hoffmann, J., Sadiq, S. W. & Weber, I. (2008), Detecting regulatory compliance for business process models through semantic annotations, in 'Business Process Management Workshops', pp. 5-17.
11. Governatori, G., Hulstijn, J., Riveret, R. & Rotolo, A. (2007), Characterising deadlines in temporal modal defeasible logic, in 'Proc. Australian AI 2007'.
12. Governatori, G. & Rotolo, A. (2006), 'Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations', Australasian Journal of Logic 4, 193-215.
13. Governatori, G. & Rotolo, A. (2008a), An algorithm for business process compliance, in G. Sartor, ed., 'Jurix 2008', IOS Press, pp. 186-191.
14. Governatori, G. & Rotolo, A. (2008b), Changing legal systems: Abrogation and annulment. part ii: Temporalised defeasible logic, in 'Proceedings of Normative Multi Agent Systems (NorMAS 2008)'.
15. Governatori, G., Rotolo, A. & Sartor, G. (2005), Temporalised normative positions in defeasible logic, in '10th International Conference on Artificial Intelligence and Law (ICAIL05)', pp. 25-34.
16. Governatori, G. & Sadiq, S. (2009), The journey to business process compliance, in H. Cardoso & W. van der Aalst, eds, 'Handbook of Research on BPM', IGI Global, pp. 426-454.
17. Küster, J. M., Ryndina, K. & Gall, H. (2007), Generation of business process models for object life cycle compliance, in 'Proc. BPM 2007'.
18. Liu, Y., Müller, S. & Xu, K. (2007), 'A static compliancechecking framework for business process models', IBM Systems Journal 46(2), 335-362.
19. Lu, R., Sadiq, S., Padmanabhan, V. & Governatori, G. (2006), Using a temporal constraint network for business process execution, in 'Seventeenth Australasian Database Conference (ADC2006)', pp. 157-166.
20. Lu, R., Sadiq, S. W. & Governatori, G. (2007), Compliance aware business process design, in 'Business Process Management Workshops', pp. 120-131.
21. Sadiq, S. & Governatori, G. (2009), A methodological framework for aligning business processes and regulatory compliance, in J. van Brocke & M. Rosemann, eds, 'Handbook of Business Process Management', Springer.
22. Sadiq, S., Governatori, G. & Naimiri, K. (2007), Modelling of control objectives for business process compliance, in 'Proc. BPM 2007'.
23. Vanhatalo, J., Völzer, H. & Leymann, F. (2007), Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition, in 'Proc. ICSOC 2007'.
24. zur Muehlen, M. & Rosemann, M. (2005), Integrating risks in business process models, in 'Proc. ACIS 2005'.