Abstract: A method for executable smart legal contract construction and execution over legal contracts includes several steps. 1) Use the specified smart contract language to formally represent attributes and terms in natural language contracts, further generate smart contracts. 2) Use the conversion rules over target language to translate the smart legal contracts into executable target language contracts. 3) Each of target language contracts is compiled, further encapsulated as a blockchain transaction which is issued into blockchain via consensus protocol. The deployment of the contracts is completed once the contracting parties sign the target language contracts. 4) Once term of the smart legal contract is triggered, the corresponding functions of the target language contract will be executed by the blockchain nodes, and the execution results are issued to blockchain in a blockchain transaction form. After validation, the transaction is stored into blockchain as an electronic certification of contract execution.