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.
Data-aware processes; BPMN; Model checking
Settore INF/01 - Informatica
Book Part (author)
File in questo prodotto:
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

Caricamento pubblicazioni consigliate

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