@inproceedings{10.1145/3457337.3457848,
  author    = {Liu, Christian and Bodorik, Peter and Jutla, Dawn},
  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}
}

{"_id":"gzxL5D4ZcHTxRSc3H","bibbaseid":"liu-bodorik-jutla-atoolformovingblockchaincomputationsoffchain-2021","author_short":["Liu, C.","Bodorik, P.","Jutla, D."],"bibdata":{"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":{}}},"bibtype":"inproceedings","biburl":"https://web.cs.dal.ca/~chris/pubs_without_questionmarks.bib","dataSources":["HHLbfBzYN6trpPQar","gANGYNodd4CwCN2Cq"],"keywords":["hierarchical state machine","blockchain","hsm","simple-graph","off-chain computation","transformation of fsm to smart contract","smart contract","fsm model"],"search_terms":["tool","moving","blockchain","computations","chain","liu","bodorik","jutla"],"title":"A Tool for Moving Blockchain Computations Off-Chain","year":2021}