This paper presents TimeAwareBPMN-js, a graphical web-based editor for time-aware BPMN (Business Process Model and Notation) models that allows (1) creating and editing of BPMN processes enriched with temporal constraints, such as contingent durations and conditions, and (2) verifying that such constraints are well-defined and satisfy some (temporal) properties. The verification of temporal constraints is realized by plug-ins that can be easily added by the user thanks to the modular architecture of the application. Different plug-ins may verify different temporal properties. As a proof- of-concept, TimeAwareBPMN-js contains the CSTNU plug-in which verifies the dynamic controllability property, i.e., it checks, at design-time, whether there exists a run-time schedule for the process that satisfies all temporal constraints no matter how contingent durations and conditions are revealed during execution.

TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes

Ocampo-Pineda, Mario;Posenato, Roberto
;
2022

Abstract

This paper presents TimeAwareBPMN-js, a graphical web-based editor for time-aware BPMN (Business Process Model and Notation) models that allows (1) creating and editing of BPMN processes enriched with temporal constraints, such as contingent durations and conditions, and (2) verifying that such constraints are well-defined and satisfy some (temporal) properties. The verification of temporal constraints is realized by plug-ins that can be easily added by the user thanks to the modular architecture of the application. Different plug-ins may verify different temporal properties. As a proof- of-concept, TimeAwareBPMN-js contains the CSTNU plug-in which verifies the dynamic controllability property, i.e., it checks, at design-time, whether there exists a run-time schedule for the process that satisfies all temporal constraints no matter how contingent durations and conditions are revealed during execution.
BPMN, Temporal process modeling, Temporal constraint networks, Dynamic controllability
File in questo prodotto:
File Dimensione Formato  
timeAwareBPMN_publisheerVersion.pdf

accesso aperto

Tipologia: Versione dell'editore
Licenza: Creative commons
Dimensione 1.07 MB
Formato Adobe PDF
1.07 MB Adobe PDF Visualizza/Apri

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/1053756
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact