Skip to main content
Springer Nature Link
Log in

Consistency Checking of Compliance Rules

  • Conference paper
Business Information Systems (BIS 2010)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 47))

Included in the following conference series:

  • 1176 Accesses

Abstract

Compliance checking of business process models against regulation is inevitable. Due to various sources of compliance requirements, a conflict of interest of such requirements is very likely. Thus, it is crucial to analyze the relation between compliance rules to discover any possible conflicts before even checking such rules against process models. Although this step is important in the compliance management life cycle, there is almost no work that studied this direction. In this paper, we start by checking for consistency between execution ordering compliance rules expressed in linear temporal logic (LTL), addressing control and data flow aspects. To achieve this, we rely on the generation of Büchi automaton from LTL formulas. However, we show that domain-specific knowledge is of crucial importance to draw correct conclusions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Sarbanes-Oxley Act of 2002. Public Law 107-204 (116 Statute 745), United States Senate and House of Representatives in Congress (2002)

    Google Scholar 

  2. Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: BPD 2009. LNBIP. Springer, Heidelberg (to appear)

    Google Scholar 

  3. Awad, A., Decker, G., Weske, M.: Efficient Compliance Checking Using BPMN-Q and Temporal Logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326–341. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Awad, A., Smirnov, S., Weske, M.: Towards Resolving Compliance Violations in Business Process Models. In: GRCIS, CEUR-WS.org (2009)

  5. Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data aware compliance rules. In: Baresi, L. (ed.) ICSOC 2009. LNCS, vol. 5900, pp. 500–515. Springer, Heidelberg (2009)

    Google Scholar 

  6. Awad, A., Weske, M.: Visualization of compliance violation in business process models. In: BPI 2009. LNBIP. Springer, Heidelberg (to appear)

    Google Scholar 

  7. F. S. Commission: Guidelines on anti-money laundering & counter-financing of terrorism (2007)

    Google Scholar 

  8. Dasgupta, P.: A Roadmap for Formal Property Verification. Springer, Heidelberg (2006)

    Google Scholar 

  9. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)

    Article  Google Scholar 

  10. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411–420. ACM, New York (1999)

    Chapter  Google Scholar 

  11. El Kharbili, M., Stein, S., Markovic, I., Pulvermüller, E.: Towards a Framework for Semantic Business Process Compliance Management. In: GRCIS, June 2008, pp. 1–15 (2008)

    Google Scholar 

  12. Förster, A., Engels, G., Schattkowsky, T., Van Der Straeten, R.: Verification of Business Process Quality Constraints Based on VisualProcess Patterns. In: TASE, pp. 197–208. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  13. Gastin, P., Oddoux, D.: Fast LTL to büchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 53–65. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  14. Gerth, R., Eindhoven, D.D., Peled, D., Vardi, M.Y., Wolper, P.: Simple on-the-fly automatic verification of linear temporal logic. In: Protocol Specification Testing and Verification, pp. 3–18. Chapman & Hall, Boca Raton (1995)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  16. Goedertier, S., Vanthienen, J.: Compliant and Flexible Business Processes with Business Rules. In: BPMDS, CEUR Workshop Proceedings, vol. 236, CEUR-WS.org (2006)

  17. Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes from Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5–14. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  18. Kähmer, M., Gilliot, M., Muller, G.: Automating privacy compliance with expdt. In: CEC/EEE, pp. 87–94. IEEE, Los Alamitos (2008)

    Google Scholar 

  19. Küster, J.M., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165–181. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Laroussinie, F., Markey, N., Schnoebelen, P.: Temporal logic with forgettable past. In: LICS, pp. 383–392. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. Lu, R., Sadiq, S., Governatori, G.: Measurement of Compliance Distance in Business Processes. Inf. Sys. Manag. 25(4), 344–355 (2008)

    Article  Google Scholar 

  23. Lui, Y., Müller, S., Xu, K.: A Static Compliance-checking Framework for Business Process Models. IBM Systems Journal 46(2), 335–362 (2007)

    Article  Google Scholar 

  24. Ly, L.T., Göser, K., Rinderle-Ma, S., Dadam, P.: Compliance of Semantic Constraints – A Requirements Analysis for Process Management Systems. In: GRCIS, pp. 16–30, CEUR-WS.org (June 2008)

  25. Milosevic, Z., Sadiq, S., Orlowska, M.: Translating Business Contract into Compliant Business Processes. In: EDOC, pp. 211–220. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

  26. Namiri, K., Stojanovic, N.: Pattern-Based Design and Validation of Business Process Compliance. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 59–76. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. OASIS. Universal Description Discovery and Integration UDDI (2004)

    Google Scholar 

  28. B.C. on Banking Supervision. Basel ii accord (2004)

    Google Scholar 

  29. Pesić, M.: Constraint-Based Workflow Management System: Shifting Control to Users. PhD thesis, Technische Universiteit Eindhoven (2008)

    Google Scholar 

  30. Pnueli, A.: The temporal logic of programs. In: SFCS, pp. 46–57. IEEE Computer Society, Washington (1977)

    Google Scholar 

  31. Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: 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)

    Chapter  Google Scholar 

  32. Zuck, L.: Past Temporal Logic. PhD thesis, Weizmann Intitute, Israel (August 1986)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Business Process Technology Group, Hasso-Plattner-Institute, University of Potsdam, Germany

    Ahmed Awad, Matthias Weidlich & Mathias Weske

Authors
  1. Ahmed Awad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Weidlich
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mathias Weske
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Systems, Poznań University of Economics, Al. Niepodległości 10, 61-875, Poznań, Poland

    Witold Abramowicz

  2. Institut für Informatik, Freie Universität Berlin, Takustr. 9, 14195, Berlin, Germany

    Robert Tolksdorf

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Awad, A., Weidlich, M., Weske, M. (2010). Consistency Checking of Compliance Rules. In: Abramowicz, W., Tolksdorf, R. (eds) Business Information Systems. BIS 2010. Lecture Notes in Business Information Processing, vol 47. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12814-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-12814-1_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-12813-4

  • Online ISBN: 978-3-642-12814-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics