12 5.2智能合约的交易格式 软件服务的履行作为触发事件，发送给合约引擎执行智能合约中的服务条款，从而引发区块链中合约状 态的改变。合约状态改变将以区块链交易方式予以记录、通信与存证，可用于合约交易结算的过程。 表1所示的区块链交易存储结构中合约相关的字段主要包括Contract input和Contract output两部分，其 中，Contract input部分记录一次操作收到的输入参数：Contract output部分记录操作对结果的状态更新。将 Input和Output存储在一个交易中以保证操作原子性。假设本次交易表示为T,前一次合约协商或执行的交易 表示为T:-1,则T的lastTxid字段为前一次合约动作产生的交易号，即与交易T-1的txid相等。此外，partySig 动作执行方签名与partyPubList中的公钥匹配，以对操作的当事人身份进行验证。 表1合约交易存储结构 Table.1 Structure of the transaction storage in contract Field Description lastTxid Transaction ID of the last one Contract partySig Signature of current action from the input action Type Type of current action content Name and parameters of current act txid Current Transaction ID Contract contractData Storing data of latest contract state output partyPubList Public key list from the parties 6.基于智能合约的服务案例设计与实验评估 本文平台系统选取现代服务业中应用广泛的天气预报服务场景作为应用进行案例与流程设计。之后介绍 实验环境与方案，并给出系统运行过程和执行效率的实验结果。 contract ServiceCommission{ erm no:Provider can Commit(Servicel. party Consumer{ epin nol 2:Platform must Register(Service) account 0xCA35b7d9Ee6068dFe2F4E8fa3e. when Provider did commit(Service) certifcate:ID.0897905715458518311} while grant Service::useRight to Platform party Provider where renonsoode is 20d account OxluWDvekrPwA16pfAnBLY9U. term no2 1:Consumer can Request(Discover). certificate ID:91578043565079254} term no2 2:Platform must Discover party Platform when Consumer did request(Discover) o1nt:0x4W0897b07p9C45364D2HB. rticat I.01416002751350 while grant Service seRight to cor wher asset Eureka type Service andep :ServiceName is WeatherForecas se::ServiceLevel is ( //eureka- paths /register",labe eust Fores(tme location) patb: parameters:InstanceInf when Consumer did request(Forecast) path:/getInstance while withdraw price parametersservicel thod:"GET"H. where balance>=0 and reponse:code is 200. responses Arbitration termn:any controversy or claim arising out [code:204. of or relating to this contract,or the breach (coe:404, thereof.shall be administered by institution: rights ReiiingInternetcourt ownership: Contract conelusions not be modified in type Service{ thT-riea节 "Weather forecast server 1H. conversion from this contract to computer programs on smart contract platform,and approve that the cast"label "Forecast programs'implementation has the same legal effect. eterc time,location,method:"POST"] Signature of party Consumer printedName:Service consumer signature:0x583031D1xITy13aD41. date:2021/Apr/23rd rights[ Signature of party Provider onwnership:Provider} printedName:Service provider company fusufrust:Provider signature:0x98e2a14F02302140225u6k, price Money date:2021/Apr/23rd} serviceTimes Integer Signature of party Platform printedName:Service trading platform balance:Money signature:(x87k2s8576BDGafaBfb7q5z. maxTimes Integer date:2021/Apr/23rd 图I1 SPESC智能法律合约天气预报服务案例 Fig.11 Complete Example of SPESC Smart Legal Contract for Weather Forecast Service 6.1案例合约与流程设计 案例中使用SPESC语言描述的智能法律合约实现合同意思表示，如图11所示。服务提供方、消费方与12 5.2 智能合约的交易格式 软件服务的履行作为触发事件，发送给合约引擎执行智能合约中的服务条款，从而引发区块链中合约状 态的改变。合约状态改变将以区块链交易方式予以记录、通信与存证，可用于合约交易结算的过程。 表 1 所示的区块链交易存储结构中合约相关的字段主要包括 Contract input 和 Contract output 两部分，其 中，Contract input 部分记录一次操作收到的输入参数；Contract output 部分记录操作对结果的状态更新。将 Input 和 Output 存储在一个交易中以保证操作原子性。假设本次交易表示为𝑇𝑖，前一次合约协商或执行的交易 表示为𝑇𝑖−1，则𝑇𝑖的 lastTxid 字段为前一次合约动作产生的交易号，即与交易𝑇𝑖−1的 txid 相等。此外，partySig 动作执行方签名与 partyPubList 中的公钥匹配，以对操作的当事人身份进行验证。 表 1 合约交易存储结构 Table.1 Structure of the transaction storage in contract Field Description Contract input lastTxid Transaction ID of the last one partySig Signature of current action from the party actionType Type of current action content Name and parameters of current action Contract output txid Current Transaction ID contractData Storing data of latest contract state partyPubList Public key list from the parties 6. 基于智能合约的服务案例设计与实验评估 本文平台系统选取现代服务业中应用广泛的天气预报服务场景作为应用进行案例与流程设计。之后介绍 实验环境与方案，并给出系统运行过程和执行效率的实验结果。 6.1 案例合约与流程设计 案例中使用 SPESC 语言描述的智能法律合约实现合同意思表示，如图 11 所示。服务提供方、消费方与 图 11 SPESC 智能法律合约天气预报服务案例 Fig.11 Complete Example of SPESC Smart Legal Contract for Weather Forecast Service 录用稿件，非最终出版稿