Companies increasingly adopt process-aware information systems (PAISs) to analyze, coordinate, and monitor their business processes.Although the proper handling of temporal constraints (e.g. deadlines, minimum time lags between activities) is crucial for many applications, contemporary PAISs lack a sophisticated support of the temporal perspective of business processes. In previous work, we introduced Conditional Simple Temporal Networks with Uncertainty (CSTNU) for checking controllability of time constraint networks with decision points.In particular, controllability refers to the ability of executing a time constraint network independent of the actual duration of its activities, while satisfying all temporal constraints.In this paper, we demonstrate how CSTNUs can be applied to time-aware business processes in order verify their controllability at design as well as at run time.In particular, we present an algorithm for ensuring the controllability of time-aware process instances during run time.Overall, proper run-time support of time-aware business processes will broaden the use of PAIS significantly.

Controllability of Time-Aware Processes at Run Time

POSENATO, Roberto;COMBI, Carlo;
2013

Abstract

Companies increasingly adopt process-aware information systems (PAISs) to analyze, coordinate, and monitor their business processes.Although the proper handling of temporal constraints (e.g. deadlines, minimum time lags between activities) is crucial for many applications, contemporary PAISs lack a sophisticated support of the temporal perspective of business processes. In previous work, we introduced Conditional Simple Temporal Networks with Uncertainty (CSTNU) for checking controllability of time constraint networks with decision points.In particular, controllability refers to the ability of executing a time constraint network independent of the actual duration of its activities, while satisfying all temporal constraints.In this paper, we demonstrate how CSTNUs can be applied to time-aware business processes in order verify their controllability at design as well as at run time.In particular, we present an algorithm for ensuring the controllability of time-aware process instances during run time.Overall, proper run-time support of time-aware business processes will broaden the use of PAIS significantly.
9783642410291
Process-Aware Information Systems; Temporal Perspective; Temporal Constraints; Process Execution; temporal controllability
File in questo prodotto:
File Dimensione Formato  
posenatoCoopis978-3-642-41030-7_4.pdf

solo utenti autorizzati

Descrizione: post-print
Tipologia: Documento in Post-print
Licenza: Accesso ristretto
Dimensione 1.09 MB
Formato Adobe PDF
1.09 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/610965
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 16
social impact