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