%0 Conference Proceedings
%T Runtime Monitoring Processes Across Blockchains
%+ Göteborgs Universitet = University of Gothenburg (GU)
%+ University of Malta [Malta]
%A Azzopardi, Shaun
%A Ellul, Joshua
%A Pace, Gordon, J.
%Z Part 3: Networks
%< avec comité de lecture
%@ 978-3-030-89246-3
%( Lecture Notes in Computer Science
%B 9th International Conference on Fundamentals of Software Engineering (FSEN)
%C Virtual, Iran
%Y Hossein Hojjat
%Y Mieke Massink
%I Springer International Publishing
%3 Fundamentals of Software Engineering
%V LNCS-12818
%P 142-156
%8 2021-05-19
%D 2021
%R 10.1007/978-3-030-89247-0_10
%K Blockchain;Business processes;BPMN;Monitoring;Runtime verification
%Z Computer Science [cs]Conference papers
%X Business processes have been long researched, with many tools, languages, and diagrammatic notations having been developed for automation. Recently, distributed ledger technology (of which Blockchain is one type) has been proposed for use in the monitoring of business process compliance. Such a set-up is attractive since it allows for immutability and thus a perfect record of the history of the business process regulated.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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-04074524/document
%2 https://inria.hal.science/hal-04074524/file/506725_1_En_10_Chapter.pdf
%L hal-04074524
%U https://inria.hal.science/hal-04074524
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-12818