An introduction to commitment based smart contracts using ReactionRuleML

Abstract

Smart contracts gain rapid exposure since the inception of blockchain<br/>technology. Today's smart contracts are coded in non-mainstream<br/>procedural programming languages (e.g. Solidity for Ethereum),<br/>which lifts the requirement to draft enterprise ready smart contract to<br/>both a legal professional and a programmer instead of only the former.<br/>In search for a smart contract language that reduces the threshold to<br/>draft one, this conceptual paper elaborates how business logic can be<br/>converted to executable code for commitment-based smart contracts.<br/>Hereby, a contract is viewed as a set of reciprocal commitments. The<br/>smart contract ensures the automated execution of all or most of these<br/>commitments. In order to leverage its event processing capabilities,<br/>Reaction RuleML has been used to appropriately represent the<br/>elements and working of passive and active rules within a<br/>commitment based smart.