Pubblicazioni

Autori:

Posenato, Roberto; Franceschetti, Marco; Combi, Carlo; Eder, Johann

Titolo:

Introducing Agile Controllability in Temporal Business Processes

Anno:

2024

Tipologia prodotto:

Contributo in volume (Capitolo o Saggio)

Tipologia ANVUR:

Contributo in volume (Capitolo o Saggio)

Lingua:

Inglese

Formato:

A Stampa

Titolo libro:

Enterprise, Business-Process and Information Systems Modeling

Casa editrice:

Springer Nature

ISBN:

9783031610066

Intervallo pagine:

87-99

Parole chiave:

business processes, temporal constraints, agile controllability, oracles

Breve descrizione dei contenuti:

Dynamic controllability is currently regarded as the most adequate notion for checking the temporal correctness of business processes with temporal constraints when a process model includes uncontrollable activities whose duration is revealed at the time of activity completion. However, dynamic controllability cannot take advantage when an actual duration is revealed earlier, leading to unnecessary strict checks for temporal correctness. We propose a novel notion of agile controllability, which takes into account that uncontrollable durations are revealed earlier and that in a viable execution strategy, a time point may depend on time points whose value is known earlier. We formalize the notion of agile controllability and present an effective checking procedure evaluated by a software implementation within a publicly available modeling and checking software tool.

Id prodotto:

140009

Handle IRIS:

11562/1128027

ultima modifica:

13 ottobre 2024

Citazione bibliografica:

Posenato, Roberto; Franceschetti, Marco; Combi, Carlo; Eder, Johann, Introducing Agile Controllability in Temporal Business Processes Enterprise, Business-Process and Information Systems Modeling , Springer Nature , 2024 , pp. 87-99

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