An iterative approach for business process template synthesis from compliance rules

  • Authors:

  • Ahmed Awad;Rajeev Goré;James Thomson;Matthias Weidlich

  • Affiliations:

  • Hasso Plattner Institute, University of Potsdam, Germany;School of Computer Science, The Australian National University, Australia;School of Computer Science, The Australian National University, Australia;Hasso Plattner Institute, University of Potsdam, Germany

  • Venue:
  • CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Companies have to adhere to compliance requirements. Typically, both, business experts and compliance experts, are involved in compliance analysis of business operations. Hence, these experts need a common understanding of the business processes for effective compliance management. In this paper, we argue that process templates generated out of compliance requirements can be used as a basis for negotiation among business and compliance experts. We introduce a semi automated approach to synthesize process templates out of compliance requirements expressed in Linear Temporal Logic (LTL). As part of that, we show how general constraints related to business process execution are incorporated. Building upon existing work on process mining algorithms, our approach to synthesize process templates considers not only control-flow, but also data-flow dependencies. Finally, we elaborate on the application of the derived process templates and present an implementation of our approach.