Detecting regulatory compliance for business process models through semantic annotations

Lecture Notes in Business Information Processing

Volumn 17 LNBIP, Issue , 2009, Pages 5-17

  Governatori, Guido ^a   Hoffmann, Jörg ^b   Sadiq, Shazia ^c   Weber, Ingo ^b  

^a CSIRO   (Australia)

^b SAP RESEARCH   (Germany)

^c UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Business Process Models; Regulatory Compliance; Semantic Annotations

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; FORMAL LOGIC; POLYNOMIAL APPROXIMATION; PROCESS MONITORING; REGULATORY COMPLIANCE; TECHNICAL PRESENTATIONS;

BUSINESS PROCESS; BUSINESS PROCESS MODEL; BUSINESS PROCESS MODELS; DEONTIC LOGIC; DIAGNOSTIC INFORMATION; EFFICIENT METHOD; KEY OBJECTIVE; LOGICAL STATE; POLYNOMIAL-TIME; SEARCH PROBLEM; SEMANTIC ANNOTATIONS; TOOLS AND TECHNIQUES;

SEMANTICS;

EID: 67649921330     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-00328-8_2     Document Type: Conference Paper

References (16)

1. Sadiq, S., Governatori, G., Namiri, K.: Modelling 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)
2. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14, 181-216 (2005)
3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2, 255-287 (2001)
4. Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193-215 (2006)
5. Dongen, B., Mendling, J., Aalst, W.: Structural Patterns for Soundness of Business Process Models. In: Proceedings EDOC 2006, pp. 116-128. IEEE, Los Alamitos (2006)
6. Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS, vol. 4830, pp. 486-496. Springer, Heidelberg (2007)
7. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models though SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
8. Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: SBPM (2008)
9. Wynn, M.T., Verbeek, H., van der Aalst, W.M., ter Hofstede, A.H., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal (2007); preprint: QUT ePrint 9107
10. KPMG Advisory: The Compliance Journey: Balancing Risk and Controls with Business Improvement (2005)
11. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Hung, P.C.K. (ed.) Proc. EDOC 2006, pp. 221-232. IEEE, Los Alamitos (2006)
12. Lu, R., Sadiq, S.W., Governatori, G.: Compliance aware business process design. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 120-131. Springer, Heidelberg (2008)
13. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46, 335-361 (2007)
14. Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5-14. Springer, Heidelberg (2006)
15. Ghose, A., Koliadis, G.: Auditing business process compliance. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg (2007)
16. Chopra, A.K., Sing, M.P.: Producing compliant interactions: Conformance, coverage and interoperability. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS, vol. 4327, pp. 1-15. Springer, Heidelberg (2006)