Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling. Liu, C. G., Bodorik, P., & Jutla, D. In Journal of Advances in Information Technology (JAIT), volume 13, No. 3, pages 213–223, 2022. Acceptance Rate: 5%, CiteScore: 4.2.![Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex 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.
@inproceedings{liu_automating_2021,
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 = {Liu, C. G. and Bodorik, P. and Jutla, D.},
year = {2022},
note = {Acceptance Rate: 5%, CiteScore: 4.2.}
}
Downloads: 0
{"_id":"PBvZLu68Ykj6gq5Xh","bibbaseid":"liu-bodorik-jutla-automatingsmartcontractgenerationonblockchainsusingmultimodalmodeling-2022","author_short":["Liu, C. G.","Bodorik, P.","Jutla, D."],"bibdata":{"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","note":"Acceptance Rate: 5%, CiteScore: 4.2.","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 note = {Acceptance Rate: 5%, CiteScore: 4.2.}\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":{}}},"bibtype":"inproceedings","biburl":"https://web.cs.dal.ca/~chris/pubs_without_questionmarks.bib","dataSources":["HHLbfBzYN6trpPQar","gANGYNodd4CwCN2Cq"],"keywords":[],"search_terms":["automating","smart","contract","generation","blockchains","using","multi","modal","modeling","liu","bodorik","jutla"],"title":"Automating Smart Contract Generation on Blockchains Using Multi-modal Modeling","year":2022}