将 BPMN 模型自动转换为具有嵌套协作事务的智能合约 (TABS+)
软件工程
2025-06-04 v1
摘要
区块链智能合约的开发比主流软件开发更困难，因为底层区块链基础设施带来了额外的复杂性。为了减轻开发者编写智能合约的任务，与其他研究工作一样，我们也使用业务流程模型与标记法（BPMN）建模来描述商品和服务交易的应用需求，然后将 BPMN 模型自动转换为智能合约的方法。在我们之前的研究中，我们描述了将 BPMN 模型自动转换为智能合约（TABS）的方法和工具。在本文中，我们描述了如何通过支持多个参与者的 BPMN 协作事务来增强 TABS 方法。我们的方法分析 BPMN 模型，以确定 BPMN 模型中的哪些模式适合用作协作事务。找到的适合作为事务的 BPMN 模式会展示给开发者，由开发者决定哪些应部署为协作事务。我们描述了我们的方法如何将 BPMN 模型自动转换为智能合约，该合约提供事务机制以强制执行嵌套事务的事务属性。我们的方法极大地减少了开发者的任务，因为协作活动的同步由我们的方法提供，因此开发者只需编写具有明确定义输入和输出的独立任务。我们还概述了我们构建的 TABS+ 工具作为概念验证，以表明我们的方法是可行的。最后，我们提供了支持嵌套 BPMN 协作事务的成本估计。
引用
@article{arxiv.2506.02727,
title = {Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)},
author = {Christian Gang Liu and Peter Bodorik and Dawn Jutla},
journal= {arXiv preprint arXiv:2506.02727},
year = {2025}
}
备注
Preprint. arXiv admin note: substantial text overlap with arXiv:2505.24309