Existing smart contract development languages are unique to their related block chain platforms. Thus, multiple versions of the same smart contract must be developed for different block chains. This thesis presents a model-driven approach to smart contract development with automatic code generation. This approach encompasses a new XML-based programming language to develop smart contracts and a code generator that transforms those contracts to a platform-specific programming language. The XML-based language was discussed, and all supported constructs were illustrated. The code generation tool ...