English
Related papers

Related papers: Automated Sustainability Compliance Checking Using…

200 papers

Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviour, whereas the event log represents the actual process…

Given a model of the expected behavior of a business process and an event log recording its observed behavior, the problem of business process conformance checking is that of identifying and describing the differences between the model and…

Software Engineering · Computer Science 2020-03-06 Daniel Reißner , Abel Armas-Cervantes , Raffaele Conforti , Marlon Dumas , Dirk Fahland , Marcello La Rosa

Process mining sheds new light on the relationship between process models and real-life processes. Process discovery can be used to learn process models from event logs. Conformance checking is concerned with quantifying the quality of a…

Artificial Intelligence · Computer Science 2019-09-06 Anja F. Syring , Niek Tax , Wil M. P. van der Aalst

[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within budget. Particularly, the synchronization between…

Within process mining, a relevant activity is conformance checking. Such activity consists of establishing the extent to which actual executions of a process conform the expected behavior of a reference model. Current techniques focus on…

Artificial Intelligence · Computer Science 2022-01-25 Andrea Burattin

Requirements are informal and semi-formal descriptions of the expected behavior of a system. They are usually expressed in the form of natural language sentences and checked for errors manually, e.g., by peer reviews. Manual checks are…

Logic in Computer Science · Computer Science 2018-04-30 Simone Vuotto

The premise of this paper is that compliance with Trustworthy AI governance best practices and regulatory frameworks is an inherently fragmented process spanning across diverse organizational units, external stakeholders, and systems of…

Software Engineering · Computer Science 2021-10-07 Andrew Pery , Majid Rafiei , Michael Simon , Wil M. P. van der Aalst

Machine learning (ML) is increasingly applied across industries to automate decision-making, but concerns about ethical and legal compliance remain due to limited transparency, fairness, and accountability. Monitoring through logging a…

Software Engineering · Computer Science 2025-08-26 Patrick Loic Foalem , Leuson Da Silva , Foutse Khomh , Heng Li , Ettore Merlo

With the growing number of devices, sensors and digital systems, data logs may become uncertain due to, e.g., sensor reading inaccuracies or incorrect interpretation of readings by processing programs. At times, such uncertainties can be…

Artificial Intelligence · Computer Science 2023-11-22 Eli Bogdanov , Izack Cohen , Avigdor Gal

Nowadays, more and more process data are automatically recorded by information systems, and made available in the form of event logs. Process mining techniques enable process-centric analysis of data, including automatically discovering…

Artificial Intelligence · Computer Science 2022-04-11 Marco Pegoraro , Wil M. P. van der Aalst

Process mining methods allow analysts to use logs of historical executions of business processes in order to gain knowledge about the actual behavior of these processes. One of the most widely studied process mining operations is automated…

Software Engineering · Computer Science 2018-06-11 Fabrizio Maria Maggi , Andrea Marrella , Fredrik Milani , Allar Soo , Silva Kasela

Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes,…

Artificial Intelligence · Computer Science 2021-04-20 Paolo Felli , Alessandro Gianola , Marco Montali , Andrey Rivkin , Sarah Winkler

Process mining allows analysts to exploit logs of historical executions of business processes to extract insights regarding the actual performance of these processes. One of the most widely studied process mining operations is automated…

Process mining is a multi-purpose tool enabling organizations to improve their processes. One of the primary purposes of process mining is finding the root causes of performance or compliance problems in processes. The usual way of doing so…

Cryptography and Security · Computer Science 2019-09-02 Mahnaz Sadat Qafari , Wil van der Aalst

The execution of (business) processes generates valuable traces of event data in the information systems employed within companies. Recently, approaches for monitoring the correctness of the execution of running processes have been…

Databases · Computer Science 2020-09-23 Daniel Schuster , Sebastiaan J. van Zelst

Verifying temporal compliance rules, such as a rule stating that an inquiry must be answered within a time limit, is a recurrent operation in the realm of business process compliance. In this setting, a typical use case is one where a…

Data Structures and Algorithms · Computer Science 2021-12-13 Adriano Augusto , Ahmed Awad , Marlon Dumas

Digitalization efforts often face a key challenge: business processes must not only be efficient in achieving their goals but also adhere to legal regulations. Business process compliance refers to aligning processes with these regulations.…

Software Engineering · Computer Science 2024-10-16 Hugo A. López , Thomas T. Hildebrandt

Conformance checking techniques let us find out to what degree a process model and real execution data correspond to each other. In recent years, alignments have proven extremely useful in calculating conformance statistics. Most techniques…

Artificial Intelligence · Computer Science 2019-12-12 Mohammadreza Fani Sani , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming more pervasive. Moreover, the digitalised services provided by…

Software Engineering · Computer Science 2026-05-25 L. Thomas van Binsbergen , Christopher A. Esterhuyse , Tim Müller

Ensuring compliance of organizations to federal regulations is a growing concern. This paper presents a framework and methods to verify whether an implemented low-level security policy is compliant to a high-level security policy. Our…

Cryptography and Security · Computer Science 2008-10-01 Vaibhav Gowadia , Csilla Farkas , Michiharu Kudo