Aiming at insufficient situation to express and operate assets in smart contracts, in this article we attempt to add a new asset model into smart contract language (such as SPESC) through combing method of asset's expressions and transactions in real-world contracts. Moreover, a translation mechanism can be set up to accomplish a conversion from the asset model to an executable contract program. On this basis, we propose a new language design toward asset-driven specific smart contracts, called TA-SPESC. This language complies with the structure of real-world contracts and supports a formal definition composed of four modules: Party, asset, term, and contract attribute. This asset model on it can be used to define various types of rights (including the right of ownership, use, possession, usufruct, and disposition of assets), as well as five asset operations (including asset registration, deposit, withdrawal, transfer, and cancellation) to effectively support asset transaction. More important, a series of generation rules are proposed to translate the TA-SPESC contract to an executable contract program. Moreover, taking house rental contract as an example, we provide a TA-SPESC instance and its specific description of translation process according to the generation rules, which supports a semiautomatic generation to executable programs. Finally, the Solidity codes derived from TA-SPESC contracts are run and tested, and the experiment and comparison results indicate that TA-SPESC contracts have high abstraction and low complexity, as well as versatility and convenience of asset transaction, which lead to more reliable software with less errors and fewer misunderstanding.

中文翻译：

---

TA-SPESC：迈向资产驱动的智能合约语言，支持区块链上的所有权交易和基于规则的生成

针对智能合约中资产表达和操作不足的情况，本文试图通过结合现实世界合约中资产的表达和交易的方法，将一种新的资产模型添加到智能合约语言（如 SPESC）中。此外，可以建立一个转换机制来完成从资产模型到可执行合约程序的转换。在此基础上，我们针对资产驱动的特定智能合约提出了一种新的语言设计，称为 TA-SPEC。该语言符合现实世界的合约结构，支持由四个模块组成的正式定义：Party、asset、term和contract attribute。其上的资产模型可用于定义各种类型的权利（包括资产的所有权、使用权、占有权、使用权和处置权），以及五项资产操作（包括资产登记、存入、提取、转移和注销），以有效支持资产交易。更重要的是，提出了一系列生成规则，将 TA-SPEC 合约转化为可执行的合约程序。此外，以房屋租赁合同为例，我们提供了一个TA-SPESC实例及其根据生成规则对翻译过程的具体描述，支持半自动生成可执行程序。最后，对TA-SPESC合约衍生的Solidity代码进行了运行测试，实验对比结果表明TA-SPESC合约具有高抽象性和低复杂度，以及资产交易的通用性和便捷性，