Abstract: In recent years, advanced smart contract languages (ASCLs) have been proposed to solve the problem of difficult reading, comprehension, and collaboration when writing smart legal contracts ...

Abstract: Smart Contract and Blockchain are necessary for transactions in supply chain management. A smart contract is an agreement in the form of a cryptographic code digitally signed by the actors.