Root-cause analysis of design-time compliance violations on the basis of property patterns

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6470 LNCS, Issue , 2010, Pages 17-31

  Elgammal, Amal ^a   Turetken, Oktay ^a   Van Den Heuvel, Willem Jan ^a   Papazoglou, Mike ^a  

^a TILBURG UNIVERSITY   (Netherlands)

Author keywords

Compliance constraint detection and prevention; Compliance patterns; Design time compliance management; Formal compliance model; Regulatory compliance; root cause analysis

Indexed keywords

BUSINESS ENVIRONMENTS; BUSINESS PROCESS; BUSINESS PROCESS DESIGN; BUSINESS RULES; COMPLIANCE CONSTRAINTS; COMPLIANCE MANAGEMENT; COMPLIANCE MODEL; COMPLIANCE PATTERNS; COMPLIANCE REGULATIONS; FORMAL SPECIFICATION; PROPERTY PATTERNS; PROPERTY SPECIFICATION; ROOT CAUSE ANALYSIS;

DESIGN; DISTRIBUTED COMPUTER SYSTEMS; ENVIRONMENTAL REGULATIONS; MANAGEMENT SCIENCE; PROCESS ENGINEERING; SPECIFICATIONS; TAXONOMIES;

REGULATORY COMPLIANCE;

EID: 78650764843     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17358-5_2     Document Type: Conference Paper

References (27)

1. Papazoglou, M., Traverso, P., Dustdar, S., Leymann, F.: Service-Oriented Computing: State of the Art and Research Challenges. Computer 40, 38-45 (2007)
2. Sadiq, S., Governatori, G., Naimiri, K.: Modeling Control Objectives for Business Process Compliance. In: 10th International Conference on BPM, Australia, pp. 149-164 (2007)
3. ITIL: Information Technology Infrastructure Library (2010)
4. Dwyer, M., Avrunin, G., Corbett, J.: Property Specification Patterns for Finite-State Verification. In: Workshop on Formal Methods on Software Practice, USA, pp. 7-15 (1998)
5. Liu, Y., Muller, S., Xu, K.: A Static Compliance-Checking Framework for Business Process Models. IBM Systems Journal 46 (2007)
6. Pnueli, A.: The Temporal Logic of Programs. In: 18th IEEE Symposium on Foundations of Computer Science, pp. 46-57 (1977)
7. Dettmer, H.: Goldratt's Theory of Constraints: a systems approach to continuous improvement, pp. 62-119. ASQC Quality Press (1997)
8. Mosely, H.: Current Reality Trees: An Action Learning Tool for Root Cause Analysis (2006), http://www.jhuccp.org/training/scope/starguide/toc/rootcause analysis.ppt
9. Buchi, K.: On a Decision Method in Restricted Second Order Arithmetic. In: International Congress on Logic, Method, Philosophy of Science, Stanford, pp. 1-11 (1960)
10. Clarke, E., Grumberg, J., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
11. Yu, J., Manh, T., Han, J., Jin, Y.: Pattern-Based Property Specification and Verification for Service Composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol. 4255, pp. 156-168. Springer, Heidelberg (2006)
12. COMPAS official web site - Project description, http://www.compas-ict.eu/ project.php
13. Arbab, F., Kokash, N., Meng, S.: Towards Using Reo for Compliance-Aware Business Process Modeling. In: ISOLA 2008, Greece, pp. 108-123 (2008)
14. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance Checking Between Business Processes and Business Contracts. In: EDOC 2006, Hong Kong, pp. 221-232 (2006)
15. Governatori, G., Milosevic, Z.: Dealing with Contract Violations: Formalism and Domain-Specific Language. In: EDOC 2005, pp. 46-57 (2005)
16. Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: The International BPM Workshops, Austria, pp. 5-14 (2006)
17. Governatori, G., Rotolo, A.: Logic of Violations: A Gentzen System for Reasoning with Contrary-to-duty Obligations. Australasian Journal of Logic (2006)
18. Governatori, G.: Representing Business Contracts in RuleML. International Journal of Cooperative Information Systems (2005)
19. Milosevic, Z., Sadiq, S., Orlowska, M.: Translating business contract into compliant business processes. In: EDOC 2006, pp. 211-220 (2006)
20. Lu, R., Sadiq, S., 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)
21. Abouzaid, F., Mullins, J.: A Calculus for Generation, Verification, and Refinement of BPEL Specifications. In: WWV 2007, pp. 43-68 (2007)
22. Giblin, C., Liu, A., Muller, S.: Regulations Expressed As Logical Models. In: 18th Conference of Legal Knowledge and Information Systems, Belgium, pp. 37-48 (2005)
23. Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 500-515. Springer, Heidelberg (2009)
24. Namiri, K., Stojanovic, N.: Pattern-based Design and Validation of Business Process Compliance. LNCS, pp. 59-76 (2007)
25. Gruhn, V., Laue, R.: Specification Patterns for Time-Related Properties. In: 12th Int'l Symposium on Temporal Representation and Reasoning, pp. 191-198 (2005)
26. 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)
27. Lu, R., Sadiq, S., Governatori, G.: Measurement of Compliance Distance in Business Processes. Information Systems Management 25, 344-355 (2008)