Pubblicazioni

Autori:

Workneh, Tewabe Chekole; Sala, Pietro; Rizzi, Romeo; Cristani, Matteo

Titolo:

Business Process Compliance with impact constraints

Anno:

2025

Tipologia prodotto:

Articolo in Rivista

Tipologia ANVUR:

Articolo su rivista

Lingua:

Inglese

Referee:

No

Nome rivista:

Information Systems

ISSN Rivista:

0306-4379

N° Volume:

129

Editore:

Elsevier

Intervallo pagine:

1-37

Parole chiave:

Business Process Management; Business Process Compliance; Algorithmic analysis; Experimental analysis

Breve descrizione dei contenuti:

Business Process Compliance is a family of methods to evaluate Business Processes in terms of the existence of one execution (one trace) that does not violate constraints superimposed on the process itself. The dual version is formulated as the superimposition of a set of constraints and consequent evaluation of the process for all the executions. These problems are relevant to a large part of actual applications, especially those in the context of regulatory compliance where we aim at verifying the process against a normative background (including, for instance, soft ones, such as guidelines, product specification, and product standards) or goals fixed by the owner of the process. In this paper we discuss one new type of compliance, that is impact compliance, devised to verify when a process respects a set of constraints, to establish that certain amounts, measuring the undesired effects of the tasks executed to implement the process, are below given limits. In the current literature on Business Process Management, Business Process Analysis, and Business Process Compliance, this type of compliance checking process has not yet been addressed. As we demonstrate in this paper, this problem is significant and complex to address. In particular, we show that the checking problems described above are, under certain structural conditions, polynomially solvable on deterministic machines. In general, however, the first problem is NP-complete whilst the second is polynomially solvable on deterministic machines.

Id prodotto:

144225

Handle IRIS:

11562/1153827

ultima modifica:

6 febbraio 2025

Citazione bibliografica:

Workneh, Tewabe Chekole; Sala, Pietro; Rizzi, Romeo; Cristani, Matteo, Business Process Compliance with impact constraints «Information Systems» , vol. 129 , 2025 , pp. 1-37

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo