在由业务流程模型与符号（BPMN）模型生成的智能合约中支持长期事务

为了减轻为分布式区块链应用编写智能合约的困难，与其他研究一样，我们提出将业务流程模型与符号（BPMN）模型转换为区块链智能合约。与其他研究不同，我们使用离散事件分层状态机（DE-HSM）多模态建模来识别需要由智能合约支持的协作贸易交易，并描述了可能嵌套的贸易交易如何由事务机制支持。我们描述了以下算法： 识别嵌套的贸易交易； 将BPMN模型转换为包含事务机制的区块链智能合约，以强制执行所识别贸易交易的事务属性。开发的概念验证表明，我们在隐私和跨链互操作性支持下将BPMN模型自动转换为智能合约的方法是可行的。该论文使用三个复杂程度不同的用例（即订单处理、供应链管理和多面贸易用例）检查并评估了自动生成的替代事务机制以支持此类交易。该研究丰富了关于区块链技术和智能合约的学术对话，并提出了未来研究的潜在途径。