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

Mario Ocampo-Pineda; Roberto Posenato; Francesca Zerbato

doi:10.1016/j.softx.2021.100939

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

Mario Ocampo-Pineda, Roberto Posenato (Corresponding author), Francesca Zerbato

Research output: Contribution to journal › Article › Academic › peer-review

5 Citations (Scopus)

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.

Original language	English
Article number	100939
Number of pages	8
Journal	SoftwareX
Volume	17
DOIs	https://doi.org/10.1016/j.softx.2021.100939
Publication status	Published - Jan 2022
Externally published	Yes

Keywords

BPMN
Dynamic controllability
Temporal constraint networks
Temporal process modeling

Access to Document

10.1016/j.softx.2021.100939

Cite this

@article{9ffdf4a515924f72aff5bb9819da82d4,

title = "TimeAwareBPMN-js: An editor and temporal verification tool for Time-Aware BPMN processes",

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.",

keywords = "BPMN, Dynamic controllability, Temporal constraint networks, Temporal process modeling",

author = "Mario Ocampo-Pineda and Roberto Posenato and Francesca Zerbato",

year = "2022",

month = jan,

doi = "10.1016/j.softx.2021.100939",

language = "English",

volume = "17",

journal = "SoftwareX",

issn = "2352-7110",

publisher = "Elsevier",

}

TY - JOUR

T1 - TimeAwareBPMN-js

T2 - An editor and temporal verification tool for Time-Aware BPMN processes

AU - Ocampo-Pineda, Mario

AU - Posenato, Roberto

AU - Zerbato, Francesca

PY - 2022/1

Y1 - 2022/1

N2 - 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.

AB - 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.

KW - BPMN

KW - Dynamic controllability

KW - Temporal constraint networks

KW - Temporal process modeling

UR - http://www.scopus.com/inward/record.url?scp=85120851724&partnerID=8YFLogxK

U2 - 10.1016/j.softx.2021.100939

DO - 10.1016/j.softx.2021.100939

M3 - Article

SN - 2352-7110

VL - 17

JO - SoftwareX

JF - SoftwareX

M1 - 100939

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this