10.2.2　模型驱动开发方法支撑智能合约的可交易性