智能合約是近年來隨著區(qū)塊鏈技術(shù)興起而發(fā)展起來的一種程序設(shè)計(jì)、部署及運(yùn)行的新構(gòu)架,但目前仍缺少較為完備的面向法律智能合約語言。據(jù)此,文章對(duì)一種面向法律的智能合約描述語言—SPESC的規(guī)范化方法進(jìn)行了詳細(xì)介紹,它以類似于現(xiàn)實(shí)合同的結(jié)構(gòu)、類似自然語言的語法設(shè)計(jì)實(shí)現(xiàn)智能合約的編撰,明確定義了當(dāng)事人的義務(wù)和權(quán)利,制定了時(shí)間表達(dá)式規(guī)范及加密貨幣的交易規(guī)則,達(dá)到了提高合約法律性、便于法律人士與計(jì)算機(jī)人員協(xié)作合約開發(fā)、易于理解和使用的目的。 

【文章來源】：網(wǎng)絡(luò)空間安全. 2020,11(09)

【文章頁(yè)數(shù)】：8 頁(yè)

【部分圖文】：

SPESC語言用于商品購(gòu)買的示例

參與方示例

SPESC中表達(dá)式是指由數(shù)字、算符、符號(hào)、變量等已有意義排列方法所得的組合,它是構(gòu)成語句的基礎(chǔ)。SPESC語言表達(dá)式大致分為五類:邏輯表達(dá)式、關(guān)系表達(dá)式、運(yùn)算表達(dá)式、常數(shù)表達(dá)式、時(shí)間表達(dá)式。前四類與其它程序語言大致相同,但具有特有的時(shí)間表達(dá)式來描述合約中行為/動(dòng)作之間的相互時(shí)序關(guān)系,下面將重點(diǎn)對(duì)時(shí)間表達(dá)式規(guī)范加以介紹。在現(xiàn)實(shí)合約中,條款中的權(quán)利與義務(wù)往往是通過時(shí)間限制的,比如,買家必須在簽訂合約后的三天內(nèi)付款。所以時(shí)間表達(dá)對(duì)于合約條款條件的限定是非常重要的,因此,SPESC中建立了一系列時(shí)間表達(dá)式來更方便以及更準(zhǔn)確地表達(dá)時(shí)序關(guān)系。更嚴(yán)格地說,在SPESC語言中時(shí)間表達(dá)式是為了支持前置條件、后置條件和資產(chǎn)轉(zhuǎn)移的表達(dá),并包含時(shí)間常量、動(dòng)作完成時(shí)間、當(dāng)時(shí)時(shí)間等形式。


本文編號(hào)：2977879