Abstract
Blockchain and smart contracts are promising technologies to perform trusted compliance checking. By formalizing compliance rules with smart contract code and collecting information required to assess them on-chain, anyone can verify if a compliance violation occurred. To this aim, tools and techniques to execute business processes on-chain have been proposed. However, such techniques require the activities and the process data internal to an organization to be fully disclosed with all the participants. This may not be desirable for confidentiality reasons, and may also lead to high operational costs.This paper proposes a model-driven approach that uses a choreography diagram annotated with commitments to model compliance rules and to identify the message exchanges that are relevant for enforcing business agreements. The resulting diagram is used to generate the smart contract code required to perform compliance checking, limiting the information stored in the blockchain to the one strictly needed to evaluate the compliance rules.
Original language | English |
---|---|
Title of host publication | Proceedings of Business Process Management Forum 2023 |
Volume | 490 |
Publisher | Springer |
Publication date | 2023 |
Pages | 3-19 |
ISBN (Print) | 978-3-031-41622-4 |
ISBN (Electronic) | 978-3-031-41623-1 |
DOIs | |
Publication status | Published - 2023 |
Event | 21st Business Process Management Forum 2023 - Utrecht, Netherlands Duration: 11 Sept 2023 → 15 Sept 2023 |
Conference
Conference | 21st Business Process Management Forum 2023 |
---|---|
Country/Territory | Netherlands |
City | Utrecht |
Period | 11/09/2023 → 15/09/2023 |
Keywords
- Runtime compliance checking
- Commitments
- Blockchain
- Smart contracts
- Choreography diagrams