Business process compliance checking: Current state and future challenges

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-141, Issue , 2008, Pages 107-113

  El Kharbili, M ^a   Alves De Medeiros, A K ^b   Stein, S ^a   Van Der Aalst, W M P ^b  

^a IDS SCHEER AG   (Germany)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS COMPLIANCES; BUSINESS PROCESS MANAGEMENT; COMPLIANCE CHECKING; CORPORATE GOVERNANCE; GRAPHICAL NOTATION; INTEGRATED APPROACH; LITERATURE REVIEWS; SEMANTIC TECHNOLOGIES;

ENTERPRISE RESOURCE MANAGEMENT; REGULATORY COMPLIANCE; SEMANTICS;

COMPLIANCE CONTROL;

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

References (27)

1. W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen. Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In R. Meersman et al., editor, OTM Conferences (1), volume 3760 of LNCS, pages 130-147. Springer, 2005.
2. F. Chesani, P. Mello, M. Montali, and S. Storari. Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. In R. Bellazzi, A. Abu-Hanna, and J. Hunter, editors, AIME, volume 4594 of Lecture Notes in Computer Science, pages 479-488. Springer, 2007.
3. Wilhelm Rossak Daniel Foetsch, Elke Pulvermueller. Modeling and Verifying Workflow-based Regulations. In Proceedings of the international workshop on regulations modeling and their validation and verification. REMO2V06., pages 825-830. CEUR-WS.org/vol-241, Luxemburg, June 2006.
4. M. Alberti et al. Expressing and Verifying Business Contracts with Abductive Logic Programming. In G. Boella et al., editor, Normative Multi-agent Systems., volume 07122 of Dagstuhl Seminar Proceedings. IBFI, Schloss Dagstuhl, Germany, March 2007.
5. N. Parameswaran & P. Ray F. Yip. Rules and Ontology in Compliance Management. In Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, number 1541-7719, page 435, 2007.
6. Shazia Sadiq Guido Governatori, Zoran Milosevic. Compliance checking between business processes and business contracts. In Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pages pp. 221-232, 2006.
7. D. Giannakopoulou and K. Havelund. Automata-Based Verification of Temporal Properties on Running Programs. In ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering, page 412, Washington, DC, USA, 2001. IEEE Computer Society.
8. A.K. Ghose and G. Koliadis. Auditing business process compliance. In Proceedings of the International Conference on Service-Oriented Computing (ICSOC-2007), volume 4749 of Lecture Notes in Computing Sicence, pages 169-180, 2007.
9. G. Governatori and Milosevic. Z. Dealing with contract violations: formalism and domain specific language. In Proceedings of the Conference on Enterprise Computing EDOC 2005., page 4657. IEEE Press., 2005.
10. Jussi Vanhatalo Jana Koehler. Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Developer Technical Journal., 28 Feb 2007.
11. L.T. Ly, K. Göser, S. Rinderle-Ma, and P. Dadam. Compliance of Semantic Constraints A Requirements Analysis for Process Management Systems. In Sadiq S., Indulska M., and zur Muehlen M., editors, Proceedings of the International Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS08)., June 2008.
12. Y. Liu, S. Müller, and K. Xu. A static compliance-checking framework for business process models. IBM Syst. J., 46(2):335-361, 2007.
13. R. Milner. The polyadic pi-calculus: a tutorial. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203-246. Springer-Verlag, 1993.
14. Z. Milosevic. Towards Integrating Business Policies with Business Processes. In W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Business Process Management, volume 3649, pages 404-409, 2005.
15. Zoran Milosevic. Towards Integrating Business Policies with Business Processes, pages 404-409. 2005.
16. Sadiq S. W. Milosevic, Z., J. L. Fiadeiro Orlowska, M. E. In: S. Dustdar, and A. P. Sheth. Towards a methodology for deriving contract-compliant business processes. In Proceedings of the 4th International Conference on Business Process Management (BPM06), Vienna, Austria., 2006. 5-7 September, 2006.
17. K. Namiri and N. Stojanovic. Pattern-Based Design and Validation of Business Process Compliance. In R. Meersman and Z. Tari, editors, OTM Conferences (1), volume 4803 of Lecture Notes in Computer Science, pages 59-76. Springer, 2007.
18. Kioumars Namiri and Nenad Stojanovic. Pattern-Based Design and Validation of Business Process Compliance, pages 59-76. 2007.
19. K. Namiri and N. Stojanovic. Towards A Formal Framework for Business Process Compliance. In M. Bichler, T. Hess, H. Krcmar, U. Lechner, F. Matthes, A. Picot, B. Speitkamp, and P. Wolf, editors, Multikonferenz Wirtschaftsinformatik. GITO-Verlag, Berlin, 2008.
20. J. Cole S. Gibson S. Kulkarni P. F. Linington, Z. Milosevic and S. Neal. A unified behavioural model and a contract language for extended enterprise. Data & Knowledge Engineering., Volume 51, Issue:5-29, October 2004.
21. Governatori G. Sadiq S. Colomb R. M. Padmanabhan, V. and A. Rotolo. Process Modelling: The Deontic Way. In The Third Asia Pacific Conference on Conceptual Modelling (APCCM 2006).
22. M. Pesic, M. Schonenberg, N. Sidorova, and W. van der Aalst. Constraint-Based Workflow Models: Change Made Easy, pages 77-94. 2007.
23. A. Rozinat and W.M.P. van der Aalst. Conformance Checking of Processes Based on Monitoring Real Behavior. Information Systems, 33(1):64-95, 2008.
24. R. Schmidt, C. Bartsch, and R. Oberhauser. Ontology-Based Representation of Ccompliance Requirements for Service Processes. In Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management, pages 28-39, 2007.
25. S.W. Sadiq, G. Governatori, and K. Namiri. Modeling Control Objectives for Business Process Compliance. In G. Alonso, P. Dadam, and M. Rosemann, editors, BPM, volume 4714 of Lecture Notes in Computer Science, pages 149-164. Springer, 2007.
26. Governatori G. Sadiq, S. and K. Namiri. Modeling Control Objectives for Business Process Compliance, pages 149-164. Lecture Notes in Computer Science. Springer, 2007.
27. M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer-Verlag, Berlin, 2007.