@inproceedings{liu2025c,
  title     = {Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair},
  journal   = {Elsevier Journal of Blockchain: Research and Applications},
  booktitle = {Elsevier Journal of Blockchain: Research and Applications},
  year      = {2025},
  author    = {Liu, C. G. and Bodorik, P. and Jutla, D.},
  doi       = {https://doi.org/10.1016/j.bcra.2025.100285},
  keywords  = {Transactions, Blockchain, Smart Contracts, Trade of Goods and Services, Trade Transactions, Transactional Properties, Privacy, Transaction Mechanism, Recovery Procedures},
  abstract  = {In our previous research, we addressed the problem of automated transformation of models, represented using the Business Process Model and Notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN models that contain complex multi-step activities that are supported using our concept of multi-step nested trade transactions, wherein the transactional properties are enforced by a mechanism generated automatically by the transformation process from a BPMN model to a smart contract. In this paper, we present a methodology for repairing a smart contract that cannot be completed due to events arising that were not anticipated by the developer and thus prevent the completion of the smart contract. The repair process starts with the original BPMN model fragment causing the issue, providing a modeler with the innermost transaction fragment containing the failed activity. The modeler amends the BPMN pattern based on successful completion of previous activities. If repairs exceed the inner transaction’s scope, they are addressed using the parent transaction's BPMN model. The amended BPMN model is then transformed into a new smart contract(s), ensuring consistent data and logic transitions. Previously, we developed TABS+ as a Proof of Concept to transform BPMN models into smart contracts for nested transactions. This paper describes the tool TABS+R, developed by extending the TABS+ tool, to allow repair of smart contracts.},
  url       = {https://doi.org/10.1016/j.bcra.2025.100285}
}

{"_id":"n3SdmX2WvhFNAy78p","bibbaseid":"liu-bodorik-jutla-automatedmechanismtosupporttradetransactionsinsmartcontractswithupgradeandrepair-2025","author_short":["Liu, C. G.","Bodorik, P.","Jutla, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair","journal":"Elsevier Journal of Blockchain: Research and Applications","booktitle":"Elsevier Journal of Blockchain: Research and Applications","year":"2025","author":[{"propositions":[],"lastnames":["Liu"],"firstnames":["C.","G."],"suffixes":[]},{"propositions":[],"lastnames":["Bodorik"],"firstnames":["P."],"suffixes":[]},{"propositions":[],"lastnames":["Jutla"],"firstnames":["D."],"suffixes":[]}],"doi":"https://doi.org/10.1016/j.bcra.2025.100285","keywords":"Transactions, Blockchain, Smart Contracts, Trade of Goods and Services, Trade Transactions, Transactional Properties, Privacy, Transaction Mechanism, Recovery Procedures","abstract":"In our previous research, we addressed the problem of automated transformation of models, represented using the Business Process Model and Notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN models that contain complex multi-step activities that are supported using our concept of multi-step nested trade transactions, wherein the transactional properties are enforced by a mechanism generated automatically by the transformation process from a BPMN model to a smart contract. In this paper, we present a methodology for repairing a smart contract that cannot be completed due to events arising that were not anticipated by the developer and thus prevent the completion of the smart contract. The repair process starts with the original BPMN model fragment causing the issue, providing a modeler with the innermost transaction fragment containing the failed activity. The modeler amends the BPMN pattern based on successful completion of previous activities. If repairs exceed the inner transaction’s scope, they are addressed using the parent transaction's BPMN model. The amended BPMN model is then transformed into a new smart contract(s), ensuring consistent data and logic transitions. Previously, we developed TABS+ as a Proof of Concept to transform BPMN models into smart contracts for nested transactions. This paper describes the tool TABS+R, developed by extending the TABS+ tool, to allow repair of smart contracts.","url":"https://doi.org/10.1016/j.bcra.2025.100285","bibtex":"@inproceedings{liu2025c,\n title = {Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair},\n journal = {Elsevier Journal of Blockchain: Research and Applications},\n booktitle = {Elsevier Journal of Blockchain: Research and Applications},\n year = {2025},\n author = {Liu, C. G. and Bodorik, P. and Jutla, D.},\n doi = {https://doi.org/10.1016/j.bcra.2025.100285},\n keywords = {Transactions, Blockchain, Smart Contracts, Trade of Goods and Services, Trade Transactions, Transactional Properties, Privacy, Transaction Mechanism, Recovery Procedures},\n abstract = {In our previous research, we addressed the problem of automated transformation of models, represented using the Business Process Model and Notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN models that contain complex multi-step activities that are supported using our concept of multi-step nested trade transactions, wherein the transactional properties are enforced by a mechanism generated automatically by the transformation process from a BPMN model to a smart contract. In this paper, we present a methodology for repairing a smart contract that cannot be completed due to events arising that were not anticipated by the developer and thus prevent the completion of the smart contract. The repair process starts with the original BPMN model fragment causing the issue, providing a modeler with the innermost transaction fragment containing the failed activity. The modeler amends the BPMN pattern based on successful completion of previous activities. If repairs exceed the inner transaction’s scope, they are addressed using the parent transaction's BPMN model. The amended BPMN model is then transformed into a new smart contract(s), ensuring consistent data and logic transitions. Previously, we developed TABS+ as a Proof of Concept to transform BPMN models into smart contracts for nested transactions. This paper describes the tool TABS+R, developed by extending the TABS+ tool, to allow repair of smart contracts.},\n url = {https://doi.org/10.1016/j.bcra.2025.100285}\n}","author_short":["Liu, C. G.","Bodorik, P.","Jutla, D."],"key":"liu2025c","id":"liu2025c","bibbaseid":"liu-bodorik-jutla-automatedmechanismtosupporttradetransactionsinsmartcontractswithupgradeandrepair-2025","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.bcra.2025.100285"},"keyword":["Transactions","Blockchain","Smart Contracts","Trade of Goods and Services","Trade Transactions","Transactional Properties","Privacy","Transaction Mechanism","Recovery Procedures"],"metadata":{"authorlinks":{}},"downloads":5},"bibtype":"inproceedings","biburl":"https://web.cs.dal.ca/~chris/pubs_without_questionmarks.bib","dataSources":["gANGYNodd4CwCN2Cq"],"keywords":["transactions","blockchain","smart contracts","trade of goods and services","trade transactions","transactional properties","privacy","transaction mechanism","recovery procedures"],"search_terms":["automated","mechanism","support","trade","transactions","smart","contracts","upgrade","repair","liu","bodorik","jutla"],"title":"Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair","year":2025,"downloads":6}