var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://blockchain.cs.dal.ca/pubs_without_questionmarks.bib\",\"theme\":\"default\",\"jsonp\":\"1\",\"groupby\":\"year\",\"sort\":\"author_short\",\"urlLabel\":\"Paper\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Bodorik\"],\"firstnames\":[\"Peter\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"G.\",\"Liu\"],\"firstnames\":[\"Christian\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Julta\"],\"firstnames\":[\"Dawn\"],\"suffixes\":[]}],\"title\":\"Using FSMs to Find Patterns for Off-Chain Computing: Finding Patterns for Off-Chain Computing with FSMs\",\"year\":\"2021\",\"isbn\":\"9781450389624\",\"address\":\"New York, NY, USA\",\"url\":\"https://doi.org/10.1145/3460537.3460565\",\"doi\":\"10.1145/3460537.3460565\",\"abstract\":\"One of the problems arising in using blockchains is their size-constraints regarding performance. This paper proposes a new algorithm for blockchain software developers and architects to use for determining what computations of a smart contract can be effectively done off-chain without loss of trust. Our algorithm uses FSMs or HSMs in order to create smart contract patterns using graphs and then uses pattern recognition to identify which parts of the smart contracts should be considered for moving off-chain. The pattern recognition property used is that once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. The software developer reviews each pattern together with information, such as anticipated overhead cost due to off-chain execution, and she is provided with guidance on decision making whether to execute the smart contract pattern under consideration off-chain. Expert software developer inspection, in the context of a Trade Finance use case, validates that our algorithm finds optimal patterns for moving computations off-chain and improve blockchain software performance.\",\"booktitle\":\"2021 The 3rd ACM International Conference on Blockchain Technology\",\"pages\":\"28–34\",\"numpages\":\"7\",\"keywords\":\"FSM and HSM modeling, Blockchain developer productivity, Smart contract, Off-chain computation, Blockchain\",\"location\":\"Shanghai, China\",\"series\":\"ICBCT '21\",\"bibtex\":\"@inproceedings{10.1145/3460537.3460565,\\n  author    = {Bodorik, Peter and G. Liu, Christian and Julta, Dawn},\\n  title     = {Using FSMs to Find Patterns for Off-Chain Computing: Finding Patterns for Off-Chain Computing with FSMs},\\n  year      = {2021},\\n  isbn      = {9781450389624},\\n  address   = {New York, NY, USA},\\n  url       = {https://doi.org/10.1145/3460537.3460565},\\n  doi       = {10.1145/3460537.3460565},\\n  abstract  = {One of the problems arising in using blockchains is their size-constraints regarding performance. This paper proposes a new algorithm for blockchain software developers and architects to use for determining what computations of a smart contract can be effectively done off-chain without loss of trust. Our algorithm uses FSMs or HSMs in order to create smart contract patterns using graphs and then uses pattern recognition to identify which parts of the smart contracts should be considered for moving off-chain. The pattern recognition property used is that once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. The software developer reviews each pattern together with information, such as anticipated overhead cost due to off-chain execution, and she is provided with guidance on decision making whether to execute the smart contract pattern under consideration off-chain. Expert software developer inspection, in the context of a Trade Finance use case, validates that our algorithm finds optimal patterns for moving computations off-chain and improve blockchain software performance.},\\n  booktitle = {2021 The 3rd ACM International Conference on Blockchain Technology},\\n  pages     = {28–34},\\n  numpages  = {7},\\n  keywords  = {FSM and HSM modeling, Blockchain developer productivity, Smart contract, Off-chain computation, Blockchain},\\n  location  = {Shanghai, China},\\n  series    = {ICBCT '21}\\n}\\n\\n\\n\\n\",\"author_short\":[\"Bodorik, P.\",\"G. Liu, C.\",\"Julta, D.\"],\"key\":\"10.1145/3460537.3460565\",\"id\":\"10.1145/3460537.3460565\",\"bibbaseid\":\"bodorik-gliu-julta-usingfsmstofindpatternsforoffchaincomputingfindingpatternsforoffchaincomputingwithfsms-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3460537.3460565\"},\"keyword\":[\"FSM and HSM modeling\",\"Blockchain developer productivity\",\"Smart contract\",\"Off-chain computation\",\"Blockchain\"],\"metadata\":{\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"TABS: Transforming automatically BPMN models into blockchain smart contracts\",\"journal\":\"Journal of Blockchain: Research and Applications\",\"booktitle\":\"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.\",\"bibtex\":\"@inproceedings{BODORIK2022100115,\\n  title        = {TABS: Transforming automatically BPMN models into blockchain smart contracts},\\n  journal      = {Journal of Blockchain: Research and Applications},\\n  booktitle    = {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}\\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\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)\",\"journal\":\"ACM Journal Distributed Ledger Technologies: Research and Practice\",\"booktitle\":\"ACM Journal Distributed Ledger Technologies: Research and Practice\",\"year\":\"2024\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Liu\"],\"firstnames\":[\"C.\",\"G.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bodorik\"],\"firstnames\":[\"P.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"B\",\"Jutla\"],\"firstnames\":[\"D.\"],\"suffixes\":[]}],\"doi\":\"https://doi.org/10.1145/3654802\",\"url_paper\":\"https://doi.org/10.1145/3654802\",\"paper\":\"https://doi.org/10.1145/3654802\",\"url_download\":\"https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf\",\"bibtex\":\"@inproceedings{liu_2023_03_DLT,\\n  title     = {Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)},\\n  journal   = {ACM Journal Distributed Ledger Technologies: Research and Practice},\\n  booktitle = {ACM Journal Distributed Ledger Technologies: Research and Practice},\\n  year      = {2024},\\n  author    = {Liu, C. G. and Bodorik, P. and B Jutla, D.},\\n  doi          = {https://doi.org/10.1145/3654802},\\n  url_paper    = {https://doi.org/10.1145/3654802},\\n  paper        = {https://doi.org/10.1145/3654802},\\n  url_download = {https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf}\\n}\\n\",\"author_short\":[\"Liu, C. G.\",\"Bodorik, P.\",\"B Jutla, D.\"],\"key\":\"liu_2023_03_DLT\",\"id\":\"liu_2023_03_DLT\",\"bibbaseid\":\"liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024\",\"role\":\"author\",\"urls\":{\" paper\":\"https://doi.org/10.1145/3654802\",\" download\":\"https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf\"},\"metadata\":{\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Liu\"],\"firstnames\":[\"Christian\",\"Gang\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bodorik\"],\"firstnames\":[\"Peter\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Jutla\"],\"firstnames\":[\"Dawn\"],\"suffixes\":[]}],\"booktitle\":\"2022 Fourth International Conference on Blockchain Computing and Applications (BCCA)\",\"title\":\"Supporting Long-term Transactions in Smart Contracts\",\"year\":\"2022\",\"pages\":\"11-19\",\"volume\":\"\",\"number\":\"\",\"doi\":\"10.1109/BCCA55292.2022.9922193\",\"url_paper\":\"https://ieeexplore.ieee.org/document/9922193\",\"url_download\":\"https://web.cs.dal.ca/~gang/BCCA/\",\"paper\":\"https://ieeexplore.ieee.org/document/9922193\",\"bibtex\":\"@inproceedings{9922193,\\n  author       = {Liu, Christian Gang and Bodorik, Peter and Jutla, Dawn},\\n  booktitle    = {2022 Fourth International Conference on Blockchain Computing and Applications (BCCA)},\\n  title        = {Supporting Long-term Transactions in Smart Contracts},\\n  year         = {2022},\\n  pages        = {11-19},\\n  volume       = {},\\n  number       = {},\\n  doi          = {10.1109/BCCA55292.2022.9922193},\\n  url_paper    = {https://ieeexplore.ieee.org/document/9922193},\\n  url_download = {https://web.cs.dal.ca/~gang/BCCA/},\\n  paper        = {https://ieeexplore.ieee.org/document/9922193}\\n}\\n\\n\",\"author_short\":[\"Liu, C. G.\",\"Bodorik, P.\",\"Jutla, D.\"],\"key\":\"9922193\",\"id\":\"9922193\",\"bibbaseid\":\"liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022\",\"role\":\"author\",\"urls\":{\" paper\":\"https://ieeexplore.ieee.org/document/9922193\",\" download\":\"https://web.cs.dal.ca/~gang/BCCA/\"},\"metadata\":{\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling\",\"volume\":\"13, No. 3\",\"issn\":\"1798-2340\",\"url\":\"http://www.jait.us/index.php?m=content&c=index&a=show&catid=217&id=1219\",\"doi\":\"10.12720/jait.13.3.213-223\",\"abstract\":\"The power and correctness of smart contracts have been the focus of much research. We propose a new approach for developing smart contracts that uses multi-modal modeling to represent the application logic for the trade domain. We use discrete events modeling for concurrency combined with FSM modeling to use concurrent FSMs to not only simplify the design process for the modeler, but also to scale the application running on a blockchain and facilitate identifying parts of a smart program that are suitable for off-chain processing on a sidechain that also provides privacy. In addition, we achieve separation of concerns between (a) application logic and (b) its transformation into a smart contract and deployment on a blockchain with processing of selected patterns on private sidechains. We transform the model into a smart contract automatically, such that patterns, selected by the modeler, are deployed on a sidechain. The interface for the mainchain to sidechain interaction is also prepared and deployed automatically.\",\"pages\":\"213–223\",\"journaltitle\":\"10.12720/jait\",\"shortjournal\":\"JAIT is a scientific open access journal which focuses on empirical research results and critical analysis of technology development, use, management and impacts in information technology.\",\"booktitle\":\"Journal of Advances in Information Technology (JAIT)\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Liu\"],\"firstnames\":[\"C.\",\"G.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bodorik\"],\"firstnames\":[\"P.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Jutla\"],\"firstnames\":[\"D.\"],\"suffixes\":[]}],\"year\":\"2022\",\"bibtex\":\"@inproceedings{liu_automating_2021,\\n  title        = {Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling},\\n  volume       = {13, No. 3},\\n  issn         = {1798-2340},\\n  url          = {http://www.jait.us/index.php?m=content&c=index&a=show&catid=217&id=1219},\\n  doi          = {10.12720/jait.13.3.213-223},\\n  abstract     = {The power and correctness of smart contracts have been the focus of much research. We propose a new approach for developing smart contracts that uses multi-modal modeling to represent the application logic for the trade domain. We use discrete events modeling for concurrency combined with {FSM} modeling to use concurrent {FSMs} to not only simplify the design process for the modeler, but also to scale the application running on a blockchain and facilitate identifying parts of a smart program that are suitable for off-chain processing on a sidechain that also provides privacy. In addition, we achieve separation of concerns between (a) application logic and (b) its transformation into a smart contract and deployment on a blockchain with processing of selected patterns on private sidechains. We transform the model into a smart contract automatically, such that patterns, selected by the modeler, are deployed on a sidechain. The interface for the mainchain to sidechain interaction is also prepared and deployed automatically.},\\n  pages        = {213--223},\\n  journaltitle = {10.12720/jait},\\n  shortjournal = {{JAIT} is a scientific open access journal which focuses on empirical research results and critical analysis of technology development, use, management and impacts in information technology.},\\n  booktitle    = {Journal of Advances in Information Technology (JAIT)},\\n  author       = {Liu, C. G. and Bodorik, P. and Jutla, D.},\\n  year         = {2022}\\n}\\n\\n\\n\\n\",\"author_short\":[\"Liu, C. G.\",\"Bodorik, P.\",\"Jutla, D.\"],\"key\":\"liu_automating_2021\",\"id\":\"liu_automating_2021\",\"bibbaseid\":\"liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"http://www.jait.us/index.php?m=content&c=index&a=show&catid=217&id=1219\"},\"metadata\":{\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Long-Term Blockchain Transactions Spanning Multiplicity of Smart Contract Methods\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Liu\"],\"firstnames\":[\"C.\",\"G.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bodorik\"],\"firstnames\":[\"P.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Jutla\"],\"firstnames\":[\"D.\"],\"suffixes\":[]}],\"booktitle\":\"Springer BlockSys: Blockchain and Trustworthy Systems\",\"year\":\"2023\",\"pages\":\"141-155\",\"doi\":\"https://doi.org/10.1007/978-981-99-8104-5\",\"isbn\":\"978-981-99-8103-8\",\"eisbn\":\"978-981-99-8104-5\",\"bibtex\":\"@inproceedings{liu2023longterm,\\n  title     = {Long-Term Blockchain Transactions Spanning Multiplicity of Smart Contract Methods},\\n  author    = {Liu, C. G. and Bodorik, P. and Jutla, D.},\\n  booktitle = {Springer BlockSys: Blockchain and Trustworthy Systems},\\n  year      = {2023},\\n  pages     = {141-155},\\n  doi       = {https://doi.org/10.1007/978-981-99-8104-5},\\n  isbn      = {978-981-99-8103-8},\\n  eisbn     = {978-981-99-8104-5}\\n}\\n\\n\",\"author_short\":[\"Liu, C. G.\",\"Bodorik, P.\",\"Jutla, D.\"],\"key\":\"liu2023longterm\",\"id\":\"liu2023longterm\",\"bibbaseid\":\"liu-bodorik-jutla-longtermblockchaintransactionsspanningmultiplicityofsmartcontractmethods-2023\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Liu\"],\"firstnames\":[\"Chris\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bodorik\"],\"firstnames\":[\"Peter\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Jutla\"],\"firstnames\":[\"Dawn\"],\"suffixes\":[]}],\"booktitle\":\"2021 International Conference on Engineering and Emerging Technologies (ICEET)\",\"title\":\"From BPMN to smart contracts on blockchains: Transforming BPMN to DE-HSM multi-modal model\",\"year\":\"2021\",\"volume\":\"\",\"number\":\"\",\"pages\":\"1-7\",\"abstract\":\"Scalability, privacy, and interoperability are some of the major issues receiving attention in research on blockchain technologies. We concentrate on the trade finance vertical for which we develop a new modeling approach with the objective of automatic transformation of an application, represented using Business Process Model and Notation (BPMN), into a smart contract deployed on a blockchain. Here, we describe how the BPMN model is transformed into a multimodal model that combines DE-HSM modeling. We provide a high-level overview of the method and review how BPMN categories of elements are transformed into a multi-modal DE-HSM model. We also describe briefly how the DE-FMS model is automatically transformed into deployable smart contracts that interact to form a distributed application: The smart contract deployed on the main blockchain coordinates activities amongst the business partners and interoperates with smart contracts, also automatically prepared and deployed on a sidechain(s), with one smart contract per individual business partner. Privacy is obtained by performing activities, which are not germane to the collaboration with the other business partners but deal with the private activities of the individual business partner, in a smart contract deployed and executed on a side chain. We thus provide for interoperability of smart contracts and privacy as private activities of a business partner are performed in a smart contract on a private sidechain.\",\"keywords\":\"\",\"doi\":\"10.1109/ICEET53442.2021.9659771\",\"issn\":\"2409-2983\",\"month\":\"Oct\",\"url_paper\":\"https://ieeexplore.ieee.org/document/9659771\",\"url_download\":\"https://web.cs.dal.ca/~gang/ICEET/\",\"paper\":\"https://ieeexplore.ieee.org/document/9659771\",\"bibtex\":\"@inproceedings{9659771,\\n  author       = {Liu, Chris and Bodorik, Peter and Jutla, Dawn},\\n  booktitle    = {2021 International Conference on Engineering and Emerging Technologies (ICEET)},\\n  title        = {From BPMN to smart contracts on blockchains: Transforming BPMN to DE-HSM multi-modal model},\\n  year         = {2021},\\n  volume       = {},\\n  number       = {},\\n  pages        = {1-7},\\n  abstract     = {Scalability, privacy, and interoperability are some of the major issues receiving attention in research on blockchain technologies. We concentrate on the trade finance vertical for which we develop a new modeling approach with the objective of automatic transformation of an application, represented using Business Process Model and Notation (BPMN), into a smart contract deployed on a blockchain. Here, we describe how the BPMN model is transformed into a multimodal model that combines DE-HSM modeling. We provide a high-level overview of the method and review how BPMN categories of elements are transformed into a multi-modal DE-HSM model. We also describe briefly how the DE-FMS model is automatically transformed into deployable smart contracts that interact to form a distributed application: The smart contract deployed on the main blockchain coordinates activities amongst the business partners and interoperates with smart contracts, also automatically prepared and deployed on a sidechain(s), with one smart contract per individual business partner. Privacy is obtained by performing activities, which are not germane to the collaboration with the other business partners but deal with the private activities of the individual business partner, in a smart contract deployed and executed on a side chain. We thus provide for interoperability of smart contracts and privacy as private activities of a business partner are performed in a smart contract on a private sidechain.},\\n  keywords     = {},\\n  doi          = {10.1109/ICEET53442.2021.9659771},\\n  issn         = {2409-2983},\\n  month        = {Oct},\\n  url_paper    = {https://ieeexplore.ieee.org/document/9659771},\\n  url_download = {https://web.cs.dal.ca/~gang/ICEET/},\\n  paper        = {https://ieeexplore.ieee.org/document/9659771}\\n}\\n\\n\",\"author_short\":[\"Liu, C.\",\"Bodorik, P.\",\"Jutla, D.\"],\"key\":\"9659771\",\"id\":\"9659771\",\"bibbaseid\":\"liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021\",\"role\":\"author\",\"urls\":{\" paper\":\"https://ieeexplore.ieee.org/document/9659771\",\" download\":\"https://web.cs.dal.ca/~gang/ICEET/\"},\"metadata\":{\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Liu\"],\"firstnames\":[\"Christian\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bodorik\"],\"firstnames\":[\"Peter\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Jutla\"],\"firstnames\":[\"Dawn\"],\"suffixes\":[]}],\"title\":\"A Tool for Moving Blockchain Computations Off-Chain\",\"year\":\"2021\",\"isbn\":\"9781450384001\",\"address\":\"New York, NY, USA\",\"url\":\"https://doi.org/10.1145/3457337.3457848\",\"doi\":\"10.1145/3457337.3457848\",\"abstract\":\"This paper proposes a new approach and tool for blockchain software developers and architects to use for determining which computations of a smart contract can be effectively done off-chain without loss of trust and how they can be moved off-chain automatically. Our approach uses Finite State Machines (FSMs) and Hierarchical State Machines (HSMs) modeling in order to create smart contract patterns using graphs and then use pattern properties to identify which parts of the smart contracts should be considered for moving off-chain. Once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. This paper further describes a tool for (1) FSM input and visualization, its analysis, and automatic transformation into a smart contract, and (2) an interface to support the developers' decision to optimally off-chain computations and to (3) define the communications between on-chain and off-chain computations.\",\"booktitle\":\"Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure\",\"pages\":\"103–109\",\"numpages\":\"7\",\"keywords\":\"hierarchical state machine, blockchain, HSM, simple-graph, off-chain computation, transformation of FSM to smart contract, smart contract, FSM model\",\"location\":\"Virtual Event, Hong Kong\",\"series\":\"BSCI '21\",\"bibtex\":\"@inproceedings{10.1145/3457337.3457848,\\n  author    = {Liu, Christian and Bodorik, Peter and Jutla, Dawn},\\n  title     = {A Tool for Moving Blockchain Computations Off-Chain},\\n  year      = {2021},\\n  isbn      = {9781450384001},\\n  address   = {New York, NY, USA},\\n  url       = {https://doi.org/10.1145/3457337.3457848},\\n  doi       = {10.1145/3457337.3457848},\\n  abstract  = {This paper proposes a new approach and tool for blockchain software developers and architects to use for determining which computations of a smart contract can be effectively done off-chain without loss of trust and how they can be moved off-chain automatically. Our approach uses Finite State Machines (FSMs) and Hierarchical State Machines (HSMs) modeling in order to create smart contract patterns using graphs and then use pattern properties to identify which parts of the smart contracts should be considered for moving off-chain. Once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. This paper further describes a tool for (1) FSM input and visualization, its analysis, and automatic transformation into a smart contract, and (2) an interface to support the developers' decision to optimally off-chain computations and to (3) define the communications between on-chain and off-chain computations.},\\n  booktitle = {Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure},\\n  pages     = {103–109},\\n  numpages  = {7},\\n  keywords  = {hierarchical state machine, blockchain, HSM, simple-graph, off-chain computation, transformation of FSM to smart contract, smart contract, FSM model},\\n  location  = {Virtual Event, Hong Kong},\\n  series    = {BSCI '21}\\n}\\n\\n\",\"author_short\":[\"Liu, C.\",\"Bodorik, P.\",\"Jutla, D.\"],\"key\":\"10.1145/3457337.3457848\",\"id\":\"10.1145/3457337.3457848\",\"bibbaseid\":\"liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3457337.3457848\"},\"keyword\":[\"hierarchical state machine\",\"blockchain\",\"HSM\",\"simple-graph\",\"off-chain computation\",\"transformation of FSM to smart contract\",\"smart contract\",\"FSM model\"],\"metadata\":{\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\"html\":\"\"}],\n      metadata: {\"owner\":\"bodorik, p\",\"authorlinks\":{\"bodorik, p\":\"https://blockchain.cs.dal.ca/\"}},\n      ownerID: \"3TEDthKi5xxbZZBGZ\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"pubs_without_questionmarks.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7MTAuMTE0NS8zNDYwNTM3LjM0NjA1NjUsCiAgYXV0aG9yICAgID0ge0JvZG9yaWssIFBldGVyIGFuZCBHLiBMaXUsIENocmlzdGlhbiBhbmQgSnVsdGEsIERhd259LAogIHRpdGxlICAgICA9IHtVc2luZyBGU01zIHRvIEZpbmQgUGF0dGVybnMgZm9yIE9mZi1DaGFpbiBDb21wdXRpbmc6IEZpbmRpbmcgUGF0dGVybnMgZm9yIE9mZi1DaGFpbiBDb21wdXRpbmcgd2l0aCBGU01zfSwKICB5ZWFyICAgICAgPSB7MjAyMX0sCiAgaXNibiAgICAgID0gezk3ODE0NTAzODk2MjR9LAogIGFkZHJlc3MgICA9IHtOZXcgWW9yaywgTlksIFVTQX0sCiAgdXJsICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzM0NjA1MzcuMzQ2MDU2NX0sCiAgZG9pICAgICAgID0gezEwLjExNDUvMzQ2MDUzNy4zNDYwNTY1fSwKICBhYnN0cmFjdCAgPSB7T25lIG9mIHRoZSBwcm9ibGVtcyBhcmlzaW5nIGluIHVzaW5nIGJsb2NrY2hhaW5zIGlzIHRoZWlyIHNpemUtY29uc3RyYWludHMgcmVnYXJkaW5nIHBlcmZvcm1hbmNlLiBUaGlzIHBhcGVyIHByb3Bvc2VzIGEgbmV3IGFsZ29yaXRobSBmb3IgYmxvY2tjaGFpbiBzb2Z0d2FyZSBkZXZlbG9wZXJzIGFuZCBhcmNoaXRlY3RzIHRvIHVzZSBmb3IgZGV0ZXJtaW5pbmcgd2hhdCBjb21wdXRhdGlvbnMgb2YgYSBzbWFydCBjb250cmFjdCBjYW4gYmUgZWZmZWN0aXZlbHkgZG9uZSBvZmYtY2hhaW4gd2l0aG91dCBsb3NzIG9mIHRydXN0LiBPdXIgYWxnb3JpdGhtIHVzZXMgRlNNcyBvciBIU01zIGluIG9yZGVyIHRvIGNyZWF0ZSBzbWFydCBjb250cmFjdCBwYXR0ZXJucyB1c2luZyBncmFwaHMgYW5kIHRoZW4gdXNlcyBwYXR0ZXJuIHJlY29nbml0aW9uIHRvIGlkZW50aWZ5IHdoaWNoIHBhcnRzIG9mIHRoZSBzbWFydCBjb250cmFjdHMgc2hvdWxkIGJlIGNvbnNpZGVyZWQgZm9yIG1vdmluZyBvZmYtY2hhaW4uIFRoZSBwYXR0ZXJuIHJlY29nbml0aW9uIHByb3BlcnR5IHVzZWQgaXMgdGhhdCBvbmNlIHNvZnR3YXJlIGV4ZWN1dGlvbiB0cmFuc2l0cyBpbnRvIHRoZSBwYXR0ZXJuJ3MgZW50cnkgc3RhdGUsIG9mZi1jaGFpbiBleGVjdXRpb24gY29udGludWVzIHVudGlsIHRoZSBleGVjdXRpb24gdHJhbnNpdHMgaW50byB0aGUgcGF0dGVybidzIGV4aXQgc3RhdGUsIHdoZW4gZXhlY3V0aW9uIGNvbnRpbnVlcyBvbi1jaGFpbi4gVGhlIHNvZnR3YXJlIGRldmVsb3BlciByZXZpZXdzIGVhY2ggcGF0dGVybiB0b2dldGhlciB3aXRoIGluZm9ybWF0aW9uLCBzdWNoIGFzIGFudGljaXBhdGVkIG92ZXJoZWFkIGNvc3QgZHVlIHRvIG9mZi1jaGFpbiBleGVjdXRpb24sIGFuZCBzaGUgaXMgcHJvdmlkZWQgd2l0aCBndWlkYW5jZSBvbiBkZWNpc2lvbiBtYWtpbmcgd2hldGhlciB0byBleGVjdXRlIHRoZSBzbWFydCBjb250cmFjdCBwYXR0ZXJuIHVuZGVyIGNvbnNpZGVyYXRpb24gb2ZmLWNoYWluLiBFeHBlcnQgc29mdHdhcmUgZGV2ZWxvcGVyIGluc3BlY3Rpb24sIGluIHRoZSBjb250ZXh0IG9mIGEgVHJhZGUgRmluYW5jZSB1c2UgY2FzZSwgdmFsaWRhdGVzIHRoYXQgb3VyIGFsZ29yaXRobSBmaW5kcyBvcHRpbWFsIHBhdHRlcm5zIGZvciBtb3ZpbmcgY29tcHV0YXRpb25zIG9mZi1jaGFpbiBhbmQgaW1wcm92ZSBibG9ja2NoYWluIHNvZnR3YXJlIHBlcmZvcm1hbmNlLn0sCiAgYm9va3RpdGxlID0gezIwMjEgVGhlIDNyZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEJsb2NrY2hhaW4gVGVjaG5vbG9neX0sCiAgcGFnZXMgICAgID0gezI44oCTMzR9LAogIG51bXBhZ2VzICA9IHs3fSwKICBrZXl3b3JkcyAgPSB7RlNNIGFuZCBIU00gbW9kZWxpbmcsIEJsb2NrY2hhaW4gZGV2ZWxvcGVyIHByb2R1Y3Rpdml0eSwgU21hcnQgY29udHJhY3QsIE9mZi1jaGFpbiBjb21wdXRhdGlvbiwgQmxvY2tjaGFpbn0sCiAgbG9jYXRpb24gID0ge1NoYW5naGFpLCBDaGluYX0sCiAgc2VyaWVzICAgID0ge0lDQkNUICcyMX0KfQoKCgoKCkBpbnByb2NlZWRpbmdze0JPRE9SSUsyMDIyMTAwMTE1LAogIHRpdGxlICAgICAgICA9IHtUQUJTOiBUcmFuc2Zvcm1pbmcgYXV0b21hdGljYWxseSBCUE1OIG1vZGVscyBpbnRvIGJsb2NrY2hhaW4gc21hcnQgY29udHJhY3RzfSwKICBqb3VybmFsICAgICAgPSB7Sm91cm5hbCBvZiBCbG9ja2NoYWluOiBSZXNlYXJjaCBhbmQgQXBwbGljYXRpb25zfSwKICBib29rdGl0bGUgICAgPSB7Sm91cm5hbCBvZiBCbG9ja2NoYWluOiBSZXNlYXJjaCBhbmQgQXBwbGljYXRpb25zfSwKICB2b2x1bWUgICAgICAgPSB7NCwgMTAwMTE1fSwKICBudW1iZXIgICAgICAgPSB7MX0sCiAgcGFnZXMgICAgICAgID0gezEtMjZ9LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICBpc3NuICAgICAgICAgPSB7MjA5Ni03MjA5fSwKICBkb2kgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMTYvai5iY3JhLjIwMjIuMTAwMTE1fSwKICB1cmxfcGFwZXIgICAgPSB7aHR0cHM6Ly93d3cuc2NpZW5jZWRpcmVjdC5jb20vc2NpZW5jZS9hcnRpY2xlL3BpaS9TMjA5NjcyMDkyMjAwMDU2Mn0sCiAgdXJsX2Rvd25sb2FkID0ge2h0dHBzOi8vd3d3LnNjaWVuY2VkaXJlY3QuY29tL3NjaWVuY2UvYXJ0aWNsZS9waWkvUzIwOTY3MjA5MjIwMDA1NjJ9LAogIHBhcGVyICAgICAgICA9IHtodHRwczovL3d3dy5zY2llbmNlZGlyZWN0LmNvbS9zY2llbmNlL2FydGljbGUvcGlpL1MyMDk2NzIwOTIyMDAwNTYyfSwKICBhdXRob3IgICAgICAgPSB7Qm9kb3JpaywgUC4gYW5kIExpdSwgQy4gRy4gYW5kIEIgSnV0bGEsIEQufSwKICBrZXl3b3JkcyAgICAgPSB7QmxvY2tjaGFpbiwgQnVzaW5lc3MgcHJvY2Vzc2VzIG1vZGVsaW5nIG5vdGF0aW9uIChCUE1OKSwgRGlzY3JldGUgZXZlbnQgKERFKSBtb2RlbGluZywgRmluaXRlIHN0YXRlIG1hY2hpbmUgKEZTTSksIEhpZXJhcmNoaWNhbCBzdGF0ZSBtYWNoaW5lcyAoSFNNKSwgU21hcnQgY29udHJhY3QsIE9mZi1jaGFpbiBjb21wdXRhdGlvbiwgUHJpdmFjeSwgU21hcnQgY29udHJhY3QgaW50ZXJvcGVyYWJpbGl0eX0sCiAgYWJzdHJhY3QgICAgID0ge1Jlc2VhcmNoIG9uIGJsb2NrY2hhaW5zIGFkZHJlc3NlcyBtdWx0aXBsZSBpc3N1ZXMsIHdpdGggb25lIGJlaW5nIGF1dG9tYXRlZCBjcmVhdGlvbiBvZiBzbWFydCBjb250cmFjdHMuIERldmVsb3Bpbmcgc21hcnQgY29udHJhY3QgbWV0aG9kcyBpcyBtb3JlIGRpZmZpY3VsdCB0aGFuIG1haW5zdHJlYW0gc29mdHdhcmUgZGV2ZWxvcG1lbnQgYXMgdGhlIHVuZGVybHlpbmcgYmxvY2tjaGFpbiBpbmZyYXN0cnVjdHVyZSBwb3NlcyBhZGRpdGlvbmFsIGNvbXBsZXhpdHkuIFdlIHJlcG9ydCBvbiBhIG5ldyBhcHByb2FjaCB0byBkZXZlbG9wIHNtYXJ0IGNvbnRyYWN0cyB3aXRoIHRoZSBvYmplY3RpdmUgdG8gYXV0b21hdGUgdGhlIHByb2Nlc3MgdG8gaW5jcmVhc2UgZGV2ZWxvcGVyIGVmZmljaWVuY3kgYW5kIHJlZHVjZSByaXNrcyBvZiBlcnJvcnMgaW50cm9kdWNlZCBieSBzb2Z0d2FyZSBkZXZlbG9wZXJzLiBUbyBzdXBwb3J0IGluZHVzdHJ5IGFkb3B0aW9uLCB3ZSB1c2UgQnVzaW5lc3MgUHJvY2VzcyBNb2RlbCBhbmQgTm90YXRpb24gKEJQTU4pIG1vZGVsaW5nIHRvIGRlc2NyaWJlIGFuIGFwcGxpY2F0aW9uIHdoaWxlIHRhcmdldGluZyBhcHBsaWNhdGlvbnMgaW4gdGhlIHRyYWRlIHZlcnRpY2FsLiBXZSBkZXNjcmliZSBhIHN5c3RlbSB0aGF0IHRyYW5zZm9ybXMgYSBCUE1OIG1vZGVsIGludG8gYSBtdWx0aS1tb2RhbCBtb2RlbCB0aGF0IGNvbWJpbmVzIERpc2NyZXRlIEV2ZW50IChERSkgbW9kZWxpbmcgZm9yIGNvbmN1cnJlbmN5IHdpdGggSGllcmFyY2hpY2FsIFN0YXRlIE1hY2hpbmVzIChIU01zKSB0byByZXByZXNlbnQgYXBwbGljYXRpb24gZnVuY3Rpb25hbGl0eS4gVGhlbiwgZnVydGhlciB0cmFuc2Zvcm1hdGlvbnMgYXJlIHVzZWQgdG8gdHJhbnNmb3JtIHRoZSBERS1IU00gbW9kZWwgaW50byBtZXRob2RzIGluIHNtYXJ0IGNvbnRyYWN0cy4gVGhlIHN5c3RlbSBsZXRzIHRoZSBtb2RlbGVyIGRlY2lkZSB3aGljaCBvZiB0aGUgaW5kZXBlbmRlbnQgcGF0dGVybnMgc2hvdWxkIGJlIHRyYW5zZm9ybWVkIGludG8gbWV0aG9kcyBvZiBhIHNlcGFyYXRlIHNtYXJ0IGNvbnRyYWN0IHRoYXQgaXMgZGVwbG95ZWQgb24gYSBzaWRlY2hhaW4gZm9yIHRoZSBwdXJwb3NlIG9mIChpKSByZWR1Y2luZyBwcm9jZXNzaW5nIGNvc3RzIGFuZC9vciAoaWkpIHByb3ZpZGluZyBwcml2YWN5IHNvIHRoYXQgb3RoZXIgcGFydGljaXBhbnRzIGluIHRoZSBzbWFydCBjb250cmFjdCBkbyBub3QgaGF2ZSB2aXNpYmlsaXR5IGludG8gcHJvY2Vzc2luZyBvZiB0aGUgcGF0dGVybi4gV2UgYWxzbyBicmllZmx5IGRlc2NyaWJlIGEgcHJvb2Ytb2YtY29uY2VwdCB0b29sIHdlIGJ1aWx0IHRvIGRlbW9uc3RyYXRlIHRoZSBmZWFzaWJpbGl0eSBvZiBvdXIgYXBwcm9hY2gufQp9CgoKCgpAaW5wcm9jZWVkaW5nc3tsaXVfMjAyM18wM19ETFQsCiAgdGl0bGUgICAgID0ge1RyYW5zZm9ybWluZyBBdXRvbWF0aWNhbGx5IEJQTU4gTW9kZWxzIHRvIFNtYXJ0IENvbnRyYWN0cyB3aXRoIE5lc3RlZCBDb2xsYWJvcmF0aXZlIFRyYW5zYWN0aW9ucyAoVEFCUyspfSwKICBqb3VybmFsICAgPSB7QUNNIEpvdXJuYWwgRGlzdHJpYnV0ZWQgTGVkZ2VyIFRlY2hub2xvZ2llczogUmVzZWFyY2ggYW5kIFByYWN0aWNlfSwKICBib29rdGl0bGUgPSB7QUNNIEpvdXJuYWwgRGlzdHJpYnV0ZWQgTGVkZ2VyIFRlY2hub2xvZ2llczogUmVzZWFyY2ggYW5kIFByYWN0aWNlfSwKICB5ZWFyICAgICAgPSB7MjAyNH0sCiAgYXV0aG9yICAgID0ge0xpdSwgQy4gRy4gYW5kIEJvZG9yaWssIFAuIGFuZCBCIEp1dGxhLCBELn0sCiAgZG9pICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzM2NTQ4MDJ9LAogIHVybF9wYXBlciAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTE0NS8zNjU0ODAyfSwKICBwYXBlciAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjExNDUvMzY1NDgwMn0sCiAgdXJsX2Rvd25sb2FkID0ge2h0dHBzOi8vYmxvY2tjaGFpbi5jcy5kYWwuY2Evd29ya3MvOSUyMEFDTSUyMERMVCUyMDIzJTIwQlBNTnRvU0MtQUNNLURMVC1zdWJtaXR0ZWQucGRmfQp9CgoKQGlucHJvY2VlZGluZ3N7OTkyMjE5MywKICBhdXRob3IgICAgICAgPSB7TGl1LCBDaHJpc3RpYW4gR2FuZyBhbmQgQm9kb3JpaywgUGV0ZXIgYW5kIEp1dGxhLCBEYXdufSwKICBib29rdGl0bGUgICAgPSB7MjAyMiBGb3VydGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEJsb2NrY2hhaW4gQ29tcHV0aW5nIGFuZCBBcHBsaWNhdGlvbnMgKEJDQ0EpfSwKICB0aXRsZSAgICAgICAgPSB7U3VwcG9ydGluZyBMb25nLXRlcm0gVHJhbnNhY3Rpb25zIGluIFNtYXJ0IENvbnRyYWN0c30sCiAgeWVhciAgICAgICAgID0gezIwMjJ9LAogIHBhZ2VzICAgICAgICA9IHsxMS0xOX0sCiAgdm9sdW1lICAgICAgID0ge30sCiAgbnVtYmVyICAgICAgID0ge30sCiAgZG9pICAgICAgICAgID0gezEwLjExMDkvQkNDQTU1MjkyLjIwMjIuOTkyMjE5M30sCiAgdXJsX3BhcGVyICAgID0ge2h0dHBzOi8vaWVlZXhwbG9yZS5pZWVlLm9yZy9kb2N1bWVudC85OTIyMTkzfSwKICB1cmxfZG93bmxvYWQgPSB7aHR0cHM6Ly93ZWIuY3MuZGFsLmNhL35nYW5nL0JDQ0EvfSwKICBwYXBlciAgICAgICAgPSB7aHR0cHM6Ly9pZWVleHBsb3JlLmllZWUub3JnL2RvY3VtZW50Lzk5MjIxOTN9Cn0KCgoKQGlucHJvY2VlZGluZ3N7bGl1X2F1dG9tYXRpbmdfMjAyMSwKICB0aXRsZSAgICAgICAgPSB7QXV0b21hdGluZyBTbWFydCBDb250cmFjdCBHZW5lcmF0aW9uIG9uIEJsb2NrY2hhaW5zIFVzaW5nIE11bHRpLW1vZGFsIE1vZGVsaW5nfSwKICB2b2x1bWUgICAgICAgPSB7MTMsIE5vLiAzfSwKICBpc3NuICAgICAgICAgPSB7MTc5OC0yMzQwfSwKICB1cmwgICAgICAgICAgPSB7aHR0cDovL3d3dy5qYWl0LnVzL2luZGV4LnBocD9tPWNvbnRlbnQmYz1pbmRleCZhPXNob3cmY2F0aWQ9MjE3JmlkPTEyMTl9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMjcyMC9qYWl0LjEzLjMuMjEzLTIyM30sCiAgYWJzdHJhY3QgICAgID0ge1RoZSBwb3dlciBhbmQgY29ycmVjdG5lc3Mgb2Ygc21hcnQgY29udHJhY3RzIGhhdmUgYmVlbiB0aGUgZm9jdXMgb2YgbXVjaCByZXNlYXJjaC4gV2UgcHJvcG9zZSBhIG5ldyBhcHByb2FjaCBmb3IgZGV2ZWxvcGluZyBzbWFydCBjb250cmFjdHMgdGhhdCB1c2VzIG11bHRpLW1vZGFsIG1vZGVsaW5nIHRvIHJlcHJlc2VudCB0aGUgYXBwbGljYXRpb24gbG9naWMgZm9yIHRoZSB0cmFkZSBkb21haW4uIFdlIHVzZSBkaXNjcmV0ZSBldmVudHMgbW9kZWxpbmcgZm9yIGNvbmN1cnJlbmN5IGNvbWJpbmVkIHdpdGgge0ZTTX0gbW9kZWxpbmcgdG8gdXNlIGNvbmN1cnJlbnQge0ZTTXN9IHRvIG5vdCBvbmx5IHNpbXBsaWZ5IHRoZSBkZXNpZ24gcHJvY2VzcyBmb3IgdGhlIG1vZGVsZXIsIGJ1dCBhbHNvIHRvIHNjYWxlIHRoZSBhcHBsaWNhdGlvbiBydW5uaW5nIG9uIGEgYmxvY2tjaGFpbiBhbmQgZmFjaWxpdGF0ZSBpZGVudGlmeWluZyBwYXJ0cyBvZiBhIHNtYXJ0IHByb2dyYW0gdGhhdCBhcmUgc3VpdGFibGUgZm9yIG9mZi1jaGFpbiBwcm9jZXNzaW5nIG9uIGEgc2lkZWNoYWluIHRoYXQgYWxzbyBwcm92aWRlcyBwcml2YWN5LiBJbiBhZGRpdGlvbiwgd2UgYWNoaWV2ZSBzZXBhcmF0aW9uIG9mIGNvbmNlcm5zIGJldHdlZW4gKGEpIGFwcGxpY2F0aW9uIGxvZ2ljIGFuZCAoYikgaXRzIHRyYW5zZm9ybWF0aW9uIGludG8gYSBzbWFydCBjb250cmFjdCBhbmQgZGVwbG95bWVudCBvbiBhIGJsb2NrY2hhaW4gd2l0aCBwcm9jZXNzaW5nIG9mIHNlbGVjdGVkIHBhdHRlcm5zIG9uIHByaXZhdGUgc2lkZWNoYWlucy4gV2UgdHJhbnNmb3JtIHRoZSBtb2RlbCBpbnRvIGEgc21hcnQgY29udHJhY3QgYXV0b21hdGljYWxseSwgc3VjaCB0aGF0IHBhdHRlcm5zLCBzZWxlY3RlZCBieSB0aGUgbW9kZWxlciwgYXJlIGRlcGxveWVkIG9uIGEgc2lkZWNoYWluLiBUaGUgaW50ZXJmYWNlIGZvciB0aGUgbWFpbmNoYWluIHRvIHNpZGVjaGFpbiBpbnRlcmFjdGlvbiBpcyBhbHNvIHByZXBhcmVkIGFuZCBkZXBsb3llZCBhdXRvbWF0aWNhbGx5Ln0sCiAgcGFnZXMgICAgICAgID0gezIxMy0tMjIzfSwKICBqb3VybmFsdGl0bGUgPSB7MTAuMTI3MjAvamFpdH0sCiAgc2hvcnRqb3VybmFsID0ge3tKQUlUfSBpcyBhIHNjaWVudGlmaWMgb3BlbiBhY2Nlc3Mgam91cm5hbCB3aGljaCBmb2N1c2VzIG9uIGVtcGlyaWNhbCByZXNlYXJjaCByZXN1bHRzIGFuZCBjcml0aWNhbCBhbmFseXNpcyBvZiB0ZWNobm9sb2d5IGRldmVsb3BtZW50LCB1c2UsIG1hbmFnZW1lbnQgYW5kIGltcGFjdHMgaW4gaW5mb3JtYXRpb24gdGVjaG5vbG9neS59LAogIGJvb2t0aXRsZSAgICA9IHtKb3VybmFsIG9mIEFkdmFuY2VzIGluIEluZm9ybWF0aW9uIFRlY2hub2xvZ3kgKEpBSVQpfSwKICBhdXRob3IgICAgICAgPSB7TGl1LCBDLiBHLiBhbmQgQm9kb3JpaywgUC4gYW5kIEp1dGxhLCBELn0sCiAgeWVhciAgICAgICAgID0gezIwMjJ9Cn0KCgoKCgpAaW5wcm9jZWVkaW5nc3tsaXUyMDIzbG9uZ3Rlcm0sCiAgdGl0bGUgICAgID0ge0xvbmctVGVybSBCbG9ja2NoYWluIFRyYW5zYWN0aW9ucyBTcGFubmluZyBNdWx0aXBsaWNpdHkgb2YgU21hcnQgQ29udHJhY3QgTWV0aG9kc30sCiAgYXV0aG9yICAgID0ge0xpdSwgQy4gRy4gYW5kIEJvZG9yaWssIFAuIGFuZCBKdXRsYSwgRC59LAogIGJvb2t0aXRsZSA9IHtTcHJpbmdlciBCbG9ja1N5czogQmxvY2tjaGFpbiBhbmQgVHJ1c3R3b3J0aHkgU3lzdGVtc30sCiAgeWVhciAgICAgID0gezIwMjN9LAogIHBhZ2VzICAgICA9IHsxNDEtMTU1fSwKICBkb2kgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvOTc4LTk4MS05OS04MTA0LTV9LAogIGlzYm4gICAgICA9IHs5NzgtOTgxLTk5LTgxMDMtOH0sCiAgZWlzYm4gICAgID0gezk3OC05ODEtOTktODEwNC01fQp9CgoKCkBpbnByb2NlZWRpbmdzezk2NTk3NzEsCiAgYXV0aG9yICAgICAgID0ge0xpdSwgQ2hyaXMgYW5kIEJvZG9yaWssIFBldGVyIGFuZCBKdXRsYSwgRGF3bn0sCiAgYm9va3RpdGxlICAgID0gezIwMjEgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEVuZ2luZWVyaW5nIGFuZCBFbWVyZ2luZyBUZWNobm9sb2dpZXMgKElDRUVUKX0sCiAgdGl0bGUgICAgICAgID0ge0Zyb20gQlBNTiB0byBzbWFydCBjb250cmFjdHMgb24gYmxvY2tjaGFpbnM6IFRyYW5zZm9ybWluZyBCUE1OIHRvIERFLUhTTSBtdWx0aS1tb2RhbCBtb2RlbH0sCiAgeWVhciAgICAgICAgID0gezIwMjF9LAogIHZvbHVtZSAgICAgICA9IHt9LAogIG51bWJlciAgICAgICA9IHt9LAogIHBhZ2VzICAgICAgICA9IHsxLTd9LAogIGFic3RyYWN0ICAgICA9IHtTY2FsYWJpbGl0eSwgcHJpdmFjeSwgYW5kIGludGVyb3BlcmFiaWxpdHkgYXJlIHNvbWUgb2YgdGhlIG1ham9yIGlzc3VlcyByZWNlaXZpbmcgYXR0ZW50aW9uIGluIHJlc2VhcmNoIG9uIGJsb2NrY2hhaW4gdGVjaG5vbG9naWVzLiBXZSBjb25jZW50cmF0ZSBvbiB0aGUgdHJhZGUgZmluYW5jZSB2ZXJ0aWNhbCBmb3Igd2hpY2ggd2UgZGV2ZWxvcCBhIG5ldyBtb2RlbGluZyBhcHByb2FjaCB3aXRoIHRoZSBvYmplY3RpdmUgb2YgYXV0b21hdGljIHRyYW5zZm9ybWF0aW9uIG9mIGFuIGFwcGxpY2F0aW9uLCByZXByZXNlbnRlZCB1c2luZyBCdXNpbmVzcyBQcm9jZXNzIE1vZGVsIGFuZCBOb3RhdGlvbiAoQlBNTiksIGludG8gYSBzbWFydCBjb250cmFjdCBkZXBsb3llZCBvbiBhIGJsb2NrY2hhaW4uIEhlcmUsIHdlIGRlc2NyaWJlIGhvdyB0aGUgQlBNTiBtb2RlbCBpcyB0cmFuc2Zvcm1lZCBpbnRvIGEgbXVsdGltb2RhbCBtb2RlbCB0aGF0IGNvbWJpbmVzIERFLUhTTSBtb2RlbGluZy4gV2UgcHJvdmlkZSBhIGhpZ2gtbGV2ZWwgb3ZlcnZpZXcgb2YgdGhlIG1ldGhvZCBhbmQgcmV2aWV3IGhvdyBCUE1OIGNhdGVnb3JpZXMgb2YgZWxlbWVudHMgYXJlIHRyYW5zZm9ybWVkIGludG8gYSBtdWx0aS1tb2RhbCBERS1IU00gbW9kZWwuIFdlIGFsc28gZGVzY3JpYmUgYnJpZWZseSBob3cgdGhlIERFLUZNUyBtb2RlbCBpcyBhdXRvbWF0aWNhbGx5IHRyYW5zZm9ybWVkIGludG8gZGVwbG95YWJsZSBzbWFydCBjb250cmFjdHMgdGhhdCBpbnRlcmFjdCB0byBmb3JtIGEgZGlzdHJpYnV0ZWQgYXBwbGljYXRpb246IFRoZSBzbWFydCBjb250cmFjdCBkZXBsb3llZCBvbiB0aGUgbWFpbiBibG9ja2NoYWluIGNvb3JkaW5hdGVzIGFjdGl2aXRpZXMgYW1vbmdzdCB0aGUgYnVzaW5lc3MgcGFydG5lcnMgYW5kIGludGVyb3BlcmF0ZXMgd2l0aCBzbWFydCBjb250cmFjdHMsIGFsc28gYXV0b21hdGljYWxseSBwcmVwYXJlZCBhbmQgZGVwbG95ZWQgb24gYSBzaWRlY2hhaW4ocyksIHdpdGggb25lIHNtYXJ0IGNvbnRyYWN0IHBlciBpbmRpdmlkdWFsIGJ1c2luZXNzIHBhcnRuZXIuIFByaXZhY3kgaXMgb2J0YWluZWQgYnkgcGVyZm9ybWluZyBhY3Rpdml0aWVzLCB3aGljaCBhcmUgbm90IGdlcm1hbmUgdG8gdGhlIGNvbGxhYm9yYXRpb24gd2l0aCB0aGUgb3RoZXIgYnVzaW5lc3MgcGFydG5lcnMgYnV0IGRlYWwgd2l0aCB0aGUgcHJpdmF0ZSBhY3Rpdml0aWVzIG9mIHRoZSBpbmRpdmlkdWFsIGJ1c2luZXNzIHBhcnRuZXIsIGluIGEgc21hcnQgY29udHJhY3QgZGVwbG95ZWQgYW5kIGV4ZWN1dGVkIG9uIGEgc2lkZSBjaGFpbi4gV2UgdGh1cyBwcm92aWRlIGZvciBpbnRlcm9wZXJhYmlsaXR5IG9mIHNtYXJ0IGNvbnRyYWN0cyBhbmQgcHJpdmFjeSBhcyBwcml2YXRlIGFjdGl2aXRpZXMgb2YgYSBidXNpbmVzcyBwYXJ0bmVyIGFyZSBwZXJmb3JtZWQgaW4gYSBzbWFydCBjb250cmFjdCBvbiBhIHByaXZhdGUgc2lkZWNoYWluLn0sCiAga2V5d29yZHMgICAgID0ge30sCiAgZG9pICAgICAgICAgID0gezEwLjExMDkvSUNFRVQ1MzQ0Mi4yMDIxLjk2NTk3NzF9LAogIGlzc24gICAgICAgICA9IHsyNDA5LTI5ODN9LAogIG1vbnRoICAgICAgICA9IHtPY3R9LAogIHVybF9wYXBlciAgICA9IHtodHRwczovL2llZWV4cGxvcmUuaWVlZS5vcmcvZG9jdW1lbnQvOTY1OTc3MX0sCiAgdXJsX2Rvd25sb2FkID0ge2h0dHBzOi8vd2ViLmNzLmRhbC5jYS9+Z2FuZy9JQ0VFVC99LAogIHBhcGVyICAgICAgICA9IHtodHRwczovL2llZWV4cGxvcmUuaWVlZS5vcmcvZG9jdW1lbnQvOTY1OTc3MX0KfQoKCgpAaW5wcm9jZWVkaW5nc3sxMC4xMTQ1LzM0NTczMzcuMzQ1Nzg0OCwKICBhdXRob3IgICAgPSB7TGl1LCBDaHJpc3RpYW4gYW5kIEJvZG9yaWssIFBldGVyIGFuZCBKdXRsYSwgRGF3bn0sCiAgdGl0bGUgICAgID0ge0EgVG9vbCBmb3IgTW92aW5nIEJsb2NrY2hhaW4gQ29tcHV0YXRpb25zIE9mZi1DaGFpbn0sCiAgeWVhciAgICAgID0gezIwMjF9LAogIGlzYm4gICAgICA9IHs5NzgxNDUwMzg0MDAxfSwKICBhZGRyZXNzICAgPSB7TmV3IFlvcmssIE5ZLCBVU0F9LAogIHVybCAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTE0NS8zNDU3MzM3LjM0NTc4NDh9LAogIGRvaSAgICAgICA9IHsxMC4xMTQ1LzM0NTczMzcuMzQ1Nzg0OH0sCiAgYWJzdHJhY3QgID0ge1RoaXMgcGFwZXIgcHJvcG9zZXMgYSBuZXcgYXBwcm9hY2ggYW5kIHRvb2wgZm9yIGJsb2NrY2hhaW4gc29mdHdhcmUgZGV2ZWxvcGVycyBhbmQgYXJjaGl0ZWN0cyB0byB1c2UgZm9yIGRldGVybWluaW5nIHdoaWNoIGNvbXB1dGF0aW9ucyBvZiBhIHNtYXJ0IGNvbnRyYWN0IGNhbiBiZSBlZmZlY3RpdmVseSBkb25lIG9mZi1jaGFpbiB3aXRob3V0IGxvc3Mgb2YgdHJ1c3QgYW5kIGhvdyB0aGV5IGNhbiBiZSBtb3ZlZCBvZmYtY2hhaW4gYXV0b21hdGljYWxseS4gT3VyIGFwcHJvYWNoIHVzZXMgRmluaXRlIFN0YXRlIE1hY2hpbmVzIChGU01zKSBhbmQgSGllcmFyY2hpY2FsIFN0YXRlIE1hY2hpbmVzIChIU01zKSBtb2RlbGluZyBpbiBvcmRlciB0byBjcmVhdGUgc21hcnQgY29udHJhY3QgcGF0dGVybnMgdXNpbmcgZ3JhcGhzIGFuZCB0aGVuIHVzZSBwYXR0ZXJuIHByb3BlcnRpZXMgdG8gaWRlbnRpZnkgd2hpY2ggcGFydHMgb2YgdGhlIHNtYXJ0IGNvbnRyYWN0cyBzaG91bGQgYmUgY29uc2lkZXJlZCBmb3IgbW92aW5nIG9mZi1jaGFpbi4gT25jZSBzb2Z0d2FyZSBleGVjdXRpb24gdHJhbnNpdHMgaW50byB0aGUgcGF0dGVybidzIGVudHJ5IHN0YXRlLCBvZmYtY2hhaW4gZXhlY3V0aW9uIGNvbnRpbnVlcyB1bnRpbCB0aGUgZXhlY3V0aW9uIHRyYW5zaXRzIGludG8gdGhlIHBhdHRlcm4ncyBleGl0IHN0YXRlLCB3aGVuIGV4ZWN1dGlvbiBjb250aW51ZXMgb24tY2hhaW4uIFRoaXMgcGFwZXIgZnVydGhlciBkZXNjcmliZXMgYSB0b29sIGZvciAoMSkgRlNNIGlucHV0IGFuZCB2aXN1YWxpemF0aW9uLCBpdHMgYW5hbHlzaXMsIGFuZCBhdXRvbWF0aWMgdHJhbnNmb3JtYXRpb24gaW50byBhIHNtYXJ0IGNvbnRyYWN0LCBhbmQgKDIpIGFuIGludGVyZmFjZSB0byBzdXBwb3J0IHRoZSBkZXZlbG9wZXJzJyBkZWNpc2lvbiB0byBvcHRpbWFsbHkgb2ZmLWNoYWluIGNvbXB1dGF0aW9ucyBhbmQgdG8gKDMpIGRlZmluZSB0aGUgY29tbXVuaWNhdGlvbnMgYmV0d2VlbiBvbi1jaGFpbiBhbmQgb2ZmLWNoYWluIGNvbXB1dGF0aW9ucy59LAogIGJvb2t0aXRsZSA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgM3JkIEFDTSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBCbG9ja2NoYWluIGFuZCBTZWN1cmUgQ3JpdGljYWwgSW5mcmFzdHJ1Y3R1cmV9LAogIHBhZ2VzICAgICA9IHsxMDPigJMxMDl9LAogIG51bXBhZ2VzICA9IHs3fSwKICBrZXl3b3JkcyAgPSB7aGllcmFyY2hpY2FsIHN0YXRlIG1hY2hpbmUsIGJsb2NrY2hhaW4sIEhTTSwgc2ltcGxlLWdyYXBoLCBvZmYtY2hhaW4gY29tcHV0YXRpb24sIHRyYW5zZm9ybWF0aW9uIG9mIEZTTSB0byBzbWFydCBjb250cmFjdCwgc21hcnQgY29udHJhY3QsIEZTTSBtb2RlbH0sCiAgbG9jYXRpb24gID0ge1ZpcnR1YWwgRXZlbnQsIEhvbmcgS29uZ30sCiAgc2VyaWVzICAgID0ge0JTQ0kgJzIxfQp9Cgo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://blockchain.cs.dal.ca/pubs_without_questionmarks.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://blockchain.cs.dal.ca/pubs_without_questionmarks.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https://blockchain.cs.dal.ca/pubs_without_questionmarks.bib&amp;theme=default&amp;jsonp=1&amp;groupby=year&amp;sort=author_short&amp;urlLabel=Paper&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://blockchain.cs.dal.ca/pubs_without_questionmarks.bib&amp;theme=default&amp;jsonp=1&amp;groupby=year&amp;sort=author_short&amp;urlLabel=Paper\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https://blockchain.cs.dal.ca/pubs_without_questionmarks.bib&amp;theme=default&amp;jsonp=1&amp;groupby=year&amp;sort=author_short&amp;urlLabel=Paper\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2024\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2024')\"\n      onkeypress=\"toggleGroup('group_2024')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2024</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024', 'https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf', event);\">\n    Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+).\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Liu, C. G.; <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>;  and B Jutla, D.\n</span>\n\n  \n\n</span>\n\n  In <i>ACM Journal Distributed Ledger Technologies: Research and Practice</i>,  2024. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3654802\"\n     onclick=\"log_download('liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024', 'https://doi.org/10.1145/3654802', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+) [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf\"\n     onclick=\"log_download('liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024', 'https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/pdf.svg\"\n\t     alt=\"Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+) [pdf]\"\n       title=\" download\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> download</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/https://doi.org/10.1145/3654802\"\n     onclick=\"log_download('liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024', 'http://doi.org/https://doi.org/10.1145/3654802', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('liu-bodorik-bjutla-transformingautomaticallybpmnmodelstosmartcontractswithnestedcollaborativetransactionstabs-2024')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{liu_2023_03_DLT,\n  title     = {Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)},\n  journal   = {ACM Journal Distributed Ledger Technologies: Research and Practice},\n  booktitle = {ACM Journal Distributed Ledger Technologies: Research and Practice},\n  year      = {2024},\n  author    = {Liu, C. G. and Bodorik, P. and B Jutla, D.},\n  doi          = {https://doi.org/10.1145/3654802},\n  url_paper    = {https://doi.org/10.1145/3654802},\n  paper        = {https://doi.org/10.1145/3654802},\n  url_download = {https://blockchain.cs.dal.ca/works/9%20ACM%20DLT%2023%20BPMNtoSC-ACM-DLT-submitted.pdf}\n}\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2023\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2023')\"\n      onkeypress=\"toggleGroup('group_2023')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2023</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://www.sciencedirect.com/science/article/pii/S2096720922000562\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023', 'https://www.sciencedirect.com/science/article/pii/S2096720922000562', event);\">\n    TABS: Transforming automatically BPMN models into blockchain smart contracts.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>; Liu, C. G.;  and B Jutla, D.\n</span>\n\n  \n\n</span>\n\n  In <i>Journal of Blockchain: Research and Applications</i>, volume 4, 100115, pages 1-26,  2023. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://www.sciencedirect.com/science/article/pii/S2096720922000562\"\n     onclick=\"log_download('bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023', 'https://www.sciencedirect.com/science/article/pii/S2096720922000562', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"TABS: Transforming automatically BPMN models into blockchain smart contracts [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://www.sciencedirect.com/science/article/pii/S2096720922000562\"\n     onclick=\"log_download('bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023', 'https://www.sciencedirect.com/science/article/pii/S2096720922000562', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"TABS: Transforming automatically BPMN models into blockchain smart contracts [link]\"\n       title=\" download\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> download</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/https://doi.org/10.1016/j.bcra.2022.100115\"\n     onclick=\"log_download('bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023', 'http://doi.org/https://doi.org/10.1016/j.bcra.2022.100115', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bodorik-liu-bjutla-tabstransformingautomaticallybpmnmodelsintoblockchainsmartcontracts-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{BODORIK2022100115,\n  title        = {TABS: Transforming automatically BPMN models into blockchain smart contracts},\n  journal      = {Journal of Blockchain: Research and Applications},\n  booktitle    = {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}\n\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  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</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"liu-bodorik-jutla-longtermblockchaintransactionsspanningmultiplicityofsmartcontractmethods-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Long-Term Blockchain Transactions Spanning Multiplicity of Smart Contract Methods.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Liu, C. G.; <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>;  and Jutla, D.\n</span>\n\n  \n\n</span>\n\n  In <i>Springer BlockSys: Blockchain and Trustworthy Systems</i>, pages 141-155,  2023. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/https://doi.org/10.1007/978-981-99-8104-5\"\n     onclick=\"log_download('liu-bodorik-jutla-longtermblockchaintransactionsspanningmultiplicityofsmartcontractmethods-2023', 'http://doi.org/https://doi.org/10.1007/978-981-99-8104-5', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/liu-bodorik-jutla-longtermblockchaintransactionsspanningmultiplicityofsmartcontractmethods-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('liu-bodorik-jutla-longtermblockchaintransactionsspanningmultiplicityofsmartcontractmethods-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{liu2023longterm,\n  title     = {Long-Term Blockchain Transactions Spanning Multiplicity of Smart Contract Methods},\n  author    = {Liu, C. G. and Bodorik, P. and Jutla, D.},\n  booktitle = {Springer BlockSys: Blockchain and Trustworthy Systems},\n  year      = {2023},\n  pages     = {141-155},\n  doi       = {https://doi.org/10.1007/978-981-99-8104-5},\n  isbn      = {978-981-99-8103-8},\n  eisbn     = {978-981-99-8104-5}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2022\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2022')\"\n      onkeypress=\"toggleGroup('group_2022')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2022</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://ieeexplore.ieee.org/document/9922193\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022', 'https://ieeexplore.ieee.org/document/9922193', event);\">\n    Supporting Long-term Transactions in Smart Contracts.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Liu, C. G.; <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>;  and Jutla, D.\n</span>\n\n  \n\n</span>\n\n  In <i>2022 Fourth International Conference on Blockchain Computing and Applications (BCCA)</i>, pages 11-19,  2022. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://ieeexplore.ieee.org/document/9922193\"\n     onclick=\"log_download('liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022', 'https://ieeexplore.ieee.org/document/9922193', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Supporting Long-term Transactions in Smart Contracts [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://web.cs.dal.ca/~gang/BCCA/\"\n     onclick=\"log_download('liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022', 'https://web.cs.dal.ca/~gang/BCCA/', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Supporting Long-term Transactions in Smart Contracts [link]\"\n       title=\" download\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> download</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/BCCA55292.2022.9922193\"\n     onclick=\"log_download('liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022', 'http://doi.org/10.1109/BCCA55292.2022.9922193', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('liu-bodorik-jutla-supportinglongtermtransactionsinsmartcontracts-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{9922193,\n  author       = {Liu, Christian Gang and Bodorik, Peter and Jutla, Dawn},\n  booktitle    = {2022 Fourth International Conference on Blockchain Computing and Applications (BCCA)},\n  title        = {Supporting Long-term Transactions in Smart Contracts},\n  year         = {2022},\n  pages        = {11-19},\n  volume       = {},\n  number       = {},\n  doi          = {10.1109/BCCA55292.2022.9922193},\n  url_paper    = {https://ieeexplore.ieee.org/document/9922193},\n  url_download = {https://web.cs.dal.ca/~gang/BCCA/},\n  paper        = {https://ieeexplore.ieee.org/document/9922193}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.jait.us/index.php?m=content&amp;c=index&amp;a=show&amp;catid=217&amp;id=1219\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022', 'http://www.jait.us/index.php?m=content&amp;c=index&amp;a=show&amp;catid=217&amp;id=1219', event);\">\n    Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Liu, C. G.; <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>;  and Jutla, D.\n</span>\n\n  \n\n</span>\n\n  In <i>Journal of Advances in Information Technology (JAIT)</i>, volume 13, No. 3, pages 213–223,  2022. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.jait.us/index.php?m=content&amp;c=index&amp;a=show&amp;catid=217&amp;id=1219\"\n     onclick=\"log_download('liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022', 'http://www.jait.us/index.php?m=content&amp;c=index&amp;a=show&amp;catid=217&amp;id=1219', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.12720/jait.13.3.213-223\"\n     onclick=\"log_download('liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022', 'http://doi.org/10.12720/jait.13.3.213-223', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{liu_automating_2021,\n  title        = {Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling},\n  volume       = {13, No. 3},\n  issn         = {1798-2340},\n  url          = {http://www.jait.us/index.php?m=content&amp;c=index&amp;a=show&amp;catid=217&amp;id=1219},\n  doi          = {10.12720/jait.13.3.213-223},\n  abstract     = {The power and correctness of smart contracts have been the focus of much research. We propose a new approach for developing smart contracts that uses multi-modal modeling to represent the application logic for the trade domain. We use discrete events modeling for concurrency combined with {FSM} modeling to use concurrent {FSMs} to not only simplify the design process for the modeler, but also to scale the application running on a blockchain and facilitate identifying parts of a smart program that are suitable for off-chain processing on a sidechain that also provides privacy. In addition, we achieve separation of concerns between (a) application logic and (b) its transformation into a smart contract and deployment on a blockchain with processing of selected patterns on private sidechains. We transform the model into a smart contract automatically, such that patterns, selected by the modeler, are deployed on a sidechain. The interface for the mainchain to sidechain interaction is also prepared and deployed automatically.},\n  pages        = {213--223},\n  journaltitle = {10.12720/jait},\n  shortjournal = {{JAIT} is a scientific open access journal which focuses on empirical research results and critical analysis of technology development, use, management and impacts in information technology.},\n  booktitle    = {Journal of Advances in Information Technology (JAIT)},\n  author       = {Liu, C. G. and Bodorik, P. and Jutla, D.},\n  year         = {2022}\n}\n\n\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  The power and correctness of smart contracts have been the focus of much research. We propose a new approach for developing smart contracts that uses multi-modal modeling to represent the application logic for the trade domain. We use discrete events modeling for concurrency combined with FSM modeling to use concurrent FSMs to not only simplify the design process for the modeler, but also to scale the application running on a blockchain and facilitate identifying parts of a smart program that are suitable for off-chain processing on a sidechain that also provides privacy. In addition, we achieve separation of concerns between (a) application logic and (b) its transformation into a smart contract and deployment on a blockchain with processing of selected patterns on private sidechains. We transform the model into a smart contract automatically, such that patterns, selected by the modeler, are deployed on a sidechain. The interface for the mainchain to sidechain interaction is also prepared and deployed automatically.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"bodorik-gliu-julta-usingfsmstofindpatternsforoffchaincomputingfindingpatternsforoffchaincomputingwithfsms-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/3460537.3460565\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'bodorik-gliu-julta-usingfsmstofindpatternsforoffchaincomputingfindingpatternsforoffchaincomputingwithfsms-2021', 'https://doi.org/10.1145/3460537.3460565', event);\">\n    Using FSMs to Find Patterns for Off-Chain Computing: Finding Patterns for Off-Chain Computing with FSMs.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>; G. Liu, C.;  and Julta, D.\n</span>\n\n  \n\n</span>\n\n  In <i>2021 The 3rd ACM International Conference on Blockchain Technology</i>, of <i>ICBCT '21</i>, pages 28–34, New York, NY, USA,  2021. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3460537.3460565\"\n     onclick=\"log_download('bodorik-gliu-julta-usingfsmstofindpatternsforoffchaincomputingfindingpatternsforoffchaincomputingwithfsms-2021', 'https://doi.org/10.1145/3460537.3460565', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Using FSMs to Find Patterns for Off-Chain Computing: Finding Patterns for Off-Chain Computing with FSMs [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3460537.3460565\"\n     onclick=\"log_download('bodorik-gliu-julta-usingfsmstofindpatternsforoffchaincomputingfindingpatternsforoffchaincomputingwithfsms-2021', 'http://doi.org/10.1145/3460537.3460565', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/bodorik-gliu-julta-usingfsmstofindpatternsforoffchaincomputingfindingpatternsforoffchaincomputingwithfsms-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('bodorik-gliu-julta-usingfsmstofindpatternsforoffchaincomputingfindingpatternsforoffchaincomputingwithfsms-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{10.1145/3460537.3460565,\n  author    = {Bodorik, Peter and G. Liu, Christian and Julta, Dawn},\n  title     = {Using FSMs to Find Patterns for Off-Chain Computing: Finding Patterns for Off-Chain Computing with FSMs},\n  year      = {2021},\n  isbn      = {9781450389624},\n  address   = {New York, NY, USA},\n  url       = {https://doi.org/10.1145/3460537.3460565},\n  doi       = {10.1145/3460537.3460565},\n  abstract  = {One of the problems arising in using blockchains is their size-constraints regarding performance. This paper proposes a new algorithm for blockchain software developers and architects to use for determining what computations of a smart contract can be effectively done off-chain without loss of trust. Our algorithm uses FSMs or HSMs in order to create smart contract patterns using graphs and then uses pattern recognition to identify which parts of the smart contracts should be considered for moving off-chain. The pattern recognition property used is that once software execution transits into the pattern&#x27;s entry state, off-chain execution continues until the execution transits into the pattern&#x27;s exit state, when execution continues on-chain. The software developer reviews each pattern together with information, such as anticipated overhead cost due to off-chain execution, and she is provided with guidance on decision making whether to execute the smart contract pattern under consideration off-chain. Expert software developer inspection, in the context of a Trade Finance use case, validates that our algorithm finds optimal patterns for moving computations off-chain and improve blockchain software performance.},\n  booktitle = {2021 The 3rd ACM International Conference on Blockchain Technology},\n  pages     = {28–34},\n  numpages  = {7},\n  keywords  = {FSM and HSM modeling, Blockchain developer productivity, Smart contract, Off-chain computation, Blockchain},\n  location  = {Shanghai, China},\n  series    = {ICBCT &#x27;21}\n}\n\n\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  One of the problems arising in using blockchains is their size-constraints regarding performance. This paper proposes a new algorithm for blockchain software developers and architects to use for determining what computations of a smart contract can be effectively done off-chain without loss of trust. Our algorithm uses FSMs or HSMs in order to create smart contract patterns using graphs and then uses pattern recognition to identify which parts of the smart contracts should be considered for moving off-chain. The pattern recognition property used is that once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. The software developer reviews each pattern together with information, such as anticipated overhead cost due to off-chain execution, and she is provided with guidance on decision making whether to execute the smart contract pattern under consideration off-chain. Expert software developer inspection, in the context of a Trade Finance use case, validates that our algorithm finds optimal patterns for moving computations off-chain and improve blockchain software performance.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://ieeexplore.ieee.org/document/9659771\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021', 'https://ieeexplore.ieee.org/document/9659771', event);\">\n    From BPMN to smart contracts on blockchains: Transforming BPMN to DE-HSM multi-modal model.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Liu, C.; <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>;  and Jutla, D.\n</span>\n\n  \n\n</span>\n\n  In <i>2021 International Conference on Engineering and Emerging Technologies (ICEET)</i>, pages 1-7, Oct 2021. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://ieeexplore.ieee.org/document/9659771\"\n     onclick=\"log_download('liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021', 'https://ieeexplore.ieee.org/document/9659771', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"From BPMN to smart contracts on blockchains: Transforming BPMN to DE-HSM multi-modal model [link]\"\n       title=\" paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://web.cs.dal.ca/~gang/ICEET/\"\n     onclick=\"log_download('liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021', 'https://web.cs.dal.ca/~gang/ICEET/', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"From BPMN to smart contracts on blockchains: Transforming BPMN to DE-HSM multi-modal model [link]\"\n       title=\" download\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> download</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICEET53442.2021.9659771\"\n     onclick=\"log_download('liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021', 'http://doi.org/10.1109/ICEET53442.2021.9659771', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('liu-bodorik-jutla-frombpmntosmartcontractsonblockchainstransformingbpmntodehsmmultimodalmodel-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{9659771,\n  author       = {Liu, Chris and Bodorik, Peter and Jutla, Dawn},\n  booktitle    = {2021 International Conference on Engineering and Emerging Technologies (ICEET)},\n  title        = {From BPMN to smart contracts on blockchains: Transforming BPMN to DE-HSM multi-modal model},\n  year         = {2021},\n  volume       = {},\n  number       = {},\n  pages        = {1-7},\n  abstract     = {Scalability, privacy, and interoperability are some of the major issues receiving attention in research on blockchain technologies. We concentrate on the trade finance vertical for which we develop a new modeling approach with the objective of automatic transformation of an application, represented using Business Process Model and Notation (BPMN), into a smart contract deployed on a blockchain. Here, we describe how the BPMN model is transformed into a multimodal model that combines DE-HSM modeling. We provide a high-level overview of the method and review how BPMN categories of elements are transformed into a multi-modal DE-HSM model. We also describe briefly how the DE-FMS model is automatically transformed into deployable smart contracts that interact to form a distributed application: The smart contract deployed on the main blockchain coordinates activities amongst the business partners and interoperates with smart contracts, also automatically prepared and deployed on a sidechain(s), with one smart contract per individual business partner. Privacy is obtained by performing activities, which are not germane to the collaboration with the other business partners but deal with the private activities of the individual business partner, in a smart contract deployed and executed on a side chain. We thus provide for interoperability of smart contracts and privacy as private activities of a business partner are performed in a smart contract on a private sidechain.},\n  keywords     = {},\n  doi          = {10.1109/ICEET53442.2021.9659771},\n  issn         = {2409-2983},\n  month        = {Oct},\n  url_paper    = {https://ieeexplore.ieee.org/document/9659771},\n  url_download = {https://web.cs.dal.ca/~gang/ICEET/},\n  paper        = {https://ieeexplore.ieee.org/document/9659771}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  Scalability, privacy, and interoperability are some of the major issues receiving attention in research on blockchain technologies. We concentrate on the trade finance vertical for which we develop a new modeling approach with the objective of automatic transformation of an application, represented using Business Process Model and Notation (BPMN), into a smart contract deployed on a blockchain. Here, we describe how the BPMN model is transformed into a multimodal model that combines DE-HSM modeling. We provide a high-level overview of the method and review how BPMN categories of elements are transformed into a multi-modal DE-HSM model. We also describe briefly how the DE-FMS model is automatically transformed into deployable smart contracts that interact to form a distributed application: The smart contract deployed on the main blockchain coordinates activities amongst the business partners and interoperates with smart contracts, also automatically prepared and deployed on a sidechain(s), with one smart contract per individual business partner. Privacy is obtained by performing activities, which are not germane to the collaboration with the other business partners but deal with the private activities of the individual business partner, in a smart contract deployed and executed on a side chain. We thus provide for interoperability of smart contracts and privacy as private activities of a business partner are performed in a smart contract on a private sidechain.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/3457337.3457848\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021', 'https://doi.org/10.1145/3457337.3457848', event);\">\n    A Tool for Moving Blockchain Computations Off-Chain.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Liu, C.; <a class=\"bibbase author link\" href=\"https://blockchain.cs.dal.ca/\">Bodorik, P.</a>;  and Jutla, D.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure</i>, of <i>BSCI '21</i>, pages 103–109, New York, NY, USA,  2021. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3457337.3457848\"\n     onclick=\"log_download('liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021', 'https://doi.org/10.1145/3457337.3457848', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"A Tool for Moving Blockchain Computations Off-Chain [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3457337.3457848\"\n     onclick=\"log_download('liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021', 'http://doi.org/10.1145/3457337.3457848', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{10.1145/3457337.3457848,\n  author    = {Liu, Christian and Bodorik, Peter and Jutla, Dawn},\n  title     = {A Tool for Moving Blockchain Computations Off-Chain},\n  year      = {2021},\n  isbn      = {9781450384001},\n  address   = {New York, NY, USA},\n  url       = {https://doi.org/10.1145/3457337.3457848},\n  doi       = {10.1145/3457337.3457848},\n  abstract  = {This paper proposes a new approach and tool for blockchain software developers and architects to use for determining which computations of a smart contract can be effectively done off-chain without loss of trust and how they can be moved off-chain automatically. Our approach uses Finite State Machines (FSMs) and Hierarchical State Machines (HSMs) modeling in order to create smart contract patterns using graphs and then use pattern properties to identify which parts of the smart contracts should be considered for moving off-chain. Once software execution transits into the pattern&#x27;s entry state, off-chain execution continues until the execution transits into the pattern&#x27;s exit state, when execution continues on-chain. This paper further describes a tool for (1) FSM input and visualization, its analysis, and automatic transformation into a smart contract, and (2) an interface to support the developers&#x27; decision to optimally off-chain computations and to (3) define the communications between on-chain and off-chain computations.},\n  booktitle = {Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure},\n  pages     = {103–109},\n  numpages  = {7},\n  keywords  = {hierarchical state machine, blockchain, HSM, simple-graph, off-chain computation, transformation of FSM to smart contract, smart contract, FSM model},\n  location  = {Virtual Event, Hong Kong},\n  series    = {BSCI &#x27;21}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  This paper proposes a new approach and tool for blockchain software developers and architects to use for determining which computations of a smart contract can be effectively done off-chain without loss of trust and how they can be moved off-chain automatically. Our approach uses Finite State Machines (FSMs) and Hierarchical State Machines (HSMs) modeling in order to create smart contract patterns using graphs and then use pattern properties to identify which parts of the smart contracts should be considered for moving off-chain. Once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. This paper further describes a tool for (1) FSM input and visualization, its analysis, and automatic transformation into a smart contract, and (2) an interface to support the developers' decision to optimally off-chain computations and to (3) define the communications between on-chain and off-chain computations.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);