{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:32:20Z","timestamp":1773329540069,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3419804.3421454","type":"proceedings-article","created":{"date-parts":[[2020,10,18]],"date-time":"2020-10-18T10:23:21Z","timestamp":1603016601000},"page":"34-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["iContractML"],"prefix":"10.1145","author":[{"given":"Mohammad","family":"Hamdaqa","sequence":"first","affiliation":[{"name":"Reykjavik University, Reykjavik, Iceland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas Alberto Pineda","family":"Metz","sequence":"additional","affiliation":[{"name":"Reykjavik University, Reykjavik, Iceland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilham","family":"Qasse","sequence":"additional","affiliation":[{"name":"Reykjavik University, Reykjavik, Iceland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Gaurav Agrawal. 2018. DSLs for Ethereum Contracts. Retrieved May 2 2020 from https:\/\/medium.com\/coinmonks\/dsls-for-ethereum-contracts-380136177abd  Gaurav Agrawal. 2018. DSLs for Ethereum Contracts. Retrieved May 2 2020 from https:\/\/medium.com\/coinmonks\/dsls-for-ethereum-contracts-380136177abd"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_28"},{"key":"e_1_3_2_1_3_1","unstructured":"Azure blockchain. 2016. Retrieved May 2 2020 from https:\/\/azure.microsoft.com\/en-us\/solutions\/blockchain\/  Azure blockchain. 2016. Retrieved May 2 2020 from https:\/\/azure.microsoft.com\/en-us\/solutions\/blockchain\/"},{"key":"e_1_3_2_1_4_1","unstructured":"Vitalik Buterin et al. 2014. A next-generation smart contract and decentralized application platform. white paper 3 37 (2014).  Vitalik Buterin et al. 2014. A next-generation smart contract and decentralized application platform. white paper 3 37 (2014)."},{"key":"e_1_3_2_1_5_1","unstructured":"Christopher D Clack Vikram A Bakshi and Lee Braine. 2016. Smart contract templates: foundations design landscape and research directions. arXiv preprint arXiv:1608.00771 (2016).  Christopher D Clack Vikram A Bakshi and Lee Braine. 2016. Smart contract templates: foundations design landscape and research directions. arXiv preprint arXiv:1608.00771 (2016)."},{"key":"e_1_3_2_1_6_1","unstructured":"Hyperledger Composer. 2018. Hyperledger Composer Documentation. Linux Foundation (2018).  Hyperledger Composer. 2018. Hyperledger Composer Documentation. Linux Foundation (2018)."},{"key":"e_1_3_2_1_7_1","unstructured":"DAML SDK Documentation. 2019. Retrieved May 2 2020 from https:\/\/docs.daml.com\/index.html  DAML SDK Documentation. 2019. Retrieved May 2 2020 from https:\/\/docs.daml.com\/index.html"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2016.53"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"P\u00e9ter Garamv\u00f6lgyi Imre Kocsis Benj\u00e1min Gehl and Attila Klenik. 2018. Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems. In 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE 134--139.  P\u00e9ter Garamv\u00f6lgyi Imre Kocsis Benj\u00e1min Gehl and Attila Klenik. 2018. Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems. In 2018 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE 134--139.","DOI":"10.1109\/DSN-W.2018.00052"},{"key":"e_1_3_2_1_10_1","volume-title":"Domain engineering","author":"Guizzardi Giancarlo"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_51"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"e_1_3_2_1_13_1","volume-title":"Marlowe: Financial contracts on blockchain. Retrieved","author":"IOHK.","year":"2018"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351267"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_11"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_27"},{"key":"e_1_3_2_1_19_1","volume-title":"International Conference on Software Language Engineering. Springer, 16--34","author":"Moody Daniel","year":"2008"},{"key":"e_1_3_2_1_20_1","unstructured":"Ergo Project. [n.d.]. Retrieved August 2 2020 from https:\/\/accordproject.org\/projects\/ergo\/  Ergo Project. [n.d.]. Retrieved August 2 2020 from https:\/\/accordproject.org\/projects\/ergo\/"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_2"},{"key":"e_1_3_2_1_22_1","volume-title":"Operating Permissioned Blockchain in Clouds: A Performance Study of Hyperledger Sawtooth. In 2019 18th International Symposium on Parallel and Distributed Computing (ISPDC). IEEE, 50--57","author":"Shi Zeshun","year":"2019"},{"key":"e_1_3_2_1_23_1","unstructured":"International Business Times. 2016. Barclays' Smart Contract Templates stars in first ever public demo of R3's Corda platform. Retrieved May 2 2020 from https:\/\/www.ibtimes.co.uk\/barclays-smart-contract-templates-heralds-first-ever-public-demo-r3s-corda-platform-1555329  International Business Times. 2016. Barclays' Smart Contract Templates stars in first ever public demo of R3's Corda platform. Retrieved May 2 2020 from https:\/\/www.ibtimes.co.uk\/barclays-smart-contract-templates-heralds-first-ever-public-demo-r3s-corda-platform-1555329"},{"key":"e_1_3_2_1_24_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151","author":"Gavin Wood","year":"2014"},{"key":"e_1_3_2_1_25_1","unstructured":"Weiqin Zou David Lo Pavneet Singh Kochhar Xuan-Bach D Le Xin Xia Yang Feng Zhenyu Chen and Baowen Xu. 2019. Smart contract development: Challenges and opportunities. IEEE Transactions on Software Engineering (2019).  Weiqin Zou David Lo Pavneet Singh Kochhar Xuan-Bach D Le Xin Xia Yang Feng Zhenyu Chen and Baowen Xu. 2019. Smart contract development: Challenges and opportunities. IEEE Transactions on Software Engineering (2019)."}],"event":{"name":"SAM '20: 12th System Analysis and Modelling Conference","location":"Virtual Event Canada","acronym":"SAM '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 12th System Analysis and Modelling Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3421454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3419804.3421454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:03Z","timestamp":1750195923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419804.3421454"}},"subtitle":["A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain Platforms"],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":24,"alternative-id":["10.1145\/3419804.3421454","10.1145\/3419804"],"URL":"https:\/\/doi.org\/10.1145\/3419804.3421454","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}