当前位置: X-MOL 学术Softw. Pract. Exp. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Integrated model‐driven engineering of blockchain applications for business processes and asset management
Software: Practice and Experience ( IF 3.5 ) Pub Date : 2020-11-09 , DOI: 10.1002/spe.2931
Qinghua Lu 1 , An Binh Tran 2 , Ingo Weber 3 , Hugo O'Connor 1 , Paul Rimba 2 , Xiwei Xu 1 , Mark Staples 1 , Liming Zhu 1 , Ross Jeffery 1
Affiliation  

Blockchain has attracted a broad range of interests from start-ups, enterprises and governments to build next generation applications in a decentralised manner. A typical class of applications uses blockchain for the management of cross-organisational business processes as well as assets. However, developing such applications without introducing vulnerabilities or bugs is hard for developers, not the least because the deployed code is immutable and can be called by anyone with access to the network. Model-driven engineering (MDE) helps to reduce those risks, by combining proven code snippets as per the model specification, which is typically easier to understand than source code with all its implications. Therefore, in this paper, we present an approach for integrated MDE across business processes and asset management. Business processes and asset management are integrated in that business processes can control assets, and assets can make use of business processes, e.g., for settlement. Our approach includes methods for fungible/non-fungible asset registration, escrow for conditional payment, and asset swap. The input models comprise business process models and fungible/non-fungible registry data schemas, while the generated smart contracts consist of business process execution smart contracts and standardised ERC-20/ERC-721 compliant asset registry smart contracts. The proposed MDE approach is implemented in a smart contract generation tool called Lorikeet, and evaluated in terms of feasibility, functional correctness, and cost effectiveness.

中文翻译:

用于业务流程和资产管理的区块链应用程序的集成模型驱动工程

区块链吸引了初创企业、企业和政府的广泛兴趣,以去中心化的方式构建下一代应用程序。一类典型的应用程序使用区块链来管理跨组织的业务流程和资产。然而,在不引入漏洞或错误的情况下开发此类应用程序对开发人员来说很难,尤其是因为部署的代码是不可变的,并且可以被任何有权访问网络的人调用。模型驱动工程 (MDE) 通过根据模型规范组合经过验证的代码片段来帮助降低这些风险,这通常比包含所有含义的源代码更容易理解。因此,在本文中,我们提出了一种跨业务流程和资产管理的集成 MDE 方法。业务流程和资产管理相结合,业务流程可以控制资产,资产可以利用业务流程,例如,用于结算。我们的方法包括可替代/不可替代资产注册、有条件支付托管和资产互换的方法。输入模型包括业务流程模型和可替代/不可替代的注册数据模式,而生成的智能合约由业务流程执行智能合约和符合 ERC-20/ERC-721 标准的资产注册智能合约组成。提议的 MDE 方法在名为 Lorikeet 的智能合约生成工具中实施,并根据可行性、功能正确性和成本效益进行评估。例如,为了结算。我们的方法包括可替代/不可替代资产注册、有条件支付托管和资产互换的方法。输入模型包括业务流程模型和可替代/不可替代的注册数据模式,而生成的智能合约由业务流程执行智能合约和符合 ERC-20/ERC-721 标准的资产注册智能合约组成。提议的 MDE 方法在名为 Lorikeet 的智能合约生成工具中实施,并根据可行性、功能正确性和成本效益进行评估。例如,为了结算。我们的方法包括可替代/不可替代资产注册、有条件支付托管和资产互换的方法。输入模型包括业务流程模型和可替代/不可替代的注册数据模式,而生成的智能合约由业务流程执行智能合约和符合 ERC-20/ERC-721 标准的资产注册智能合约组成。提议的 MDE 方法在名为 Lorikeet 的智能合约生成工具中实施,并根据可行性、功能正确性和成本效益进行评估。而生成的智能合约包括业务流程执行智能合约和符合 ERC-20/ERC-721 标准的资产注册智能合约。提议的 MDE 方法在名为 Lorikeet 的智能合约生成工具中实施,并根据可行性、功能正确性和成本效益进行评估。而生成的智能合约包括业务流程执行智能合约和符合 ERC-20/ERC-721 标准的资产注册智能合约。提议的 MDE 方法在名为 Lorikeet 的智能合约生成工具中实施,并根据可行性、功能正确性和成本效益进行评估。
更新日期:2020-11-09
down
wechat
bug