Runtime verification for business processes utilizing the Bitcoin blockchain

Publikationstyp
Journal Article
Date Issued
2020-06
Sprache
English
Author(s)
Prybila, Christoph  
Schulte, Stefan  
Hochreiner, Christoph  
Weber, Ingo  
TORE-URI
http://hdl.handle.net/11420/11894
Journal
Future generation computer systems  
Volume
107
Start Page
816
End Page
831
Citation
Future Generation Computer Systems 107: 816-831 (2020)
Publisher DOI
10.1016/j.future.2017.08.024
Scopus ID
2-s2.0-85028355846
ArXiv ID
1706.04404v2
Publisher
Elsevier Science
The usage of process choreographies and decentralized Business Process Management Systems has been named as an alternative to centralized business process orchestration. In choreographies, control over a process instance is shared between independent parties, and no party has full control or knowledge during process runtime. Nevertheless, it is necessary to monitor and verify process instances during runtime for purposes of documentation, accounting, or compensation. To achieve business process runtime verification, this work explores the suitability of the Bitcoin blockchain to create a novel solution for choreographies. The resulting approach is realized in a fully-functional software prototype. This software solution is evaluated in a qualitative comparison. Findings show that our blockchain-based approach enables a seamless execution monitoring and verification of choreographies, while at the same time preserving anonymity and independence of the process participants. Furthermore, the prototype is evaluated in a performance analysis.
Subjects
Blockchain
Business process management
Choreographies
Runtime verification
Computer Science - Software Engineering
Computer Science - Software Engineering
Computer Science - Distributed; Parallel; and Cluster Computing
C.2.4; D.2; D.2.4; D.2.11
DDC Class
004: Informatik