The increasing recognition of the need for integrating data and processes, both at conceptual and system levels, raises a new demand in standard-friendly, verifiable data-aware process modelling languages. So far, a few proposals in the area have been largely focusing on either uncharted approaches or conceptual proposals that would lack in tool support. In this work, we propose delta-BPMN – a verifiable operational framework for data-aware processes that employs (block-structured) BPMN to capture the process backbone, and a SQL-based language for representing and manipulating volatile and persistent data. We also propose a proof-of-concept implementation of delta-BPMN by realising the front-end part in Camunda and the back-end in a framework that translates language specifications into the executable code of a state-of-the-art SMT-based model checker.
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN / S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Business Process Management / [a cura di] A. Polyvyanyy, M. Thandar Wynn, A. Van Looy, M. Reichert. - [s.l] : Springer, 2021. - ISBN 978-3-030-85468-3. - pp. 179-196 (( Intervento presentato al 19. convegno International Conference, BPM 2021 tenutosi a Roma nel 2021 [10.1007/978-3-030-85469-0_13].
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN
S. Ghilardi;
2021
Abstract
The increasing recognition of the need for integrating data and processes, both at conceptual and system levels, raises a new demand in standard-friendly, verifiable data-aware process modelling languages. So far, a few proposals in the area have been largely focusing on either uncharted approaches or conceptual proposals that would lack in tool support. In this work, we propose delta-BPMN – a verifiable operational framework for data-aware processes that employs (block-structured) BPMN to capture the process backbone, and a SQL-based language for representing and manipulating volatile and persistent data. We also propose a proof-of-concept implementation of delta-BPMN by realising the front-end part in Camunda and the back-end in a framework that translates language specifications into the executable code of a state-of-the-art SMT-based model checker.File | Dimensione | Formato | |
---|---|---|---|
BPM21.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
993.66 kB
Formato
Adobe PDF
|
993.66 kB | Adobe PDF | Visualizza/Apri |
Ghilardi2021_Chapter_Delta-BPMNAConcreteLanguageAnd.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
928.25 kB
Formato
Adobe PDF
|
928.25 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.