TABS: Transforming automatically BPMN models into blockchain smart contracts
Research on blockchains addresses multiple issues, with one being the automated creation of smart contracts. Developing smart contract methods is more difficult than mainstream software development as the underlying blockchain infrastructure poses additional complexity. We report on a new approach t...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2023-03-01
|
| Series: | Blockchain: Research and Applications |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S2096720922000562 |
| _version_ | 1827971456953221120 |
|---|---|
| author | Peter Bodorik Christian Gang Liu Dawn Jutla |
| author_facet | Peter Bodorik Christian Gang Liu Dawn Jutla |
| author_sort | Peter Bodorik |
| collection | DOAJ |
| description | Research on blockchains addresses multiple issues, with one being the automated creation of smart contracts. Developing smart contract methods is more difficult than mainstream software development as the underlying blockchain infrastructure poses additional complexity. We report on a new approach to developing smart contracts with the objective of automating the process to increase developer efficiency and reduce the risk of errors introduced by software developers. To support industry adoption, we use Business Process Model and Notation (BPMN) modeling to describe an application while targeting applications in the trade vertical. We describe a system that transforms a BPMN model into a multi-modal model that combines Discrete Event (DE) modeling for concurrency with Hierarchical State Machines (HSMs) to represent application functionality. Then, further transformations are used to transform the DE-HSM model into methods in smart contracts. The system lets the modeler decide which of the independent patterns should be transformed into methods of a separate smart contract that is deployed on a sidechain for the purpose of (i) reducing processing costs and/or (ii) providing privacy so that other participants in the smart contract do not have visibility into the processing of the pattern. We also briefly describe a proof-of-concept tool we built to demonstrate the feasibility of our approach. |
| first_indexed | 2024-04-09T19:09:15Z |
| format | Article |
| id | doaj.art-7ad31dcca7a841a19a019da00bd61ca7 |
| institution | Directory Open Access Journal |
| issn | 2666-9536 |
| language | English |
| last_indexed | 2024-04-09T19:09:15Z |
| publishDate | 2023-03-01 |
| publisher | Elsevier |
| record_format | Article |
| series | Blockchain: Research and Applications |
| spelling | doaj.art-7ad31dcca7a841a19a019da00bd61ca72023-04-07T06:50:05ZengElsevierBlockchain: Research and Applications2666-95362023-03-0141100115TABS: Transforming automatically BPMN models into blockchain smart contractsPeter Bodorik0Christian Gang Liu1Dawn Jutla2Faculty of Computer Science, Dalhousie University, Halifax, NS B3H 4R2, Canada; Corresponding author.Faculty of Computer Science, Dalhousie University, Halifax, NS B3H 4R2, CanadaSobey School of Business, Saint Mary's University, Halifax, NS B3H 3C3, CanadaResearch on blockchains addresses multiple issues, with one being the automated creation of smart contracts. Developing smart contract methods is more difficult than mainstream software development as the underlying blockchain infrastructure poses additional complexity. We report on a new approach to developing smart contracts with the objective of automating the process to increase developer efficiency and reduce the risk of errors introduced by software developers. To support industry adoption, we use Business Process Model and Notation (BPMN) modeling to describe an application while targeting applications in the trade vertical. We describe a system that transforms a BPMN model into a multi-modal model that combines Discrete Event (DE) modeling for concurrency with Hierarchical State Machines (HSMs) to represent application functionality. Then, further transformations are used to transform the DE-HSM model into methods in smart contracts. The system lets the modeler decide which of the independent patterns should be transformed into methods of a separate smart contract that is deployed on a sidechain for the purpose of (i) reducing processing costs and/or (ii) providing privacy so that other participants in the smart contract do not have visibility into the processing of the pattern. We also briefly describe a proof-of-concept tool we built to demonstrate the feasibility of our approach.http://www.sciencedirect.com/science/article/pii/S2096720922000562BlockchainBusiness processes modeling notation (BPMN)Discrete event (DE) modelingFinite state machine (FSM)Hierarchical state machines (HSM)Smart contract |
| spellingShingle | Peter Bodorik Christian Gang Liu Dawn Jutla TABS: Transforming automatically BPMN models into blockchain smart contracts Blockchain: Research and Applications Blockchain Business processes modeling notation (BPMN) Discrete event (DE) modeling Finite state machine (FSM) Hierarchical state machines (HSM) Smart contract |
| title | TABS: Transforming automatically BPMN models into blockchain smart contracts |
| title_full | TABS: Transforming automatically BPMN models into blockchain smart contracts |
| title_fullStr | TABS: Transforming automatically BPMN models into blockchain smart contracts |
| title_full_unstemmed | TABS: Transforming automatically BPMN models into blockchain smart contracts |
| title_short | TABS: Transforming automatically BPMN models into blockchain smart contracts |
| title_sort | tabs transforming automatically bpmn models into blockchain smart contracts |
| topic | Blockchain Business processes modeling notation (BPMN) Discrete event (DE) modeling Finite state machine (FSM) Hierarchical state machines (HSM) Smart contract |
| url | http://www.sciencedirect.com/science/article/pii/S2096720922000562 |
| work_keys_str_mv | AT peterbodorik tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts AT christiangangliu tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts AT dawnjutla tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts |