Abstract

Companies are promoting the implementation of automation in business processes to face the high level of competitive pressure induced in the course of globalization and interconnected environments. Additionally, a series of corporate scandals obliges companies to implement regulatory and legally binding rules. Required compliance analysis of those bindings is costly and time consuming, eating up the previously gained competitive advance. Our toolkit SWAT meets this contradiction by introducing automatic compliance analysis techniques. It provides a pattern based analysis approach with predefined patterns that contain security and compliance statements which are easily reusable. This approach allows subsequent analyses with minimal user interaction as a first step towards an automatic contemporary compliance analysis of workflows. Based on mathematically sound analysis techniques, our tool graphically shows violation examples for effortless interpretation of analysis results and identification of inconformities. In this paper we present the possibilities of our toolkit to analyse process models as well as process logs. We demonstrate its underlying techniques and concepts on a real world ordering process.

Share

COinS