The journey to business process compliance

Handbook of Research on Business Process Modeling

Volumn , Issue , 2009, Pages 426-454

  Governatori, Guido ^a   Sadiq, Shazia ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84898320543     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-288-6.ch020     Document Type: Chapter

References (32)

1. Agrawal, R., Johnson, C. M., Kiernan, J., & Leymann, F. (2006). Taming compliance with Sarbanes-Oxley internal controls using database technology. In L. Liu, A. Reuter, K.-Y. Whang, & J. Zhang (Eds.), ICDE, (pp. 92). IEEE Computer Society.
2. Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., & Torroni, P. (2006). Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence, 20(2-4), 133-157.
3. Alonso, G., Dadam, P., & Rosemann, M. (Eds.) (2007, September 24-28). In Proceedings, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, (LNCS, 4714). Springer.
4. Antoniou, G., Billington, D., Governatori, G., & Maher, M. J. (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2), 255-287.
5. Antoniou, G., Billington, D., Governatori, G., & Maher, M. J. (2006). Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming, 6(6), 703-735.
6. nd Edition, 8, (pp. 265-343). Dordrecht: Kluwer.
7. Chopra, A. K., & Sing, M. P. (2007, May 8, 2007). Producing compliant interactions: Conformance, coverage and interoperability. In M. Baldoni & U. Endriss (Eds.), Declarative agent languages and technologies IV, (LNAI, 4327, pp. 1-15). Berlin Heidelberg. Springer-Verlag.
8. Desai, N., Mallya, A. U., Chopra, A. K., & Singh, M. P. (2005). Interaction protocols as design abstractions for business processes. IEEE Trans. Software Eng., 31(12), 1015-1027.
9. Desai, N., Narendra, N. C., & Singh, M. P. (2008). Checking correctness of business contracts via commitments. In L. Padgham, D. C. Parkes, J. Müller, & S. Parsons (Eds.), AAMAS 2008, (pp. 787-794). IFAAMAS.
10. 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(2-3), 99-129.
11. Ghose, A., & G. Koliadis (2007). Auditing business process compliance. In Service Oriented Computing, ISOC 2007, (LNCS, pp. 169-180). Springer.
12. Giblin, C., Müller, S., & Pfitzmann, B. (2006, October). From regulatory policies to event monitoring rules: Towards model driven compliance automation. (Technical report, IBM Research Report). Zurich Research Laboratory.
13. Goedertier, S., & Vanthienen, J. (2006). Designing compliant business processes with obligations and permissions. In Business Process Management (BPM) Workshops, (pp. 5-14).
14. Governatori, G. (2005). Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14(2-3), 181-216.
15. Governatori, G., Hulstijn, J., Riveret, R., & Rotolo, A. (2007). Characterising deadlines in temporal modal defeasible logic. In 20th Australian Joint Conference on Artificial Intelligence, AI 2007, (pp. 486-496).
16. 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.
17. KPMG Advisory (2005). The Compliance Journey: Balancing Risk and Controls with Business Improvement. KPMG Advisory.
18. Küster, J. M., Ryndina, K., & Gall, H. (2007). Generation of business process models for object life cycle compliance. See DBLP:conf/bpm/2007, (pp. 165-181).
19. Liu, Y., Müller, S., & Xu, K. (2007). A static compliance-checking framework for business process models. IBM Systems Journal, 46(2), 335-362.
20. Lu, R., Sadiq, S. W., & Governatori, G. (2007). Compliance aware business process design. In Business Process Management Workshops, (pp. 120-131).
21. Nute, D. (1994). Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, 3.
22. Padmanabhan, V., Governatori, G., Sadiq, S., Colomb, R. M., & Rotolo, A. (2006). Process modelling: The deontic way. In M. Stumptner, S. Hartmann, & Y. Kiyoki (Eds.), Conceptual Modelling 2006. Proceedings of the Thirds Asia-Pacific Conference on Conceptual Modelling (APCCM2006), (pp. 75-84). Australian Computer Science Communications.
23. Pesic, M., & van der Aalst, W. M. P. (2006). A declarative approach for flexible business processes management. In J. Eder & S. Dustdar (Eds.), Business Process Management Workshops, Volume 4103 of Lecture Notes in Computer Science, (pp. 169-180). Springer.
24. Roman, D., & Kifer, M. (2007). Reasoning about the behaviour of semantic web services with concurrent transaction logic. In VLDB, (pp. 627-638).
25. Sadiq, S., Governatori, G., & Naimiri, K. (2007). Modelling of control objectives for business process compliance. See DBLP:conf/bpm/2007, (pp. 149-164).
26. Sadiq, S. W., Orlowska, M. E., & Sadiq, W. (2005). Specification and validation of process constraints for flexible workflows. Inf. Syst., 30(5), 349-378.
27. Sartor, G. (2005). Legal reasoning. Dordrecht, THe Netherlands: Springer.
28. van der Aalst, W. M. P., van Dongen, B. F., Herbst, J., Maruster, L., Schimm, G., & Weijters, A. J. M. M. (2003). Workflow mining: A survey of issues and approaches. Data Knowl. Eng., 47(2), 237-267.
29. Vanhatalo, J., Völzer, H., & Leymann, F. (2007). Faster and more focused control-flow analysis for business process models though SESE decomposition. In 5th International Conference on Service-Oriented Computing (ICSOC), (pp. 43-55).
30. Wynn, M. T., Verbeek, H., van der Aalst, W. M., Ter Hofstede, A. H., & Edmond, D. (2007). Business process verification - finally a reality! Business Process Management Journal.
31. Zur Muehlen, M., Indulska, M., & Kemp, G. (2007). Business process and business rule modeling languages for compliance management: A representational analysis. In Proc ER 2007: Tutorials, Poster, Panels, and Industrial Contribution.
32. Zur Muehlen, M., & Rosemann, M. (2005). Integrating risks in business process models. In Proceedings of 16th Australasian Conference on Information Systems.