Auditing Business Process Compliance

  • Aditya Ghose
  • George Koliadis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4749)


Compliance issues impose significant management and reporting requirements upon organizations. We present an approach to enhance business process modeling notations with the capability to detect and resolve many broad compliance related issues. We provide a semantic characterization of a minimal revision strategy that helps us obtain compliant process models from models that might be initially non-compliant, in a manner that accommodates the structural and semantic dimensions of parsimoniously annotated process models. We also provide a heuristic approach to compliance resolution using a notion of compliance patterns. This allows us to partially automate compliance resolution, leading to reduced levels of analyst involvement and improved decision support.


Business Process Conjunctive Normal Form Business Process Model Proximity Relation Business Process Modeling Notation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Zhang, I.X.: Economic consequences of the sarbanes-oxley act of 2002. AEI-Brookings Joint Center 5 (2005)Google Scholar
  2. 2.
    Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proc. 10th Int. Enterprise Dist. Object Computing Conf. (2006)Google Scholar
  3. 3.
    Weitl, F., Freitag, B.: Checking semantic integrity constraints on integrated web documents. In: Workshop Proc. of ER., pp. 198–209 (2004)Google Scholar
  4. 4.
    Janssen, W., Mateescu, R., Mauw, S., Springintveld, J.: Verifying business processes using spin. In: Holzman, G., Serhrouchni, E.N. (eds.) Proceedings of the 4th International SPIN Workshop, Paris, France, pp. 21–36 (1998)Google Scholar
  5. 5.
    Rosenberg, F., Dustdar, S.: Business rule integration in bpel - a service-oriented approach. In: Proc. of the 7th Int. IEEE Conf. on E-Commerce Technology, IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  6. 6.
    Ly, L.T., Rinderle, S., Dadam, P.: Semantic correctness in adaptive process management systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Reijers, H.A.: Design and Control of Workflow Processes: Business Process Management for the Service Industry. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, Springer, Heidelberg (2003)Google Scholar
  8. 8.
    White, S.: Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (2006),
  9. 9.
    Becker, J., Indulska, M., Rosemann, M., Green, P.: Do process modelling techniques get better? In: Proc. 16th Australasian Conf. on I.S. (2005)Google Scholar
  10. 10.
    Wagner, G.: How to design a general rule markup language. In: Proc. of the Workshop XML Technologies for the Semantic Web (2002)Google Scholar
  11. 11.
    van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proc. of the Int. Joint Conference on R.E., Toronto, pp. 249–263. IEEE Press, Los Alamitos (2001)Google Scholar
  12. 12.
    Ehrig, M., Koschmider, A., Oberweis, A.: Measuring similarity between semantic business process models. In: Proc. of the Fourth Asia-Pacific Conf. on Conceptual Modelling (2007)Google Scholar
  13. 13.
    Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)Google Scholar
  14. 14.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Aditya Ghose
    • 1
  • George Koliadis
    • 1
  1. 1.Decision Systems Laboratory, School of Computer Science and Software Engineering, University of Wollongong, NSW 2522Australia

Personalised recommendations