Runtime Monitoring Processes Across Blockchains
Paper in proceeding, 2021
As blockchain platforms mature and their applications increase, one can observe that instead of having one blockchain as a ‘one world computer’ multiple blockchains will co-exist while possibly interacting. Existing work for business processes within the blockchain domain have focused on single isolated blockchain implementations. In this paper, we do away with this severely limiting assumption and propose a method to monitor business processes spanning different blockchains and other off-chain servers. We apply this work to business processes expressed in BPMN along with annotations proposed for a blockchain context. We further describe how we handle blockchain interoperability by synthesizing automatically off-chain monitors, acting as notaries, that handle message passing between blockchain systems, and how we employ hash-locking for cryptographically secure token swapping.
Author
Shaun Azzopardi
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Joshua Ellul
University of Malta
Gordon J. Pace
University of Malta
Lecture Notes in Computer Science
0302-9743 (ISSN) 1611-3349 (eISSN)
Vol. 12818Virtual, Online, ,
Subject Categories (SSIF 2025)
Computer Sciences
DOI
10.1007/978-3-030-89247-0_10