智能合约是在区块链和加密货币技术基础上发展出的在可信环境下管理数字资产、执行交易逻辑的协议。智能合约是一个跨学科的概念,创建智能合约需要将参与方协商达成一致的结果编译成计算机可执行代码。在这一过程中,需要考虑法律和金融等专家与程序员沟通问题、合约代码与法律对接的问题、代码逻辑安全性问题及智能合约语言表达能力等问题。因此为智能合约设计表达能力强、抽象层次高的规约语言,并构建普适性的系统执行模型可以更好的推广智能合约。目前智能合约编写过程中各领域专家对合约进行共识的达成与问题领域模型的建立没有形成普适的解决方案。针对这一问题,本课题开展了对智能合约从建模、设计、实现到应用的执行流程分析,引入领域特定语言DSL(Domain-Specific Language/DSL)优化创建智能合约时各领域专家对合同语义的规范协作这一过程。并通过对DSL的设计与实现,完成智能合约运行流程中合约层规约语言与执行层机器语言之间的映射关系。最后,通过设计面向应用场景的原型系统,论证了使用领域特定语言DSL描述智能合约的可编程性、可执行性、可信运行环境与可扩展性。首先,本课题对智能合约的执行逻辑、编程语言和调用方法进行分析,对智能合约系统执行流程建模,论证了使用DSL对智能合约进行快速定义和编写的可行性分析。然后,本课题提出了 DSL设计思想,通过约束条件的定义来使得DSL有更好的可读性和更高的抽象层次。并使用编译技术的方法和Antlr工具,完成对领域特定语言DSL解释器的实现,达到了 DSL在智能合约模型中可编程的目的。最后,课题使用Fabric作为智能合约的底层区块链运行环境,完成了整个原型系统的实现,并对其进行测试。通过实验完成了 DSL描述的合约文本与Fabric链码函数之间的映射,验证了设计的领域特定语言DSL的可执行性。