IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v12y2024i14p2158-d1432232.html
   My bibliography  Save this article

Research on Smart Contract Verification and Generation Method Based on BPMN

Author

Listed:
  • 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
    School of Computer Science and Engineering, Beihang University, Beijing 100191, China)

  • Zhen Yu

    (School of Information, Beijing Wuzi University, Beijing 101149, China)

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.

Suggested Citation

  • Jun Jin & Le Yan & Yidan Zou & Jie Li & Zhen Yu, 2024. "Research on Smart Contract Verification and Generation Method Based on BPMN," Mathematics, MDPI, vol. 12(14), pages 1-15, July.
  • Handle: RePEc:gam:jmathe:v:12:y:2024:i:14:p:2158-:d:1432232
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/12/14/2158/pdf
    Download Restriction: no

    File URL: https://www.mdpi.com/2227-7390/12/14/2158/
    Download Restriction: no
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:12:y:2024:i:14:p:2158-:d:1432232. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.