On the Automatic Generation of Smart Contracts with Access Control for Digital Health

Smart contracts automate medical workflows in healthcare blockchain-based applications. DAML, a smart contract language that supports cross-platform deployment with direct language features related to access control, has become more mainstream. To facilitate the development of DAML contracts, a higher-level modeling language (called iContractML) has been developed that allows the contract designers to diagrammatically define contracts. In this paper, we present a case study that utilizes an extended form of the iContractML language for the automatic DAML contract generation in the field of digital healthcare. The evaluation demonstrates that the generated contracts successfully implement all access control constraints; a core requirement to such healthcare applications.