Automated Sustainability Compliance Checking Using Process Mining and Formal Logic

Business processes need to have certain constraints such that they can lead to sustainable outcomes. These constraints can be manifold and their adherence has to be monitored. In the past compliance checking has been applied in several business domains without considering certain sustainability aspects, such as multi-dimensionality and impact level. With my research I want to contribute to the application of compliance checking techniques for the purpose of sustainability compliance. In order to achieve this, I want to analyse and develop data-driven approaches, which allow to automate the task of compliance checking. The way in which this can be achieved, is be combining methods from process mining with formal languages that can express sustainability rules in a machine-readable manner. The main goal is to develop a compliance engine that can be adapted by ERP systems in order to evaluate sustainability conformance in business processes

BUSINESS PROCESS MODEL ANTI-PATTERNS: A BIBLIOGRAPHY AND TAXONOMY OF PUBLISHED WORK

Patterns have been proven to be useful for documenting reusable solutions to common problems. A recently published bibliography of business process model patterns shed light into the various types of patterns by providing a systematic categorization of these patterns. In this way, such classification improves the understanding of business process model patterns. Anti-patterns document a counterproductive solution to a commonly occurring problem. While a classification for the large body of literature on business process model patterns is available, a structured bibliography of anti-patterns is missing. Related work on anti-patterns discusses patterns for common modeling errors, problems in business process models as well as in the business processes. Modeling experts should be aware of all these types of anti-patterns. To fill this gap, this paper presents a bibliography of business process model anti-patterns and a taxonomy of anti-patterns that has been developed using an established approach for taxonomy development. Both are based on an literature review and are valuable for people during the design and analysis phases of business processes since knowledge about anti-patterns in business process models helps for increasing their quality. Our overview should also be useful for developers of modeling tools who wish to make the modeler aware of potential modeling problems