KIT | KIT-Bibliothek | Impressum | Datenschutz

Validation of Smart Contracts Using Process Mining

Duchmann, Frank; Koschmider, Agnes

Abstract:

Smart contracts are self-executing contracts defining rules for negotiating, verifying the fulfillment of rules and executing the agreement using formal code. They run on top of a blockchain. Errors in smart contracts are costly and are mostly found too late after execution, which is too late for fixing. To improve the validation of executed smart contracts, this paper suggests a process mining based approach. For this, we present an approach for the extraction of meaningful event logs from a blockchain. The event log can be imported in any process mining tool and validation and verification techniques can be used allowing to diagnose (non)conformity in smart contracts by means of common quality measures and with low latency after smart contract execution.


Verlagsausgabe §
DOI: 10.5445/IR/1000092893
Veröffentlicht am 11.04.2019
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2019
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen-ID: 1000092893
Erschienen in ZEUS 2019, Workshop on Services and their Composition Proceedings of the 11th Central European Workshop on Services and their Composition, Bayreuth, Germany, February 14–15, 2019.
Verlag RWTH Aachen
Seiten 13-16
Serie CEUR workshop proceedings ; 2339
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page