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

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