English
Related papers

Related papers: Towards a Formal Framework for Partial Compliance …

200 papers

Most existing process compliance monitoring approaches detect compliance violations in an ex post manner. Only predicate prediction focuses on predicting them. However, predicate prediction provides a binary yes/no notion of compliance,…

Machine Learning · Computer Science 2025-02-04 Qian Chen , Stefanie Rinderle-Ma , Lijie Wen

Business process models abstract complex business processes by representing them as graphical models. Their layout, solely determined by the modeler, affects their understandability. To support the construction of understandable models it…

Software Engineering · Computer Science 2017-01-18 Andrea Burattin , Vered Bernstein , Manuel Neurauter , Pnina Soffer , Barbara Weber

In this paper, we present a new methodology to evaluate whether a business process model is fully compliant with a regulatory framework composed of a set of conditional obligations. The methodology is based failure delta-constraints that…

Data Structures and Algorithms · Computer Science 2020-01-29 Silvano Colombo Tosatto , Guido Governatori , Nick Van Beest

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

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…

Computers and Society · Computer Science 2020-06-19 Clemens Schreiber

Organizations need to manage numerous business processes for delivering their services and products to customers. One important consideration thereby lies in the adherence to regulations such as laws, guidelines, or industry standards. In…

Computers and Society · Computer Science 2025-11-12 Finn Klessascheck , Luise Pufahl

Business collaboration networks provide collaborative organizations a favorable context for automated business process interoperability. This paper aims to present a novel approach for assessing interoperability of process driven services…

Other Computer Science · Computer Science 2011-11-23 Elmir Badr , Bounabat Bouchaib

The objective of this paper is to design performance metrics and respective formulas to quantitatively evaluate the achievement of set objectives and expected outcomes both at the course and program levels. Evaluation is defined as one or…

Physics Education · Physics 2015-09-16 Irfan Ahmed , Arif Bhatti

While supporting the execution of business processes, information systems record event logs. Conformance checking relies on these logs to analyze whether the recorded behavior of a process conforms to the behavior of a normative…

Artificial Intelligence · Computer Science 2020-07-07 Han van der Aa , Henrik Leopold , Matthias Weidlich

Enterprise agents increasingly operate inside scoped retrieval systems, delegated workflows, and policy-constrained evidence environments. In these settings, access control can be enforced correctly while the system still produces an answer…

Artificial Intelligence · Computer Science 2026-05-08 Krti Tallam

Many procedures for SAT and SAT-related problems -- in particular for those requiring the complete enumeration of satisfying truth assignments -- rely their efficiency on the detection of partial assignments satisfying an input formula. In…

Logic in Computer Science · Computer Science 2020-03-10 Roberto Sebastiani

Data completeness is an essential aspect of data quality, and has in turn a huge impact on the effective management of companies. For example, statistics are computed and audits are conducted in companies by implicitly placing the strong…

Databases · Computer Science 2013-06-10 Simon Razniewski , Marco Montali , Werner Nutt

Performance metrics measuring in Financial Integrity systems are crucial for maintaining an efficient and cost effective operation. An important performance metric is False Positive Rate. This metric cannot be directly monitored since we…

Machine Learning · Computer Science 2022-08-30 Moshe Tocker

Development effort is an undeniable part of the project management which considerably influences the success of project. Inaccurate and unreliable estimation of effort can easily lead to the failure of project. Due to the special…

Software Engineering · Computer Science 2012-09-13 Elham Khatibi , Roliana Ibrahim

Business process compliance is a key area of business process management and aims at ensuring that processes obey to compliance constraints such as regulatory constraints or business rules imposed on them. Process compliance can be checked…

Software Engineering · Computer Science 2023-04-18 Stefanie Rinderle-Ma , Karolin Winter , Janik-Vasily Benzin

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

A good process model is expected not only to reflect the behavior of the process, but also to be as easy to read and understand as possible. Because preferences vary across different applications, numerous measures provide ways to reflect…

Formal Languages and Automata Theory · Computer Science 2024-08-23 Patrizia Schalk , Adam Burke , Robert Lorenz

The popularisation of applying AI in businesses poses significant challenges relating to ethical principles, governance, and legal compliance. Although businesses have embedded AI into their day-to-day processes, they lack a unified…

Artificial Intelligence · Computer Science 2024-12-09 Haocheng Lin

Benchmarking functionalities in current commercial process mining tools allow organizations to contextualize their process performance through high-level performance indicators, such as completion rate or throughput time. However, they do…

Software Engineering · Computer Science 2025-04-24 Luka Abb , Majid Rafiei , Timotheus Kampik , Jana-Rebecca Rehse

Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the…

Logic in Computer Science · Computer Science 2015-09-30 Fabio Martinelli , Ilaria Matteucci , Francesco Santini
‹ Prev 1 2 3 10 Next ›