10.2.5 Corda合约模型