Trusted Compliance Checking on Blockchain with Commitments: A Model-Driven Approach

Marcello Bertolini, Giovanni Meroni*, Pierluigi Plebani

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 languageEnglish
Title of host publicationProceedings of Business Process Management Forum 2023
Volume490
PublisherSpringer
Publication date2023
Pages3-19
ISBN (Print)978-3-031-41622-4
ISBN (Electronic)978-3-031-41623-1
DOIs
Publication statusPublished - 2023
Event 21st Business Process Management Forum 2023 - Utrecht, Netherlands
Duration: 11 Sept 202315 Sept 2023

Conference

Conference 21st Business Process Management Forum 2023
Country/TerritoryNetherlands
CityUtrecht
Period11/09/202315/09/2023

Keywords

  • Runtime compliance checking
  • Commitments
  • Blockchain
  • Smart contracts
  • Choreography diagrams

Fingerprint

Dive into the research topics of 'Trusted Compliance Checking on Blockchain with Commitments: A Model-Driven Approach'. Together they form a unique fingerprint.

Cite this