Inproceedings3743: Unterschied zwischen den Versionen
Lb7022 (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Duchmann |ErsterAutorVorname=Frank }} {{Publikation Author |Rank=2 |Author=Agnes Koschmider }} {{Inproceedings…“) |
(kein Unterschied)
|
Aktuelle Version vom 10. Februar 2019, 14:51 Uhr
Validation of Smart Contracts Using Process Mining
Validation of Smart Contracts Using Process Mining
Published: 2019
Februar
Buchtitel: Central-European Workshop on Services and their Composition (ZEUS 2019)
Verlag: WS-CEUR
Nicht-referierte Veröffentlichung
Note: (to appear)
BibTeX
Kurzfassung
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 after execution, which is too late for fixing. To improve the validation of 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.
Betriebliche Informationssysteme