由业务分析师将 BPMN 转换为智能合约
软件工程
2025-05-29 v1 密码学与安全
摘要
本文探讨了为使用业务流程管理与符号(BPMN)模型表示的应用程序创建智能合约的挑战。在我们之前的工作中,我们提出了一种从 BPMN 模型自动生成智能合约的方法。该方法抽象了 BPMN 流控制,使其独立于底层区块链基础设施,仅需对 BPMN 任务元素进行编码。在后续研究中,我们通过增加对嵌套事务的支持并启用智能合约修复和/或升级来增强我们的方法。为了使业务分析师能够在不依赖软件开发人员的情况下生成智能合约,我们解决了在没有软件开发人员协助下从 BPMN 模型生成智能合约的挑战。我们利用决策模型与符号(DMN)标准来表示 BPMN 任务元素的决策和业务逻辑,并修改了我们将 BPMN 模型转换为智能合约的方法,以同时支持生成脚本来表示由 DMN 模型表示的业务逻辑。为了支持这种转换,我们描述了业务分析师如何使用 BPMN 元素记录信息流以及执行流。因此,如果业务分析师成功使用 BPMN 和 DMN 模型表示了区块链应用需求,我们开发的概念验证工具 TABS 及其配套方法即可在无需开发人员协助的情况下,直接从这些模型生成智能合约。
引用
@article{arxiv.2505.22612,
title = {BPMN to Smart Contract by Business Analyst},
author = {C. G. Liu and P. Bodorik and D. Jutla},
journal= {arXiv preprint arXiv:2505.22612},
year = {2025}
}