{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T02:34:27Z","timestamp":1778898867761,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"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":[[2022,10,23]]},"DOI":"10.1145\/3550355.3552407","type":"proceedings-article","created":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T22:44:57Z","timestamp":1666651497000},"page":"300-310","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Symboleo2SC"],"prefix":"10.1145","author":[{"given":"Aidin","family":"Rasti","sequence":"first","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alireza","family":"Parvizimosaed","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Logrippo","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada and UQO, Gatineau, Quebec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amal Ahmed","family":"Anda","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon48628.2021.9447125"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03596-9_8"},{"key":"e_1_3_2_1_4_1","volume-title":"Implementing Domain Specific Languages with Xtext and Xtend -","author":"Bettini Lorenzo","unstructured":"Lorenzo Bettini . 2016. Implementing Domain Specific Languages with Xtext and Xtend - Second Edition (2 nd ed.). Packt Publishing . Lorenzo Bettini. 2016. Implementing Domain Specific Languages with Xtext and Xtend - Second Edition (2nd ed.). Packt Publishing.","edition":"2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.2307\/2082975"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-6624-7_54"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010)","author":"Feldt Robert","year":"2010","unstructured":"Robert Feldt and Ana Magazinius . 2010 . Validity threats in empirical software engineering research-an initial survey . In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010) . Knowledge Systems Institute Graduate School, 374--379. Robert Feldt and Ana Magazinius. 2010. Validity threats in empirical software engineering research-an initial survey. In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010). Knowledge Systems Institute Graduate School, 374--379."},{"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":"publisher","DOI":"10.1109\/TSE.2020.2971482"},{"key":"e_1_3_2_1_10_1","volume-title":"Conceptual Modeling","author":"Griffo Cristine","unstructured":"Cristine Griffo , Jo\u00e3o Paulo A. Almeida , and Giancarlo Guizzardi . 2018. Conceptual Modeling of Legal Relations . In Conceptual Modeling , Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, and Mong Li Lee (Eds.). Springer International Publishing , Cham , 169--183. Cristine Griffo, Jo\u00e3o Paulo A. Almeida, and Giancarlo Guizzardi. 2018. Conceptual Modeling of Legal Relations. In Conceptual Modeling, Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, and Mong Li Lee (Eds.). Springer International Publishing, Cham, 169--183."},{"key":"e_1_3_2_1_11_1","volume-title":"A translation approach to portable ontology specifications. Knowledge acquisition 5, 2","author":"Gruber Thomas R","year":"1993","unstructured":"Thomas R Gruber . 1993. A translation approach to portable ontology specifications. Knowledge acquisition 5, 2 ( 1993 ), 199--220. Thomas R Gruber. 1993. A translation approach to portable ontology specifications. Knowledge acquisition 5, 2 (1993), 199--220."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106762"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2203.11520"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72654-6_7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-021-01127-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2702"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2019.00033"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2920776"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"e_1_3_2_1_20_1","volume-title":"VeriSolid: Correct-by-Design Smart Contracts for Ethereum","author":"Mavridou Anastasia","unstructured":"Anastasia Mavridou , Aron Laszka , Emmanouela Stachtiari , and Abhishek Dubey . 2019. VeriSolid: Correct-by-Design Smart Contracts for Ethereum . In Financial Cryptography and Data Security, Ian Goldberg and Tyler Moore (Eds.). Springer International Publishing , Cham , 446--465. Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, and Abhishek Dubey. 2019. VeriSolid: Correct-by-Design Smart Contracts for Ethereum. In Financial Cryptography and Data Security, Ian Goldberg and Tyler Moore (Eds.). Springer International Publishing, Cham, 446--465."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00279"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2019.8763784"},{"key":"e_1_3_2_1_23_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system","author":"Nakamoto Satoshi","year":"2008","unstructured":"Satoshi Nakamoto . 2008 . Bitcoin: A peer-to-peer electronic cash system . http:\/\/bitcoin.org\/bitcoin.pdf Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. http:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"e_1_3_2_1_24_1","volume-title":"Conceptual Modeling","author":"Parvizimosaed Alireza","unstructured":"Alireza Parvizimosaed , Sepehr Sharifi , Daniel Amyot , Luigi Logrippo , and John Mylopoulos . 2020. Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo . In Conceptual Modeling , Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, and Heinrich C. Mayr (Eds.). Springer International Publishing , Cham , 271--285. Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, and John Mylopoulos. 2020. Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. In Conceptual Modeling, Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, and Heinrich C. Mayr (Eds.). Springer International Publishing, Cham, 271--285."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6974787"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.05.046"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3021502"},{"key":"e_1_3_2_1_28_1","volume-title":"Artificial intelligence today","author":"Shanahan Murray","unstructured":"Murray Shanahan . 1999. The event calculus explained . In Artificial intelligence today . Springer , 409--430. Murray Shanahan. 1999. The event calculus explained. In Artificial intelligence today. Springer, 409--430."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00049"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.20381\/ruor-25092"},{"key":"e_1_3_2_1_31_1","volume-title":"CIAO!","author":"Skotnica Marek","year":"2020","unstructured":"Marek Skotnica , J A Klicpera , and Robert Pergl . 2020. Towards Model-Driven Smart Contract Systems - Code Generation and Improving Expressivity of Smart Contract Modeling . In CIAO! Doctoral Consortium , EEWC Forum 2020 . 1--15. http:\/\/ceur-ws.org\/Vol-2825\/paper1.pdf Marek Skotnica, J A Klicpera, and Robert Pergl. 2020. Towards Model-Driven Smart Contract Systems - Code Generation and Improving Expressivity of Smart Contract Modeling. In CIAO! Doctoral Consortium, EEWC Forum 2020. 1--15. http:\/\/ceur-ws.org\/Vol-2825\/paper1.pdf"},{"key":"e_1_3_2_1_32_1","unstructured":"Solidity Team. 2022. Solidity. https:\/\/soliditylang.org\/  Solidity Team. 2022. Solidity. https:\/\/soliditylang.org\/"},{"key":"e_1_3_2_1_33_1","first-page":"50","article-title":"Smart contracts: building blocks for digital markets","volume":"16","author":"Szabo Nick","year":"1996","unstructured":"Nick Szabo . 1996 . Smart contracts: building blocks for digital markets . EXTROPY: The Journal of Transhumanist Thought 16 , 1 (1996), 50 -- 53 . https:\/\/archive.org\/details\/extropy-16\/page\/50\/mode\/1up?view=theater Nick Szabo. 1996. Smart contracts: building blocks for digital markets. EXTROPY: The Journal of Transhumanist Thought 16, 1 (1996), 50--53. https:\/\/archive.org\/details\/extropy-16\/page\/50\/mode\/1up?view=theater","journal-title":"EXTROPY: The Journal of Transhumanist Thought"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2019.2900643"},{"key":"e_1_3_2_1_35_1","volume-title":"Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management. In BPM 2018 Dissertation Award, Demonstration, and Industrial Track. 56--60","author":"Tran An Binh","year":"2018","unstructured":"An Binh Tran , Qinghua Lu , and Ingo Weber . 2018 . Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management. In BPM 2018 Dissertation Award, Demonstration, and Industrial Track. 56--60 . http:\/\/ceur-ws.org\/Vol-2196\/BPM_2018_paper_12.pdf An Binh Tran, Qinghua Lu, and Ingo Weber. 2018. Lorikeet: A Model-Driven Engineering Tool for Blockchain-Based Business Process Execution and Asset Management. In BPM 2018 Dissertation Award, Demonstration, and Industrial Track. 56--60. http:\/\/ceur-ws.org\/Vol-2196\/BPM_2018_paper_12.pdf"},{"key":"e_1_3_2_1_36_1","unstructured":"An Binh Tran Xiwei Xu Ingo Weber Mark Staples and Paul Rimba. 2017. Regerator: a Registry Generator for Blockchain. In CAiSE-Forum-DC. 81--88. http:\/\/ceur-ws.org\/Vol-1848\/CAiSE2017_Forum_Paper11.pdf  An Binh Tran Xiwei Xu Ingo Weber Mark Staples and Paul Rimba. 2017. Regerator: a Registry Generator for Blockchain. In CAiSE-Forum-DC. 81--88. http:\/\/ceur-ws.org\/Vol-1848\/CAiSE2017_Forum_Paper11.pdf"},{"key":"e_1_3_2_1_37_1","volume-title":"Ontologies: Principles, methods and applications. The knowledge engineering review 11, 2","author":"Uschold Mike","year":"1996","unstructured":"Mike Uschold and Michael Gruninger . 1996 . Ontologies: Principles, methods and applications. The knowledge engineering review 11, 2 (1996), 93--136. Mike Uschold and Michael Gruninger. 1996. Ontologies: Principles, methods and applications. The knowledge engineering review 11, 2 (1996), 93--136."},{"key":"e_1_3_2_1_38_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood . 2014 . Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151 , 2014 (2014), 1--32. Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151, 2014 (2014), 1--32."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC48266.2020.9169399"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.019"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2021.3054617"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552407","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:07Z","timestamp":1750183687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552407"}},"subtitle":["from legal contract specifications to smart contracts"],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":41,"alternative-id":["10.1145\/3550355.3552407","10.1145\/3550355"],"URL":"https:\/\/doi.org\/10.1145\/3550355.3552407","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}