{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T14:37:26Z","timestamp":1775486246800,"version":"3.50.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T00:00:00Z","timestamp":1719619200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,6,29]],"date-time":"2024-06-29T00:00:00Z","timestamp":1719619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100004054","name":"King Abdulaziz University","doi-asserted-by":"publisher","award":["Doctoral Scholarship"],"award-info":[{"award-number":["Doctoral Scholarship"]}],"id":[{"id":"10.13039\/501100004054","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100018693","name":"HORIZON EUROPE Framework Programme","doi-asserted-by":"publisher","award":["101070537"],"award-info":[{"award-number":["101070537"]}],"id":[{"id":"10.13039\/100018693","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["Discovery Grant"],"award-info":[{"award-number":["Discovery Grant"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012171","name":"Ontario Research Foundation","doi-asserted-by":"publisher","award":["ORF-RE"],"award-info":[{"award-number":["ORF-RE"]}],"id":[{"id":"10.13039\/100012171","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2025,8]]},"DOI":"10.1007\/s10270-024-01187-9","type":"journal-article","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T10:04:18Z","timestamp":1719828258000},"page":"1127-1156","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Automated generation of smart contract code from legal contract specifications with Symboleo2SC"],"prefix":"10.1007","volume":"24","author":[{"given":"Aidin","family":"Rasti","sequence":"first","affiliation":[]},{"given":"Amal Ahmed","family":"Anda","sequence":"additional","affiliation":[]},{"given":"Sofana","family":"Alfuhaid","sequence":"additional","affiliation":[]},{"given":"Alireza","family":"Parvizimosaed","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2414-1791","authenticated-orcid":false,"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[]},{"given":"Luigi","family":"Logrippo","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,29]]},"reference":[{"key":"1187_CR1","doi-asserted-by":"publisher","unstructured":"Abbas, M., Rashid, M., Azam, F., Rasheed, Y., Anwar, M.W., Humdani, M.: A model-driven framework for security labs using blockchain methodology. In: 2021 IEEE International Systems Conference (SysCon), pp. 1\u20137. IEEE, USA (2021). https:\/\/doi.org\/10.1109\/SysCon48628.2021.9447125","DOI":"10.1109\/SysCon48628.2021.9447125"},{"key":"1187_CR2","doi-asserted-by":"publisher","unstructured":"Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De\u00a0Caro, A., Enyeart, D., Ferris, C., Laventman, G., Manevich, Y., et\u00a0al.: Hyperledger Fabric: a distributed operating system for permissioned blockchains. In: Proceedings of the Thirteenth EuroSys Conference, pp. 1\u201315. ACM, USA (2018). https:\/\/doi.org\/10.1145\/3190508.3190538","DOI":"10.1145\/3190508.3190538"},{"key":"1187_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-030-03596-9_8","volume-title":"Service-Oriented Computing","author":"T Astigarraga","year":"2018","unstructured":"Astigarraga, T., Chen, X., Chen, Y., Gu, J., Hull, R., Jiao, L., Li, Y., Novotny, P.: Empowering business-level blockchain users with a rules framework for smart contracts. In: Pahl, C., Vukovic, M., Yin, J., Yu, Q. (eds.) Service-Oriented Computing, pp. 111\u2013128. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-030-03596-9_8"},{"key":"1187_CR4","unstructured":"Baquero, P., Restrepo\u00a0Amariles, D., Amyot, D.: Addressing the compliance gap in data supply chains: Smart contracts as a compliance technology. Law & Society Annual Meeting, virtual, Chicago, USA (2021). https:\/\/www.lawandsociety.org\/wp-content\/uploads\/2021\/05\/Program-Book-2021.pdf"},{"key":"1187_CR5","unstructured":"Bettini, L.: Implementing Domain Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing (2016)"},{"issue":"3","key":"1187_CR6","doi-asserted-by":"publisher","first-page":"582","DOI":"10.2307\/2082975","volume":"89","author":"SES Crawford","year":"1995","unstructured":"Crawford, S.E.S., Ostrom, E.: A grammar of institutions. Am. Polit. Sci. Rev. 89(3), 582\u2013600 (1995). https:\/\/doi.org\/10.2307\/2082975","journal-title":"Am. Polit. Sci. Rev."},{"key":"1187_CR7","doi-asserted-by":"publisher","unstructured":"Curty, S., H\u00e4rer, F., Fill, H.G.: Design of blockchain-based applications using model-driven engineering and low-code\/no-code platforms: a structured literature review. Softw. Syst. Model. 1\u201339 (2023). https:\/\/doi.org\/10.1007\/s10270-023-01109-1","DOI":"10.1007\/s10270-023-01109-1"},{"key":"1187_CR8","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-981-16-6624-7_54","volume-title":"Intelligent Data Engineering and Analytics","author":"V Dwivedi","year":"2022","unstructured":"Dwivedi, V., Norta, A.: Auto-generation of smart contracts from a domain-specific XML-based language. In: Satapathy, S.C., Peer, P., Tang, J., Bhateja, V., Ghosh, A. (eds.) Intelligent Data Engineering and Analytics, pp. 549\u2013564. Springer, Singapore (2022). https:\/\/doi.org\/10.1007\/978-981-16-6624-7_54"},{"key":"1187_CR9","unstructured":"Feldt, R., Magazinius, A.: Validity threats in empirical software engineering research-an initial survey. In: Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE\u20192010), pp. 374\u2013379. Knowledge Systems Institute Graduate School (2010). http:\/\/www.robertfeldt.net\/publications\/feldt_2010_validity_threats_in_ese_initial_survey.pdf"},{"key":"1187_CR10","doi-asserted-by":"publisher","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: Towards automated generation of smart contracts. In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210\u2013215. IEEE, USA (2016).https:\/\/doi.org\/10.1109\/FAS-W.2016.53","DOI":"10.1109\/FAS-W.2016.53"},{"issue":"12","key":"1187_CR11","doi-asserted-by":"publisher","first-page":"2874","DOI":"10.1109\/TSE.2020.2971482","volume":"47","author":"Z Gao","year":"2021","unstructured":"Gao, Z., Jiang, L., Xia, X., Lo, D., Grundy, J.: Checking smart contracts with structural code embedding. IEEE Trans. Softw. Eng. 47(12), 2874\u20132891 (2021). https:\/\/doi.org\/10.1109\/TSE.2020.2971482","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1187_CR12","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-030-00847-5_14","volume-title":"Conceptual Modeling","author":"C Griffo","year":"2018","unstructured":"Griffo, C., Almeida, J.P.A., Guizzardi, G.: Conceptual modeling of legal relations. In: Trujillo, J.C., Davis, K.C., Du, X., Li, Z., Ling, T.W., Li, G., Lee, M.L. (eds.) Conceptual Modeling, pp. 169\u2013183. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00847-5_14"},{"issue":"2","key":"1187_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"TR Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199\u2013220 (1993). https:\/\/doi.org\/10.1006\/knac.1993.1008","journal-title":"Knowl. Acquis."},{"key":"1187_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106762","volume":"144","author":"M Hamdaqa","year":"2022","unstructured":"Hamdaqa, M., Met, L.A.P., Qasse, I.: iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms. Inf. Softw. Technol. 144, 106762 (2022). https:\/\/doi.org\/10.1016\/j.infsof.2021.106762","journal-title":"Inf. Softw. Technol."},{"key":"1187_CR15","doi-asserted-by":"publisher","unstructured":"Heimbach, L., Wattenhofer, R.: Sok: Preventing transaction reordering manipulations in decentralized finance (2022). https:\/\/doi.org\/10.48550\/ARXIV.2203.11520","DOI":"10.48550\/ARXIV.2203.11520"},{"key":"1187_CR16","doi-asserted-by":"publisher","unstructured":"Jurgelaitis, M., Drungilas, V., \u010ceponien\u0117, L., Vai\u010diukynas, E., Butkien\u0117, R., \u010ceponis, J.: Smart contract code generation from platform specific model for Hyperledger Go. In: Rocha, \u00c1., Adeli, H., Dzemyda, G., Moreira, F., Ramalho\u00a0Correia, A.M. (eds.) Trends and Applications in Information Systems and Technologies, pp. 63\u201373. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-72654-6_7","DOI":"10.1007\/978-3-030-72654-6_7"},{"issue":"5","key":"1187_CR17","doi-asserted-by":"publisher","first-page":"2901","DOI":"10.1007\/s12083-021-01127-0","volume":"14","author":"SN Khan","year":"2021","unstructured":"Khan, S.N., Loukil, F., Ghedira-Guegan, C., Benkhelifa, E., Bani-Hani, A.: Blockchain smart contracts: applications, challenges, and future trends. Peer-to-peer Network. Appl. 14(5), 2901\u20132925 (2021). https:\/\/doi.org\/10.1007\/s12083-021-01127-0","journal-title":"Peer-to-peer Network. Appl."},{"key":"1187_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102665","volume":"208","author":"TC Lethbridge","year":"2021","unstructured":"Lethbridge, T.C., Forward, A., Badreddin, O., Brestovansky, D., Garzon, M., Aljamaan, H., Eid, S., Husseini Orabi, A., Husseini Orabi, M., Abdelzad, V., Adesina, O., Alghamdi, A., Algablan, A., Zakariapour, A.: Umple: model-driven development for open source and education. Sci. Comput. Program. 208, 102665 (2021). https:\/\/doi.org\/10.1016\/j.scico.2021.102665","journal-title":"Sci. Comput. Program."},{"key":"1187_CR19","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1002\/spe.2702","volume":"49","author":"O L\u00f3pez-Pintado","year":"2019","unstructured":"L\u00f3pez-Pintado, O., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M., Weber, I., Ponomarev, A.: Caterpillar: a business process execution engine on the Ethereum blockchain. Softw. Pract. Exp. 49, 1162\u20131193 (2019). https:\/\/doi.org\/10.1002\/spe.2702","journal-title":"Softw. Pract. Exp."},{"key":"1187_CR20","doi-asserted-by":"publisher","unstructured":"L\u00f3pez-Pintado, O., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., Weber, I.: Interpreted execution of business process models on blockchain. In: 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC), pp. 206\u2013215. IEEE, USA (2019). https:\/\/doi.org\/10.1109\/EDOC.2019.00033","DOI":"10.1109\/EDOC.2019.00033"},{"key":"1187_CR21","doi-asserted-by":"publisher","first-page":"73131","DOI":"10.1109\/ACCESS.2019.2920776","volume":"7","author":"D Mao","year":"2019","unstructured":"Mao, D., Wang, F., Wang, Y., Hao, Z.: Visual and user-defined smart contract designing system based on automatic coding. IEEE Access 7, 73131\u201373143 (2019). https:\/\/doi.org\/10.1109\/ACCESS.2019.2920776","journal-title":"IEEE Access"},{"key":"1187_CR22","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/978-3-662-58387-6_28","volume-title":"Financial Cryptography and Data Security","author":"A Mavridou","year":"2018","unstructured":"Mavridou, A., Laszka, A.: Designing secure Ethereum smart contracts: a finite state machine based approach. In: Meiklejohn, S., Sako, K. (eds.) Financial Cryptography and Data Security, pp. 523\u2013540. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-3-662-58387-6_28"},{"key":"1187_CR23","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-030-32101-7_27","volume-title":"Financial Cryptography and Data Security","author":"A Mavridou","year":"2019","unstructured":"Mavridou, A., Laszka, A., Stachtiari, E., Dubey, A.: Verisolid: correct-by-design smart contracts for Ethereum. In: Goldberg, I., Moore, T. (eds.) Financial Cryptography and Data Security, pp. 446\u2013465. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32101-7_27"},{"key":"1187_CR24","doi-asserted-by":"publisher","unstructured":"Mizzi, A., Ellul, J., Pace, G.J.: Macroprogramming the blockchain of things. In: 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 1673\u20131678. IEEE, USA (2018). https:\/\/doi.org\/10.1109\/Cybermatics_2018.2018.00279","DOI":"10.1109\/Cybermatics_2018.2018.00279"},{"key":"1187_CR25","doi-asserted-by":"publisher","unstructured":"Mizzi, A., Ellul, J., Pace, G.J.: Porthos: macroprogramming blockchain systems. In: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp. 1\u20135. IEEE, USA (2019).https:\/\/doi.org\/10.1109\/NTMS.2019.8763784","DOI":"10.1109\/NTMS.2019.8763784"},{"key":"1187_CR26","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). http:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"1187_CR27","doi-asserted-by":"publisher","unstructured":"Parvizimosaed, A.: Symboleo: specification and verification of legal contracts. Ph.D. thesis, University of Ottawa, Canada (2022). https:\/\/doi.org\/10.20381\/ruor-28399","DOI":"10.20381\/ruor-28399"},{"key":"1187_CR28","doi-asserted-by":"publisher","unstructured":"Parvizimosaed, A., Roveri, M., Rasti, A., Amyot, D., Logrippo, L., Mylopoulos, J.: Model-checking legal contracts with SymboleoPC. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS\u201922, pp. 278\u2013288. ACM, New York (2022). https:\/\/doi.org\/10.1145\/3550355.3552449","DOI":"10.1145\/3550355.3552449"},{"key":"1187_CR29","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-030-62522-1_20","volume-title":"Conceptual Modeling","author":"A Parvizimosaed","year":"2020","unstructured":"Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Mylopoulos, J.: Subcontracting, assignment, and substitution for legal contracts in Symboleo. In: Dobbie, G., Frank, U., Kappel, G., Liddle, S.W., Mayr, H.C. (eds.) Conceptual Modeling, pp. 271\u2013285. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-62522-1_20"},{"issue":"6","key":"1187_CR30","doi-asserted-by":"publisher","first-page":"2395","DOI":"10.1007\/s10270-022-01053-6","volume":"21","author":"A Parvizimosaed","year":"2022","unstructured":"Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Roveri, M., Rasti, A., Roudak, A., Mylopoulos, J.: Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. 21(6), 2395\u20132427 (2022). https:\/\/doi.org\/10.1007\/s10270-022-01053-6","journal-title":"Softw. Syst. Model."},{"key":"1187_CR31","doi-asserted-by":"publisher","unstructured":"Rasti, A.: From Symboleo to smart contracts: a code generator. Master\u2019s thesis, University of Ottawa, Canada (2022). https:\/\/doi.org\/10.20381\/ruor-28394","DOI":"10.20381\/ruor-28394"},{"key":"1187_CR32","doi-asserted-by":"publisher","unstructured":"Rasti, A., Amyot, D., Parvizimosaed, A., Roveri, M., Logrippo, L., Anda, A.A., Mylopoulos, J.: Symboleo2SC: From legal contract specifications to smart contracts. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS\u201922, pp. 300\u2013310. ACM, New York (2022). https:\/\/doi.org\/10.1145\/3550355.3552407","DOI":"10.1145\/3550355.3552407"},{"key":"1187_CR33","doi-asserted-by":"publisher","unstructured":"Rasti, A., Anda, A.A., Alfuhaid, S., Parvizimosaed, A., Amyot, D., Roveri, M., Logrippo, L., Mylopoulos, J.: Supplementary material: automated generation of smart contract code from legal contract specifications with Symboleo2SC (2023). https:\/\/doi.org\/10.5281\/zenodo.7897970","DOI":"10.5281\/zenodo.7897970"},{"key":"1187_CR34","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.future.2018.05.046","volume":"88","author":"A Reyna","year":"2018","unstructured":"Reyna, A., Mart\u00edn, C., Chen, J., Soler, E., D\u00edaz, M.: On blockchain and its integration with IoT. Challenges and opportunities. Future Gener. Comput. Syst. 88, 173\u2013190 (2018). https:\/\/doi.org\/10.1016\/j.future.2018.05.046","journal-title":"Future Gener. Comput. Syst."},{"key":"1187_CR35","doi-asserted-by":"publisher","first-page":"164556","DOI":"10.1109\/ACCESS.2020.3021502","volume":"8","author":"N S\u00e1nchez-G\u00f3mez","year":"2020","unstructured":"S\u00e1nchez-G\u00f3mez, N., Torres-Valderrama, J., Garc\u00eda-Garc\u00eda, J., Guti\u00e9rrez, J.J., Escalona, M.: Model-based software design and testing in blockchain smart contracts: a systematic literature review. IEEE Access 8, 164556\u2013164569 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.3021502","journal-title":"IEEE Access"},{"key":"1187_CR36","doi-asserted-by":"publisher","unstructured":"Shanahan, M.: The event calculus explained. In: Artificial Intelligence Today, pp. 409\u2013430. Springer, Berlin (1999). https:\/\/doi.org\/10.1007\/3-540-48317-9_17","DOI":"10.1007\/3-540-48317-9_17"},{"key":"1187_CR37","doi-asserted-by":"publisher","unstructured":"Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J.: Symboleo: towards a specification language for legal contracts. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 364\u2013369. IEEE, USA (2020).https:\/\/doi.org\/10.1109\/RE48521.2020.00049","DOI":"10.1109\/RE48521.2020.00049"},{"key":"1187_CR38","doi-asserted-by":"publisher","unstructured":"Sharifi, S.S.: Smart contracts: from formal specification to blockchain code. Master\u2019s thesis, University of Ottawa, Canada (2020). https:\/\/doi.org\/10.20381\/ruor-25092","DOI":"10.20381\/ruor-25092"},{"key":"1187_CR39","unstructured":"Skotnica, M., Klicpera, J.A., Pergl, R.: Towards model-driven smart contract systems\u2014code generation and improving expressivity of smart contract modeling. In: CIAO! Doctoral Consortium, EEWC Forum 2020, pp. 1\u201315 (2020). http:\/\/ceur-ws.org\/Vol-2825\/paper1.pdf"},{"key":"1187_CR40","unstructured":"Solidity Team: Solidity (2023). https:\/\/soliditylang.org\/"},{"key":"1187_CR41","unstructured":"Szabo, N.: Smart contracts: building blocks for digital markets. EXTROPY J. Transhumanist Thought 16(1), 50\u201353 (1996). https:\/\/archive.org\/details\/extropy-16\/page\/50\/mode\/1up?view=theater"},{"issue":"2\/3","key":"1187_CR42","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1147\/JRD.2019.2900643","volume":"63","author":"T Tateishi","year":"2019","unstructured":"Tateishi, T., Yoshihama, S., Sato, N., Saito, S.: Automatic smart contract generation using controlled natural language and template. IBM J. Res. Dev. 63(2\/3), 6:1-6:12 (2019). https:\/\/doi.org\/10.1147\/JRD.2019.2900643","journal-title":"IBM J. Res. Dev."},{"key":"1187_CR43","unstructured":"Tran, A.B., Lu, Q., Weber, I.: Lorikeet: a model-driven engineering tool for blockchain-based business process execution and asset management. In: BPM 2018 Dissertation Award, Demonstration, and Industrial Track, pp. 56\u201360 (2018). http:\/\/ceur-ws.org\/Vol-2196\/BPM_2018_paper_12.pdf"},{"key":"1187_CR44","unstructured":"Tran, A.B., Xu, X., Weber, I., Staples, M., Rimba, P.: Regerator: a registry generator for blockchain. In: CAiSE-Forum-DC, pp. 81\u201388 (2017). http:\/\/ceur-ws.org\/Vol-1848\/CAiSE2017_Forum_Paper11.pdf"},{"issue":"2","key":"1187_CR45","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0269888900007797","volume":"11","author":"M Uschold","year":"1996","unstructured":"Uschold, M., Gruninger, M.: Ontologies: principles, methods and applications. Knowl. Eng. Rev. 11(2), 93\u2013136 (1996). https:\/\/doi.org\/10.1017\/S0269888900007797","journal-title":"Knowl. Eng. Rev."},{"key":"1187_CR46","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151(2014), 1\u201332 (2014). https:\/\/gavwood.com\/paper.pdf"},{"key":"1187_CR47","doi-asserted-by":"publisher","unstructured":"W\u00f6hrer, M., Zdun, U.: Domain specific language for smart contract development. In: 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), pp. 1\u20139. IEEE, USA (2020). https:\/\/doi.org\/10.1109\/ICBC48266.2020.9169399","DOI":"10.1109\/ICBC48266.2020.9169399"},{"key":"1187_CR48","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.future.2019.12.019","volume":"105","author":"Z Zheng","year":"2020","unstructured":"Zheng, Z., Xie, S., Dai, H.N., Chen, W., Chen, X., Weng, J., Imran, M.: An overview on smart contracts: challenges, advances and platforms. Futur. Gener. Comput. Syst. 105, 475\u2013491 (2020). https:\/\/doi.org\/10.1016\/j.future.2019.12.019","journal-title":"Futur. Gener. Comput. Syst."},{"issue":"3","key":"1187_CR49","doi-asserted-by":"publisher","first-page":"1255","DOI":"10.1109\/TR.2021.3054617","volume":"70","author":"Y Zhu","year":"2021","unstructured":"Zhu, Y., Song, W., Wang, D., Ma, D., Chu, W.C.C.: TA-SPESC: toward asset-driven smart contract language supporting ownership transaction and rule-based generation on blockchain. IEEE Trans. Reliab. 70(3), 1255\u20131270 (2021). https:\/\/doi.org\/10.1109\/TR.2021.3054617","journal-title":"IEEE Trans. Reliab."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01187-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01187-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01187-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T07:52:26Z","timestamp":1753343546000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01187-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,29]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["1187"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01187-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6,29]]},"assertion":[{"value":"5 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}