Normative Requirements for Business Process Compliance

Lecture Notes in Business Information Processing

Volumn 177, Issue , 2014, Pages 100-116

  Hashmi, Mustafa ^a,b   Governatori, Guido ^a,b   Wynn, Moe Thandar ^a,b  

^a CSIRO   (Australia)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Business process compliance; Norms; Regulatory compliance

Indexed keywords

DATA PROCESSING;

BUSINESS OPERATION; BUSINESS PROCESS; BUSINESS PROCESS COMPLIANCES; FORMAL SEMANTICS; NORMATIVE DOCUMENTS; NORMS; SPECIFIC SEQUENCES; TEMPORAL ASPECTS;

REGULATORY COMPLIANCE;

EID: 84903524096     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-319-07950-9_8     Document Type: Conference Paper

References (18)

1. Accorsi, R., Lowis, L., Sato, Y.: Automated certification for compliant cloud-based business processes. Bus. Inf. Syst. Eng. 3(3), 145-154 (2011)
2. Tosatto, S.C., Governatori, G., Kelsen, P., van der Torre, L.: Business process compliance is hard. Technical report, NICTA (2012)
3. Elgammal, A., Turetken, O., van den Heuvel, W.-J., Papazoglou, M.: Root-cause analysis of design-time compliance violations on the basis of property patterns. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 17-31. Springer, Heidelberg (2010)
4. Elgammal, A., Turetken, O., van den Heuvel, W.-J., Papazoglou, M.: On the formal specification of regulatory compliance: a comparative analysis. In: Maximilien, E.M., Rossi, G., Yuan, S.-T., Ludwig, H., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6568, pp. 27-38. Springer, Heidelberg (2011)
5. Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: requirements for rule interchange languages in the legal domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 282-296. Springer, Heidelberg (2009)
6. Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2-3), 181-216 (2005)
7. Governatori, G., Milosevic, Z.: Dealing with contract violations: formalism and domain specific language. In: EDOC 2005, pp. 46-57 (2005)
8. Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Proceeding of APCCM'10, vol. 110, pp. 3-12 (2010)
9. Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194-209. Springer, Heidelberg (2010)
10. Governatori, G., Sadiq, S.: The journey to business process compliance. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Management, pp. 426-454. IGI Global, Hershey (2009)
11. Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431-445. Springer, Heidelberg (2000)
12. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541-580 (1989)
13. Orriëns, B., Yang, J., Papazoglou, M.P.: A framework for business rule driven service composition. In: Benatallah, B., Shan, M.-C. (eds.) TES 2003. LNCS, vol. 2819, pp. 14-27. Springer, Heidelberg (2003)
14. Sadiq, W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149-164. Springer, Heidelberg (2007)
15. Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Dordrecht (2005)
16. van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21-66 (1998)
17. van der Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, p. 161. Springer, Heidelberg (2000)
18. Weigand, H., van den Heuvel, W.-J., Hiel, M.: Business policy compliance in service-oriented systems. Inf. Syst. 36(4), 791-807 (2011)