智能合約是運(yùn)行在區(qū)塊鏈上的數(shù)字協(xié)議，智能合約的開發(fā)涉及計(jì)算機(jī)、金融、法律等多個(gè)領(lǐng)域，近年來高級(jí)智能合約語(yǔ)言已被提岀用于解決不同領(lǐng)域人員閱讀、交流與協(xié)同開發(fā)難的問題，然而上述語(yǔ)言與可執(zhí)行智能合約語(yǔ)言之間仍缺少有效的轉(zhuǎn)化方法。針對(duì)這一問題，本文設(shè)計(jì)了一種 SPESC到目標(biāo)程序語(yǔ)言（ Solidity）的轉(zhuǎn)化規(guī)則，并提出了一種包括高級(jí)智能合約層、智能合約層和機(jī)器代碼執(zhí)行層的三層智能合約系統(tǒng)框架。首先，轉(zhuǎn)化規(guī)則給出了根據(jù) SPESC合約當(dāng)事人定義生成目標(biāo)語(yǔ)言當(dāng)事人子合約、以及 SPESO其余部分生成目標(biāo)語(yǔ)言主體子合約之間的對(duì)應(yīng)關(guān)系;其次，除程序框架與存儲(chǔ)結(jié)構(gòu)外，目標(biāo)語(yǔ)言程序還包含當(dāng)事人人員管理、程序時(shí)序控制、異常檢測(cè)等機(jī)制，這些機(jī)制能輔助編程人員半自動(dòng)化地編寫智能合約程序;進(jìn)而，通過兩個(gè)實(shí)驗(yàn)驗(yàn)證了上述高級(jí)智能合約框架的易讀性以及轉(zhuǎn)換的正確性，第一個(gè)實(shí)驗(yàn)邀請(qǐng)了計(jì)算機(jī)與非計(jì)算機(jī)人員分組閱讀 Solidity和 SPESO的智能合約并回答問卷，結(jié)果表明閱讀 SPESO的速度約為閱讀 Solidity兩倍，準(zhǔn)確率也更高。然后以競(jìng)買合約為實(shí)例，給出根據(jù)上述轉(zhuǎn)化規(guī)則從 SPESO合約轉(zhuǎn)化到可執(zhí)行 Solidity合約語(yǔ)言程序，并通過以太坊私鏈部署運(yùn)行來驗(yàn)證轉(zhuǎn)化過程的正確性。實(shí)例表明上述轉(zhuǎn)化規(guī)則和系統(tǒng)框架可簡(jiǎn)化智能合約的編寫、規(guī)范智能合約的程序結(jié)構(gòu)、輔助編程人員驗(yàn)證代碼的正確性。