论文标题
使用流程挖掘和正式逻辑进行自动可持续性合规性检查
Automated Sustainability Compliance Checking Using Process Mining and Formal Logic
论文作者
论文摘要
业务流程需要具有某些限制，以便可以导致可持续的结果。这些约束可以是多种多样的，必须监控它们的粘附。过去，合规性检查已在几个商业领域应用，而没有考虑某些可持续性方面，例如多维性和影响水平。在我的研究中，我想为合规性检查技术的应用做出贡献，以实现可持续性的合规性。为了实现这一目标，我想分析和开发数据驱动的方法，从而可以自动化合规性检查的任务。实现这一目标的方式是将过程挖掘的方法与可以以机器可读方式表达可持续性规则的形式语言结合在一起。主要目标是开发可以通过ERP系统调整的合规引擎，以评估业务流程中的可持续性符合。
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.
