Publications

Authors:

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

Title:

Introducing Agile Controllability in Temporal Business Processes

Year:

2024

Type of item:

Contributo in volume (Capitolo o Saggio)

Tipologia ANVUR:

Contributo in volume (Capitolo o Saggio)

Language:

Inglese

Format:

A Stampa

Book Title:

Enterprise, Business-Process and Information Systems Modeling

Publisher:

Springer Nature

ISBN:

9783031610066

Page numbers:

87-99

Keyword:

business processes, temporal constraints, agile controllability, oracles

Short description of contents:

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.

Product ID:

140009

Handle IRIS:

11562/1128027

Last Modified:

October 13, 2024

Bibliographic citation:

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