Automated Sustainability Compliance Checking Using Process Mining and Formal Logic

TL;DR

This paper proposes a data-driven approach combining process mining and formal logic to automate sustainability compliance checking in business processes, aiming to enhance sustainability monitoring within ERP systems.

Contribution

It introduces a novel method integrating process mining with formal languages to automate sustainability compliance evaluation in business processes.

Findings

Development of a prototype compliance engine

Demonstration of automated sustainability conformance checking

Potential integration with ERP systems for real-time monitoring

Abstract

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.