面向跨组织流程协作的智能合约生成
软件工程
2023-03-17 v1
摘要
当前，跨组织流程协作（IOPC）已广泛应用于支持业务流程执行的分布式系统的设计与开发中。基于区块链的 IOPC 能够在参与者之间建立可信的数据共享，吸引了越来越多的关注。此类研究的核心是将图形化模型（如 BPMN）翻译为可在区块链环境中执行的称为智能合约的程序代码。在此背景下，一个恰当的智能合约对于基于区块链的 IOPC 的正确实现起着至关重要的作用。事实上，图形化模型的质量会影响智能合约的生成。存在问题的模型（如死锁）将导致不正确的合约（引发意外行为）。为避免这种不良实现，本文探索使用经过验证的形式化模型而非图形化模型作为输入来生成智能合约。具体而言，我们引入了一个支持智能合约自动生成的原型框架，提供从建模、验证、翻译到实现的端到端解决方案。该框架的核心之一是从消息交互的角度为 BPMN 协作模型提供基于 CSP# 的形式化。该形式化为图形化模型提供了精确的执行语义与模型验证，并为智能合约生成提供了经过验证的形式化模型。另一创新之处在于引入了基于语法树的翻译算法，将形式化模型直接映射为智能合约。所需的形式化、验证与翻译技术对用户透明，不带来额外负担。最后，一组实验表明了该框架的有效性。
引用
@article{arxiv.2303.09257,
title = {Smart Contract Generation for Inter-Organizational Process Collaboration},
author = {Tianhong Xiong and Shangqing Feng and Maolin Pan and Yang Yu},
journal= {arXiv preprint arXiv:2303.09257},
year = {2023}
}