Engineering Smart Contracts with Symboleo: A Progress Report.

Legal contracts have been used for millennia as a foundation for business transactions. Smart contracts are cyber-physical systems that deploy Internet-of-Things (IoT) and blockchain technologies to monitor, automate and control the execution of legal contracts. Because of the conceptual complexity of legal concepts and the tech-nologies deployed, developing smart contracts is a time-consuming and error-prone task. The aim of this project is to develop concepts, tools and methods for engineering smart contracts. The contribu-tions of the project consist of artifacts that are intended to make the engineering of smart contracts more systematic and robust. For each artifact, we discuss in the sequel what it contributes and refer to the literature for details.