@inproceedings{BODORIK2022100115,
  title        = {TABS: Transforming automatically BPMN models into blockchain smart contracts},
  journal      = {Elsevier Journal of Blockchain: Research and Applications},
  booktitle    = {Elsevier Journal of Blockchain: Research and Applications},
  volume       = {4, 100115},
  number       = {1},
  pages        = {1-26},
  year         = {2023},
  issn         = {2096-7209},
  doi          = {https://doi.org/10.1016/j.bcra.2022.100115},
  url_paper    = {https://www.sciencedirect.com/science/article/pii/S2096720922000562},
  url_download = {https://www.sciencedirect.com/science/article/pii/S2096720922000562},
  paper        = {https://www.sciencedirect.com/science/article/pii/S2096720922000562},
  author       = {Bodorik, P. and Liu, C. G. and B Jutla, D.},
  keywords     = {Blockchain, Business processes modeling notation (BPMN), Discrete event (DE) modeling, Finite state machine (FSM), Hierarchical state machines (HSM), Smart contract, Off-chain computation, Privacy, Smart contract interoperability},
  abstract     = {Research on blockchains addresses multiple issues, with one being 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 develop smart contracts with the objective to automate the process to increase developer efficiency and reduce risks 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 processing of the pattern. We also briefly describe a proof-of-concept tool we built to demonstrate the feasibility of our approach.},
  note         = {Impact Factor: 5.6, CiteScore: 11.3.}
}

{"_id":"6tC59iQEzXmaAoyqC","bibbaseid":"bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023","author_short":["Bodorik, P.","Liu, C. G.","B Jutla, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"TABS: Transforming automatically BPMN models into blockchain smart contracts","journal":"Elsevier Journal of Blockchain: Research and Applications","booktitle":"Elsevier Journal of Blockchain: Research and Applications","volume":"4, 100115","number":"1","pages":"1-26","year":"2023","issn":"2096-7209","doi":"https://doi.org/10.1016/j.bcra.2022.100115","url_paper":"https://www.sciencedirect.com/science/article/pii/S2096720922000562","url_download":"https://www.sciencedirect.com/science/article/pii/S2096720922000562","paper":"https://www.sciencedirect.com/science/article/pii/S2096720922000562","author":[{"propositions":[],"lastnames":["Bodorik"],"firstnames":["P."],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["C.","G."],"suffixes":[]},{"propositions":[],"lastnames":["B","Jutla"],"firstnames":["D."],"suffixes":[]}],"keywords":"Blockchain, Business processes modeling notation (BPMN), Discrete event (DE) modeling, Finite state machine (FSM), Hierarchical state machines (HSM), Smart contract, Off-chain computation, Privacy, Smart contract interoperability","abstract":"Research on blockchains addresses multiple issues, with one being 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 develop smart contracts with the objective to automate the process to increase developer efficiency and reduce risks 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 processing of the pattern. We also briefly describe a proof-of-concept tool we built to demonstrate the feasibility of our approach.","note":"Impact Factor: 5.6, CiteScore: 11.3.","bibtex":"@inproceedings{BODORIK2022100115,\n title = {TABS: Transforming automatically BPMN models into blockchain smart contracts},\n journal = {Elsevier Journal of Blockchain: Research and Applications},\n booktitle = {Elsevier Journal of Blockchain: Research and Applications},\n volume = {4, 100115},\n number = {1},\n pages = {1-26},\n year = {2023},\n issn = {2096-7209},\n doi = {https://doi.org/10.1016/j.bcra.2022.100115},\n url_paper = {https://www.sciencedirect.com/science/article/pii/S2096720922000562},\n url_download = {https://www.sciencedirect.com/science/article/pii/S2096720922000562},\n paper = {https://www.sciencedirect.com/science/article/pii/S2096720922000562},\n author = {Bodorik, P. and Liu, C. G. and B Jutla, D.},\n keywords = {Blockchain, Business processes modeling notation (BPMN), Discrete event (DE) modeling, Finite state machine (FSM), Hierarchical state machines (HSM), Smart contract, Off-chain computation, Privacy, Smart contract interoperability},\n abstract = {Research on blockchains addresses multiple issues, with one being 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 develop smart contracts with the objective to automate the process to increase developer efficiency and reduce risks 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 processing of the pattern. We also briefly describe a proof-of-concept tool we built to demonstrate the feasibility of our approach.},\n note = {Impact Factor: 5.6, CiteScore: 11.3.}\n}\n\n\n","author_short":["Bodorik, P.","Liu, C. G.","B Jutla, D."],"key":"BODORIK2022100115","id":"BODORIK2022100115","bibbaseid":"bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023","role":"author","urls":{" paper":"https://www.sciencedirect.com/science/article/pii/S2096720922000562"," download":"https://www.sciencedirect.com/science/article/pii/S2096720922000562"},"keyword":["Blockchain","Business processes modeling notation (BPMN)","Discrete event (DE) modeling","Finite state machine (FSM)","Hierarchical state machines (HSM)","Smart contract","Off-chain computation","Privacy","Smart contract interoperability"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://web.cs.dal.ca/~chris/pubs_without_questionmarks.bib","dataSources":["HHLbfBzYN6trpPQar","gANGYNodd4CwCN2Cq"],"keywords":["blockchain","business processes modeling notation (bpmn)","discrete event (de) modeling","finite state machine (fsm)","hierarchical state machines (hsm)","smart contract","off-chain computation","privacy","smart contract interoperability"],"search_terms":["tabs","transforming","automatically","bpmn","models","blockchain","smart","contracts","bodorik","liu","b jutla"],"title":"TABS: Transforming automatically BPMN models into blockchain smart contracts","year":2023,"downloads":3}