用 DCR 图刻画智能合约设计
软件工程
2023-09-19 v3 计算机与社会
形式语言与自动机理论
摘要
智能合约管理区块链资产并体现业务流程。然而，Solidity 等主流智能合约编程语言缺乏角色、动作依赖和时间的显式概念，这些概念是在程序代码中实现的。这使得智能合约的设计与分析非常困难。我们认为 DCR 图是智能合约的合适形式化工具，因为它们显式且可视化地捕捉了上述特征。我们利用这种表现力表明，代表智能合约应用中底层业务流程的许多常见高层设计模式可以用这种方式自然建模。应用这些模式表明，DCR 图通过提供清晰且易于理解的规约，促进了正确且可靠智能合约的开发与分析。
引用
@article{arxiv.2305.04581,
title = {Capturing Smart Contract Design with DCR Graphs},
author = {Mojtaba Eshghie and Wolfgang Ahrendt and Cyrille Artho and Thomas Troels Hildebrandt and Gerardo Schneider},
journal= {arXiv preprint arXiv:2305.04581},
year = {2023}
}
备注
Accepted for presentation at SEFM 2023