{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:15Z","timestamp":1750220055492,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,23]],"date-time":"2023-02-23T00:00:00Z","timestamp":1677110400000},"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":[[2023,2,23]]},"DOI":"10.1145\/3587828.3587846","type":"proceedings-article","created":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T15:40:57Z","timestamp":1687275657000},"page":"112-121","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Goal Driven Code Generation for Smart Contract Assemblies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7347-538X","authenticated-orcid":false,"given":"Konstantinos","family":"Tsiounis","sequence":"first","affiliation":[{"name":"Department of Computer Science, Western University, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5623-256X","authenticated-orcid":false,"given":"Kostas","family":"Kontogiannis","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, York University, Canada"}]}],"member":"320","published-online":{"date-parts":[[2023,6,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"35","volume-title":"Proc. 11th MoDELS\u201908","author":"Straeten R. Van Der","unstructured":"[ 1 ] R. Van Der Straeten , , \u201c Challenges in model-driven software engineering ,\u201d in Proc. 11th MoDELS\u201908 , Berlin, Germany , pp. 35 - 47 . [1] R. Van Der Straeten, et al., \u201cChallenges in model-driven software engineering,\u201d in Proc. 11th MoDELS\u201908, Berlin, Germany, pp. 35-47."},{"key":"e_1_3_2_1_2_1","first-page":"30","volume-title":"Proc. of EDOC\u201920","author":"Bachras Michalis","unstructured":"[ 2 ] Michalis Bachras , , \u201c Goal Modelling Meets Service Choreography: A Graph Transformation Approach \u201d. In Proc. of EDOC\u201920 , pp. 30 - 39 . [2] Michalis Bachras, et al., \u201cGoal Modelling Meets Service Choreography: A Graph Transformation Approach\u201d. In Proc. of EDOC\u201920, pp. 30-39."},{"issue":"2","key":"e_1_3_2_1_3_1","first-page":"321","article-title":"Smart contract development, adoption and challenges: The powered blockchain","volume":"4","author":"Sheikh H.","year":"2019","unstructured":"[ 3 ] H. Sheikh , R. et al ., \u201c Smart contract development, adoption and challenges: The powered blockchain ,\u201d Int. Res. J. Adv. Eng. Sci. , vol. 4 , no. 2 , p. 321 , 2019 . [3] H. Sheikh, R. et al., \u201cSmart contract development, adoption and challenges: The powered blockchain,\u201d Int. Res. J. Adv. Eng. Sci., vol. 4, no. 2, p. 321, 2019.","journal-title":"Int. Res. J. Adv. Eng. Sci."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296775"},{"volume-title":"\u201cSocial Modeling for Requirements Engineering","author":"E.","key":"e_1_3_2_1_5_1","unstructured":"[ 5 ] Yu, E. et al., (2011). \u201cSocial Modeling for Requirements Engineering \". MIT Press . [5] Yu, E. et al., (2011). \u201cSocial Modeling for Requirements Engineering\". MIT Press."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.20433"},{"first-page":"112","volume-title":"Proc. 13th International Workshop on. Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2008)","key":"e_1_3_2_1_7_1","unstructured":"[ 7 ] \u201c Using EEML for Combined Goal and Process Oriented Modeling: A Case Study \". In Proc. 13th International Workshop on. Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2008) pp. 112 \u2013 129. [7] \u201cUsing EEML for Combined Goal and Process Oriented Modeling: A Case Study\". In Proc. 13th International Workshop on. Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2008) pp. 112 \u2013 129."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106762"},{"key":"e_1_3_2_1_9_1","first-page":"210","volume-title":"Proc. IEEE Int. Workshops on Foundations and Applications of Self* Systems","author":"Christopher","unstructured":"[ 9 ] Frantz, Christopher et al., \u201cFrom Institutions to Code: Towards Automated Generation of Smart Contracts ,\u201d in Proc. IEEE Int. Workshops on Foundations and Applications of Self* Systems , pp. 210 - 215 . [9] Frantz, Christopher et al., \u201cFrom Institutions to Code: Towards Automated Generation of Smart Contracts,\u201d in Proc. IEEE Int. Workshops on Foundations and Applications of Self* Systems, pp.210-215."},{"key":"e_1_3_2_1_10_1","first-page":"963","volume-title":"Proc. iThings","author":"Choudhury O.","year":"2018","unstructured":"[ 10 ] O. Choudhury , , \u201c Autogeneration of smart contracts from domain-specific ontologies and semantic rules ,\u201d in Proc. iThings , 2018 , pp. 963 - 970 . [10] O. Choudhury, et al., \u201cAutogeneration of smart contracts from domain-specific ontologies and semantic rules,\u201d in Proc. iThings, 2018, pp. 963-970."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-13693-2_19"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_11"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_27"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2018.00052"},{"key":"e_1_3_2_1_16_1","unstructured":"[\n  16\n  ]  Falcao A. Mordido A. Vasconcelos V.T. \u201cProtocol-based Smart Contract Generation.\u201d in: ArXiv abs\/2108.02672(2021).  [16] Falcao A. Mordido A. Vasconcelos V.T. \u201cProtocol-based Smart Contract Generation.\u201d in: ArXiv abs\/2108.02672(2021)."},{"volume-title":"Blockchain Technology for Industry 4.0, Secure, Decentralized, Distributed and Trusted Industry Environment (pp.73-98)","year":"2020","key":"e_1_3_2_1_17_1","unstructured":"[ 17 ] Zupan, , \u201c Secure Smart Contract Generation Based on Petri Nets .\u201d, in: Blockchain Technology for Industry 4.0, Secure, Decentralized, Distributed and Trusted Industry Environment (pp.73-98) ( 2020 ). [17] Zupan, et al., \u201cSecure Smart Contract Generation Based on Petri Nets.\u201d, in: Blockchain Technology for Industry 4.0, Secure, Decentralized, Distributed and Trusted Industry Environment (pp.73-98) (2020)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2019.2900643"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2019.100935"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005744803090316"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"[\n  21\n  ]  A. Tsadimas etal \u201cSimulating simulation-agnostic sysml models for enterprise information systems via devs\u201d. In Simulation Modelling Practice and Theory (66).  [21] A. Tsadimas et al. \u201cSimulating simulation-agnostic sysml models for enterprise information systems via devs\u201d. In Simulation Modelling Practice and Theory (66).","DOI":"10.1016\/j.simpat.2016.04.001"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICoCS.2015.7483269"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"[\n  23\n  ]  M. Lachgar etal \u201cModeling and generating native code for cross-platform mobile applications using dsl\u201d. In Intel. Automation & Soft. Computing 23 (3).  [23] M. Lachgar et al. \u201cModeling and generating native code for cross-platform mobile applications using dsl\u201d. In Intel. Automation & Soft. Computing 23 (3).","DOI":"10.1080\/10798587.2016.1239392"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32129-0_31"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.083"},{"key":"e_1_3_2_1_26_1","first-page":"9","volume-title":"MIS 2005: Symposia on Metainformatics","author":"M.A.","unstructured":"[ 26 ] Laguna, M.A. , et al. : Requirements variability models: metamodel based transformations . In: MIS 2005: Symposia on Metainformatics , p. 9 . ACM(2005). [26] Laguna, M.A., et al.: Requirements variability models: metamodel based transformations. In: MIS 2005: Symposia on Metainformatics, p. 9. ACM(2005)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2890791"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCSE.2009.863"},{"key":"e_1_3_2_1_29_1","article-title":"Model driven architecture approach for application security integration","volume":"95","author":"Abdellatif L.","year":"2017","unstructured":"[ 29 ] L. Abdellatif , \u201c Model driven architecture approach for application security integration \u201d . In J.l of Theoretical and Applied Inf. Tech. v. 95 , 2017 . [29] L. Abdellatif, et al. \u201cModel driven architecture approach for application security integration\u201d. In J.l of Theoretical and Applied Inf. Tech. v. 95, 2017.","journal-title":". In J.l of Theoretical and Applied Inf. Tech."},{"key":"e_1_3_2_1_30_1","first-page":"3106","volume-title":"SICE Annual Conf. 2010","author":"Mizuoka K.","year":"2010","unstructured":"[ 30 ] K. Mizuoka , Mda development of manufacturing execution system based on automatic code generation , in: SICE Annual Conf. 2010 , 2010 , pp. 3103\u2013 3106 . [30] K. Mizuoka, et al. Mda development of manufacturing execution system based on automatic code generation, in: SICE Annual Conf. 2010, 2010, pp. 3103\u20133106."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.05.004"},{"key":"e_1_3_2_1_32_1","unstructured":"[\n  32\n  ]  Skotnica M. et al.. \"Towards model-driven smart contract systems\u2013code generation and improving expressivity of smart contract modeling.\" In Proc. EEWC\u201920.  [32] Skotnica M. et al.. \"Towards model-driven smart contract systems\u2013code generation and improving expressivity of smart contract modeling.\" In Proc. EEWC\u201920."},{"key":"e_1_3_2_1_33_1","unstructured":"[\n  33\n  ]  https:\/\/ethereum.org\/en\/ Last accessed 2022-12-19  [33] https:\/\/ethereum.org\/en\/ Last accessed 2022-12-19"},{"key":"e_1_3_2_1_34_1","unstructured":"[\n  34\n  ]  https:\/\/solana.com\/ Last accessed 2022-12-19  [34] https:\/\/solana.com\/ Last accessed 2022-12-19"},{"volume-title":"Symboleo2SC: From Legal Contract Specifications to Smart Contracts","author":"Ahmed Anda","key":"e_1_3_2_1_35_1","unstructured":"[ 35 ] Ahmed Anda A., , \u201c Symboleo2SC: From Legal Contract Specifications to Smart Contracts \u201d. In ACM\/IEEE 25th MODELS\u2019 22. [35] Ahmed Anda A., et al., \u201cSymboleo2SC: From Legal Contract Specifications to Smart Contracts\u201d. In ACM\/IEEE 25th MODELS\u201922."}],"event":{"name":"ICSCA 2023: 2023 12th International Conference on Software and Computer Applications","acronym":"ICSCA 2023","location":"Kuantan Malaysia"},"container-title":["Proceedings of the 2023 12th International Conference on Software and Computer Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587828.3587846","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587828.3587846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:27Z","timestamp":1750183707000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587828.3587846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,23]]},"references-count":35,"alternative-id":["10.1145\/3587828.3587846","10.1145\/3587828"],"URL":"https:\/\/doi.org\/10.1145\/3587828.3587846","relation":{},"subject":[],"published":{"date-parts":[[2023,2,23]]},"assertion":[{"value":"2023-06-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}