Treffer: SmartCML: A Visual Modeling Language to Enhance the Comprehensibility of Smart Contract Implementations

Part 2: Advances in Enterprise Modelling Techniques
One of the most notable capabilities of blockchain technology, exemplified by the Ethereum platform, is the decentralized execution of deterministic code, commonly referred to as smart contracts. This can be employed to develop business services that capitalize on the unique properties of blockchain technology, including the ability to maintain immutable, transparent, and persistent records on a distributed ledger. Nevertheless, even experts may find the process of writing smart contracts challenging. In addition to cost, optimization, and security concerns, it is essential to ensure that the smart contracts align with the business case and the associated rules. To address this issue, we propose SmartCML, a domain-specific visual modeling language to draft smart contracts, with the primary objective of facilitating the communication of the codified information among relevant stakeholders. The modeling language has been implemented using the ADOxx metamodeling platform. Smart contract models can then be transformed into fully functional code for the Ethereum virtual machine. The application of the modeling language is demonstrated with the help of two use cases.