Commitment-Based smart contracts using CommitRuleML

This dissertation concerns the design and validation of Commitment-Based Smart Contracts to facilitate the automated execution of eCommerce exchanges on the blockchain. The perspective of smart contracts is interesting, since they are considered to be autonomous agents, with the ability to generate automated actions. The Event Calculus is used as the formal logic to represent and reason about the effects of these automated actions and the resulting commitments.

-

Smart Contracts maken de automatische executie mogelijk van eCommerce transacties op de blockchain. Geredeneerd vanuit een ontologisch perspectief, smart contracts creëren en automatiseren de vervolmaking van sociale commitments tussen economische actoren. Waar traditionele deontische logica wordt gebruikt om tot een juridische bepaling te komen in contractuele interacties met meerdere actoren, richt deze dissertatie zich op de consequenties van deze acties als gevolg van deze juridische bepaling. De focus wordt hierbij verlegd van monitoring naar executie. De interacties tussen actoren en de gevolgen op het gebied van commitments zijn nog niet geformaliseerd voor smart contracts. Het perspectief van smart contracts is interessant, omdat ze worden gezien als autonome agents, in staat om zelfstandig acties uit te voeren. De Event Calculus is toegepast als formele logica voor de representatie en redenering van de effecten van deze automatische acties en de commitments waarop ze betrekking hebben. Gezien het feit dat de Event Calculus rekening houdt met lokale events en het concept van tijd, maakt deze aanpak een uniforme representatie van commitments mogelijk, inclusief de operationele werking en regels voor het redeneren hieromtrent.