TY - GEN
T1 - A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies
AU - Brahem, Amina
AU - Henry, Tiphaine
AU - Bhiri, Sami
AU - Devogele, Thomas
AU - Laga, Nassim
AU - Messai, Nizar
AU - Sam, Yacine
AU - Gaaloul, Walid
AU - Benatallah, Boualem
N1 - Publisher Copyright:
© 2022, Springer Nature Switzerland AG.
PY - 2022/1/1
Y1 - 2022/1/1
N2 - Blockchain technologies have emerged to serve as a trust basis for the monitoring and execution of business processes, particularly business process choreographies. However, dealing with changes in smart contract-enabled business processes remains an open issue. For any required modification to an existing smart contract (SC), a new version of the SC with a new address is deployed on the blockchain and stored in a contract registry. Moreover, in a choreography, a change in a partner process might affect the processes of other partners. Thus, the change effect must be propagated to partners of the choreography affected by the change. In this paper, we propose a new approach overcoming the limitations of SCs and allowing for the change management of blockchain-enabled declarative business process choreographies modeled as DCR graphs. Our approach allows a partner in a running blockchain-based DCR choreography instance to change its private DCR process. A change impacting other partners is propagated to their affected processes using a SC. The change propagation mechanism ensures the compatibility checks between public DCR processes of the partners. We demonstrate the approach’s feasibility through an implemented prototype.
AB - Blockchain technologies have emerged to serve as a trust basis for the monitoring and execution of business processes, particularly business process choreographies. However, dealing with changes in smart contract-enabled business processes remains an open issue. For any required modification to an existing smart contract (SC), a new version of the SC with a new address is deployed on the blockchain and stored in a contract registry. Moreover, in a choreography, a change in a partner process might affect the processes of other partners. Thus, the change effect must be propagated to partners of the choreography affected by the change. In this paper, we propose a new approach overcoming the limitations of SCs and allowing for the change management of blockchain-enabled declarative business process choreographies modeled as DCR graphs. Our approach allows a partner in a running blockchain-based DCR choreography instance to change its private DCR process. A change impacting other partners is propagated to their affected processes using a SC. The change propagation mechanism ensures the compatibility checks between public DCR processes of the partners. We demonstrate the approach’s feasibility through an implemented prototype.
KW - Change propagation
KW - DCR graph
KW - Process choreography
KW - SC
U2 - 10.1007/978-3-031-16103-2_27
DO - 10.1007/978-3-031-16103-2_27
M3 - Conference contribution
AN - SCOPUS:85138817066
SN - 9783031161025
T3 - Lecture Notes in Computer Science
SP - 418
EP - 435
BT - Business Process Management - 20th International Conference, BPM 2022, Proceedings
A2 - Di Ciccio, Claudio
A2 - Dijkman, Remco
A2 - del Río Ortega, Adela
A2 - Rinderle-Ma, Stefanie
PB - Springer Science and Business Media Deutschland GmbH
T2 - 20th International Conference on Business Process Management, BPM 2022
Y2 - 11 September 2022 through 16 September 2022
ER -