Towards a comprehensive design-time compliance management: A roadmap

Knowledge Management and Innovation: A Business Competitive Edge Perspective - Proceedings of the 15th International Business Information Management Association Conference, IBIMA 2010

Volumn 3, Issue , 2010, Pages 1480-1484

  Elgammal, Amal ^a   Turetken, Oktay ^a   van den Heuvel, Willem Jan ^a   Papazoglou, Mike ^a  

^a NONE

Author keywords

Business process management; Design time compliance management; Regulatory compliance

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; KNOWLEDGE MANAGEMENT; MANAGEMENT SCIENCE; REGULATORY COMPLIANCE;

BUSINESS CLIMATE; BUSINESS PROCESS; BUSINESS PROCESS COMPLIANCES; BUSINESS PROCESS DESIGN; BUSINESS PROCESS MANAGEMENT; COMPLIANCE MANAGEMENT; COMPLIANCE REGULATIONS; ROADMAP;

DESIGN;

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

References (19)

1. AALST, W., BEER, H. & DONGEN, B. 2005. Process Mining and Verification of Properties: An Approach based on Temporal Logic. International Conference on Cooperative Information Systems (CoopIS'05). Cyprus.
2. AWAD, A., WEIDLICH, M. & WESKE, M. 2009. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. 7th International Conference on Service Oriented Computing (ICSOC- Service Wave'09). Springer.
3. BREAUX, T., ANTON, A. & SPAFFORD, E. 2006. A Distributed Requirement Management Framework for Legal Compliance and Accountability. Technical Report, Dept. of Computer Science, North Carolina State Univ.
4. BUCHI, K. 1960. On a Decision Method in Restricted Second Order Arithmetic. International Congress on Logic, Method, Philosophy of Science. Stanford.
5. COSO 1994. Internal Control - Integrated Framework. The Committee of Sponsoring Organizations of the Treadway Commission.
6. ELGAMMAL, A., TURETKEN, O., VAN DEN HEUVEL, W. & PAPAZOGLOU, M. 2010 - to appear. Root-Cause Analysis of Design-time Compliance Violations on the basis of Property Patterns. 8th International Conference on Service-Oriented Computing (ICSOC10). USA.
7. ELGAMMAL, A., TURETKEN, O., VAN DEN HEUVEL, W. & PAPAZOGLOU, M. 2010 to appear. On the Formal Specification of Business Contracts and Regulatory Compliance. 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software. Pisa, Italy: EPTCS.
8. GHOSE, A. & KOLIADIS, G. 2007. Auditing Business Process Compliance. Service-Oriented Computing - ICSOC07. Austria.
9. GIBLIN, C., LIU, A., MULLER, S., B., P. & ZHOU, X. 2005. Regulations Expressed As Logical Models. 18th International annual conference of legal knowledge and information systems. Belgium.
10. GOEDERTIER, S. & VANTHIENEN, J. 2006. Designing Compliant Business Processes with Obligations and Permissions. the International Business Process Management Workshops (BPM). Austria.
11. GOVERNATORI, G., MILOSEVIC, Z. & SADIQ, S. 2006. Compliance Checking Between Business Processes and Business Contracts. 10th International enterprise distributed object computing conference (EDOC 2006). Hong Kong
12. HOLZMANN, G. 1997. The Model Checker SPIN. IEEE Transactions on Software Engineering 23, 279-295.
13. LIU, Y., MULLER, S. & XU, K. 2007. A Static Compliance-Checking Framework for Business Process Models. IBM Systems Journal, 46.
14. LU, R., SADIQ, S. & GOVERNATORI, G. 2008. Measurement of Compliance Distance in Business Processes. Information Systems Management 25, 344-355.
15. MILOSEVIC, Z., SADIQ, S. & ORLOWSKA, M. 2006. Translating business contract into compliant business processes. 10th IEEE International Enterprise Distributed Object Computing Conference. Hong Kong.
16. NAMIRI, K. & STOJANOVIC, N. 2007. Pattern-based Design and Validation of Business Process Compliance. Lecture Notes in Computer Science, 59-76.
17. SADIQ, S., GOVERNATORI, G. & NAIMIRI, K. 2007. Modeling Control Objectives for Business Process Compliance. 10th International Conference on Business Process Management. Australia.
18. SCHUMM, D., TURETKEN, O., KOKASH, N., ELGAMMAL, A., LEYMANN, F. & VAN DEN HEUVEL, W. 2010 (to appear). Business Process Compliance through Reusable Units of Compliant Processes. 1st International Workshop on Engineering SOA and the Web (ESW'10). Austria: LNCS.
19. YU, J., MANH, T., HAN, J. & JIN, Y. 2006. Pattern-Based Property Specification and Verification for Service Composition. 7th international conference on web information systems engineering (WISE06). China.