Research on Smart Contract Verification and Generation Method Based on BPMN

Jun Jin, Le Yan, Yidan Zou, Jie Li and Zhen Yu ()
Additional contact information
Jun Jin: School of Information, Beijing Wuzi University, Beijing 101149, China
Le Yan: School of Information, Beijing Wuzi University, Beijing 101149, China
Yidan Zou: School of Information, Beijing Wuzi University, Beijing 101149, China
Jie Li: School of Information, Beijing Wuzi University, Beijing 101149, China
Zhen Yu: School of Information, Beijing Wuzi University, Beijing 101149, China

Mathematics, 2024, vol. 12, issue 14, 1-15

Abstract: The post-deployment challenges in developing and upgrading blockchain smart contracts necessitate a high level of accuracy in their development and business logic. However, current methodologies for verifying the business logic of smart contracts frequently fail to address their alignment with end-user business requirements. This paper introduces a two-step language transformation process to bridge this gap. Initially, we establish a transformation rule from the Business Process Model and Notation (BPMN) to Prolog, enabling the translation of business processes into a Prolog representation. This step not only validates the business process logic but also ensures it meets user specifications. Subsequently, we introduce a transformation rule from the BPMN to Go, which facilitates the transformation of the BPMN model, once validated, into a Go language smart contract. To enhance usability, we have engineered a dedicated tool that streamlines this transformation process. We present a case study involving a banking loan process to exemplify the utility of our tool in creating BPMN diagrams, conducting requirement and syntax validations, and effecting the transformation to Go smart contracts. The case study and empirical results suggest that our methodology and the accompanying tool mitigate the complexities inherent in smart contract development. They also ensure the fidelity of business logic to user demands, thereby promoting the broader adoption of blockchain smart contract technology.

Keywords: BPMN modeling; business logic validation; user requirements verification; smart contract generation; language transformation consistency (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2024
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/12/14/2158/pdf (application/pdf)
https://www.mdpi.com/2227-7390/12/14/2158/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:12:y:2024:i:14:p:2158-:d:1432232

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().