{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T05:15:42Z","timestamp":1766726142822,"version":"3.48.0"},"reference-count":95,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T00:00:00Z","timestamp":1766102400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>Smart contracts are vulnerable to critical, design-level Business Logic Flaws (BLFs) that conventional analysis tools often fail to detect. To address this semantic gap, this study introduces a novel ontological framework that formally models the link between high-level architectural intent and low-level Sui Move code. The methodology employs a rigorous Linked Open Terms (LOT) approach to construct a comprehensive ontology, integrated with a library of secure design patterns and process-aware Object-Centric Dynamic Condition Response (OC-DCR) graphs. Qualitative validation was conducted on four canonical security patterns (Access Control, Circuit Breaker, Time Incentivization, Escapability) drawn from the official Sui Framework, confirming the framework\u2019s representational adequacy and logical consistency. Ultimately, this work contributes the first machine-readable semantic layer for Sui Move, decoupling reasoning from raw code availability, and providing the essential semantic foundation for the future development of pattern-aware auditing tools.<\/jats:p>","DOI":"10.3390\/info17010004","type":"journal-article","created":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T12:59:57Z","timestamp":1766149197000},"page":"4","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Pattern-Oriented Ontology and Workflow Modeling Approach for the Sui Move Programming Language"],"prefix":"10.3390","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9152-1554","authenticated-orcid":false,"given":"Antonios","family":"Giatzis","sequence":"first","affiliation":[{"name":"Department of Applied Informatics, University of Macedonia, 54636 Thessaloniki, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0897-9009","authenticated-orcid":false,"given":"Christos K.","family":"Georgiadis","sequence":"additional","affiliation":[{"name":"Department of Applied Informatics, University of Macedonia, 54636 Thessaloniki, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2025,12,19]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"2313","DOI":"10.30574\/wjarr.2024.21.1.0321","article-title":"Decentralized Finance (DEFI) in the US economy: A review: Assessing the rise, challenges, and implications of blockchain-driven financial systems","volume":"21","author":"Adisa","year":"2024","journal-title":"World J. Adv. Res. Rev."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"706","DOI":"10.1108\/SCM-08-2023-0383","article-title":"Blockchain technology for supply chain provenance: Increasing supply chain efficiency and consumer trust","volume":"29","author":"Bergey","year":"2024","journal-title":"Supply Chain. Manag. Int. J."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Zhu, G., He, D., An, H., Luo, M., and Peng, C. (2024). The governance technology for blockchain systems: A survey. Front. Comput. Sci., 18.","DOI":"10.1007\/s11704-023-3113-x"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5210\/fm.v2i9.548","article-title":"Formalizing and securing relationships on public networks","volume":"2","author":"Szabo","year":"1997","journal-title":"First Monday"},{"key":"ref_5","unstructured":"Eshghie, M., Artho, C., Stammler, H., Ahrendt, W., Hildebrandt, T., and Schneider, G. (November, January 27). Highguard: Cross-chain business logic monitoring of smart contracts. Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Metin, B., Wynn, M., Tunal\u0131, A., and Kepir, Y. (2025). Business Logic Vulnerabilities in the Digital Era: A Detection Framework Using Artificial Intelligence. Information, 16.","DOI":"10.3390\/info16070585"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"4291","DOI":"10.1109\/TSE.2021.3116808","article-title":"Challenges and common solutions in smart contract development","volume":"48","author":"Kannengiesser","year":"2021","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"6605","DOI":"10.1109\/ACCESS.2021.3140091","article-title":"Systematic review of security vulnerabilities in ethereum blockchain smart contract","volume":"10","author":"Kushwaha","year":"2022","journal-title":"IEEE Access"},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"60643","DOI":"10.1109\/ACCESS.2025.3556499","article-title":"Blockchain Security in Focus: A Comprehensive Investigation into Threats, Smart Contract Security, Cross-Chain Bridges, Vulnerabilities Detection Tools & Techniques","volume":"13","author":"Mishra","year":"2025","journal-title":"IEEE Access"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10586-020-03200-4","article-title":"Blockchain technology in supply chain management: An empirical study of the factors affecting user adoption\/acceptance","volume":"24","author":"Alazab","year":"2021","journal-title":"Clust. Comput."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1108\/EL-01-2021-0009","article-title":"An empirical study on the adoption of blockchain-based games from users\u2019 perspectives","volume":"39","author":"Gao","year":"2021","journal-title":"Electron. Libr."},{"key":"ref_12","unstructured":"Peng, Z., Yin, X., Ying, C., Ni, C., and Luo, Y. (2025). A Preference-Driven Methodology for High-Quality Solidity Code Generation. arXiv."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Ghaleb, A., and Pattabiraman, K. (2020, January 18\u201322). How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection. Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual.","DOI":"10.1145\/3395363.3397385"},{"key":"ref_14","unstructured":"Durieux, T., Ferreira, J.F., Abreu, R., and Cruz, P. (July, January 27). Empirical review of automated analysis tools on 47,587 ethereum smart contracts. Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering, Seoul, Republic of Korea."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1002\/spe.3156","article-title":"Detecting functional and security-related issues in smart contracts: A systematic literature review","volume":"53","author":"Piantadosi","year":"2023","journal-title":"Softw. Pract. Exp."},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Chaliasos, S., Charalambous, M.A., Zhou, L., Galanopoulou, R., Gervais, A., Mitropoulos, D., and Livshits, B. (2024, January 14\u201320). Smart contract and defi security tools: Do they meet the needs of practitioners?. Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering, Lisbon, Portugal.","DOI":"10.1145\/3597503.3623302"},{"key":"ref_17","unstructured":"Mysten Labs (2025, September 19). The Sui Smart Contracts Platform. Available online: https:\/\/docs.sui.io\/paper\/sui.pdf."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Welc, A., and Blackshear, S. (2023, January 22\u201327). Sui move: Modern blockchain programming with objects. Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Cascais, Portugal.","DOI":"10.1145\/3618305.3623605"},{"key":"ref_19","unstructured":"Luo, Y., Li, Z., and Li, X. (2025). Movescanner: Analysis of security risks of move smart contracts. arXiv."},{"key":"ref_20","unstructured":"Bartoletti, M., Crafa, S., and Lipparini, E. (2025). Formal verification in Solidity and Move: Insights from a comparative analysis. arXiv."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Liu, X., Hua, B., Wang, Y., and Pan, Z. (2023, January 21\u201324). An empirical study of smart contract decompilers. Proceedings of the 2023 IEEE international conference on Software Analysis, Evolution and Reengineering (SANER), Macao, China.","DOI":"10.1109\/SANER56733.2023.00011"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"3574","DOI":"10.1109\/TSE.2025.3623325","article-title":"Augmenting smart contract decompiler output through fine-grained dependency analysis and llm-facilitated semantic recovery","volume":"51","author":"Liao","year":"2025","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Van Tonder, R. (2024, January 14\u201320). Verifying and displaying move smart contract source code for the sui blockchain. Proceedings of the 2024 IEEE\/ACM 46th International Conference on Software Engineering: Companion Proceedings, Lisbon, Portugal.","DOI":"10.1145\/3639478.3640038"},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Chen, E., Tang, X., Xiao, Z., Li, C., Li, S., Wu, T., Wang, S., and Chalkias, K.K. (May, January 28). SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract. Proceedings of the ACM on Web Conference 2025, Sydney, NSW, Australia.","DOI":"10.1145\/3696410.3714790"},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Wenhua, Z., Qamar, F., Abdali, T.A.N., Hassan, R., Jafri, S.T.A., and Nguyen, Q.N. (2023). Blockchain technology: Security issues, healthcare applications, challenges and future trends. Electronics, 12.","DOI":"10.3390\/electronics12030546"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"343","DOI":"10.3390\/network3030017","article-title":"A review of blockchain technology in knowledge-defined networking, its application, benefits, and challenges","volume":"3","author":"Wijesekara","year":"2023","journal-title":"Network"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Kavita, S., and Shinde, S. (2024, January 11\u201312). A comprehensive survey of consensus protocols, challenges, and attacks of blockchain network. Proceedings of the 2024 Fourth International Conference on Advances in Electrical, Computing, Communication and Sustainable Technologies (ICAECT), Bhilai, India.","DOI":"10.1109\/ICAECT60202.2024.10469511"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Wang, Z., Chen, X., Zhou, X., Huang, Y., Zheng, Z., and Wu, J. (2021, January 6\u201310). An empirical study of solidity language features. Proceedings of the 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), Hainan, China.","DOI":"10.1109\/QRS-C55045.2021.00105"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Patrignani, M., and Blackshear, S. (2023, January 10\u201314). Robust safety for move. Proceedings of the 2023 IEEE 36th Computer Security Foundations Symposium (CSF), Dubrovnik, Croatia.","DOI":"10.1109\/CSF57540.2023.00045"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Garfatta, I., Klai, K., Gaaloul, W., and Graiet, M. (2021, January 1\u20135). A survey on formal verification for solidity smart contracts. Proceedings of the 2021 Australasian Computer Science Week Multiconference, Dunedin, New Zealand.","DOI":"10.1145\/3437378.3437879"},{"key":"ref_31","first-page":"1","article-title":"A survey of smart contract formal specification and verification","volume":"54","author":"Tolmach","year":"2021","journal-title":"ACM Comput. Surv. CSUR"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Chen, K., Luo, J., Lu, Y., Zhang, Z., Zhang, W., Wang, X., Li, P., and Zhao, J. (2024, January 23\u201325). The Formal Verification of Aptos Coin. Proceedings of the International Conference on Information Security, Arlington, VA, USA.","DOI":"10.1007\/978-3-031-75757-0_1"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"4522","DOI":"10.1109\/TSC.2024.3463394","article-title":"A survey on security analysis methods of smart contracts","volume":"17","author":"Zhu","year":"2024","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_34","unstructured":"Perez, D., and Livshits, B. (2019). Smart contract vulnerabilities: Does anyone care. arXiv."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Tang, X., Zhou, K., Cheng, J., Li, H., and Yuan, Y. (2021, January 20\u201322). The vulnerabilities in smart contracts: A survey. Proceedings of the International Conference on Artificial Intelligence and Security, Mianyang, China.","DOI":"10.1007\/978-3-030-78621-2_14"},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"358","DOI":"10.3390\/jcp2020019","article-title":"The state of ethereum smart contracts security: Vulnerabilities, countermeasures, and tool support","volume":"2","author":"Zhou","year":"2022","journal-title":"J. Cybersecur. Priv."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"12178","DOI":"10.1109\/JIOT.2023.3241544","article-title":"Detection of vulnerabilities of blockchain smart contracts","volume":"10","author":"He","year":"2023","journal-title":"IEEE Internet Things J."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"104142","DOI":"10.1016\/j.jnca.2025.104142","article-title":"A comprehensive survey of smart contracts vulnerability detection tools: Techniques and methodologies","volume":"237","author":"Hejazi","year":"2025","journal-title":"J. Netw. Comput. Appl."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"914","DOI":"10.1007\/s11747-022-00889-0","article-title":"Trust in blockchain-enabled exchanges: Future directions in blockchain marketing","volume":"51","author":"Tan","year":"2023","journal-title":"J. Acad. Mark. Sci."},{"key":"ref_40","unstructured":"Babel, K., Chursin, A., Danezis, G., Kichidis, A., Kokoris-Kogias, L., Koshy, A., Sonnino, A., and Tian, M. (2023). Mysticeti: Reaching the limits of latency with uncertified dags. arXiv."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Danezis, G., Kokoris-Kogias, L., Sonnino, A., and Spiegelman, A. (2022, January 5\u20138). Narwhal and tusk: A dag-based mempool and efficient bft consensus. Proceedings of the Seventeenth European Conference on Computer Systems, Rennes, France.","DOI":"10.1145\/3492321.3519594"},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"170504","DOI":"10.1109\/ACCESS.2025.3615072","article-title":"A Comparative Study of Solidity and Sui Move: Advancing Smart Contract Development","volume":"13","author":"Giatzis","year":"2025","journal-title":"IEEE Access"},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Zhong, J.E., Cheang, K., Qadeer, S., Grieskamp, W., Blackshear, S., Park, J., Zohar, Y., Barrett, C., and Dill, D.L. (2020, January 21\u201324). The move prover. Proceedings of the International Conference on Computer Aided Verification, Los Angeles, CA, USA.","DOI":"10.1007\/978-3-030-53288-8_7"},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1049\/iet-sen.2018.5446","article-title":"Impact of design patterns on software quality: A systematic literature review","volume":"14","author":"Wedyan","year":"2020","journal-title":"IET Softw."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"100179","DOI":"10.1016\/j.patter.2020.100179","article-title":"A comprehensive survey on smart contract construction and execution: Paradigms, tools, and systems","volume":"2","author":"Hu","year":"2021","journal-title":"Patterns"},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"111193","DOI":"10.1016\/j.jss.2021.111193","article-title":"Profiling gas consumption in solidity smart contracts","volume":"186","author":"Laudanna","year":"2022","journal-title":"J. Syst. Softw."},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Huang, M., Chen, J., Jiang, Z., and Zheng, Z. (2024, January 14\u201320). Revealing hidden threats: An empirical study of library misuse in smart contracts. Proceedings of the 46th IEEE\/ACM International Conference on Software Engineering, Lisbon, Portugal.","DOI":"10.1145\/3597503.3623335"},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s10664-025-10646-w","article-title":"A systematic review on smart contracts security design patterns","volume":"30","author":"Azimi","year":"2025","journal-title":"Empir. Softw. Eng."},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s10664-024-10485-1","article-title":"A large-scale exploratory study on the proxy pattern in ethereum","volume":"29","author":"Ebrahimi","year":"2024","journal-title":"Empir. Softw. Eng."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"2084","DOI":"10.1109\/TSE.2019.2942301","article-title":"Smart contract development: Challenges and opportunities","volume":"47","author":"Zou","year":"2019","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_51","doi-asserted-by":"crossref","first-page":"166855","DOI":"10.1109\/ACCESS.2024.3495535","article-title":"General-purpose Languages for Blockchain Smart Contracts Development: A Comprenhensive Study","volume":"12","author":"Olivieri","year":"2024","journal-title":"IEEE Access"},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Salzano, F., Marchesi, L., Antenucci, C.K., Scalabrino, S., Tonelli, R., Oliveto, R., and Pareschi, R. (2025). Bridging the Gap: A Comparative Study of Academic and Developer Approaches to Smart Contract Vulnerabilities. arXiv.","DOI":"10.1007\/s10664-025-10780-5"},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Liao, Z., Hao, S., Nan, Y., and Zheng, Z. (2023, January 17\u201321). Smartstate: Detecting state-reverting vulnerabilities in smart contracts via fine-grained state-dependency analysis. Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, USA.","DOI":"10.1145\/3597926.3598111"},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"Ghaleb, A., Rubin, J., and Pattabiraman, K. (2023, January 14\u201320). Achecker: Statically detecting smart contract access control vulnerabilities. Proceedings of the 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), Melbourne, VIC, Australia.","DOI":"10.1109\/ICSE48619.2023.00087"},{"key":"ref_55","doi-asserted-by":"crossref","unstructured":"Majd, N.E., Hinojosa, A., Fisher, C., Landeros, F., and Baldimtsi, F. (2025, January 2\u20136). An Analytical Performance Evaluation on Sui Move Object-Centric Models. Proceedings of the 2025 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Pisa, Italy.","DOI":"10.1109\/ICBC64466.2025.11114512"},{"key":"ref_56","doi-asserted-by":"crossref","first-page":"e2730","DOI":"10.1002\/smr.2730","article-title":"Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors","volume":"37","author":"Xu","year":"2025","journal-title":"J. Softw. Evol. Process"},{"key":"ref_57","doi-asserted-by":"crossref","unstructured":"Giuffrida, S., Salim, S., Ullah, A., and Vaccargiu, M. (2025, January 3). A Move Sui library for secure, certified and trusted supply chain ownership management. Proceedings of the 2025 IEEE\/ACM 7th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), Ottawa, ON, Canada.","DOI":"10.1109\/WETSEB66605.2025.00013"},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"101654","DOI":"10.1016\/j.cose.2019.101654","article-title":"Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities","volume":"88","author":"Singh","year":"2020","journal-title":"Comput. Secur."},{"key":"ref_59","doi-asserted-by":"crossref","unstructured":"Sun, Y., Wu, D., Xue, Y., Liu, H., Wang, H., Xu, Z., Xie, X., and Liu, Y. (2024, January 14\u201320). Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis. Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering, Lisbon, Portugal.","DOI":"10.1145\/3597503.3639117"},{"key":"ref_60","unstructured":"Lin, X., Xie, Q., Zhao, B., Tian, Y., Zonouz, S., Ruan, N., Li, J., Beyah, R., and Ji, S. (2025). PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts. arXiv."},{"key":"ref_61","doi-asserted-by":"crossref","unstructured":"Rameder, H., Di Angelo, M., and Salzer, G. (2022). Review of automated vulnerability analysis of smart contracts on ethereum. Front. Blockchain, 5.","DOI":"10.3389\/fbloc.2022.814977"},{"key":"ref_62","doi-asserted-by":"crossref","unstructured":"Soud, M., Nuutinen, W., and Liebel, G. (2024). Soley: Identification and automated detection of logic vulnerabilities in ethereum smart contracts using large language models. arXiv.","DOI":"10.1016\/j.jss.2025.112406"},{"key":"ref_63","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Zhang, B., Xu, W., and Lin, Z. (2023, January 14\u201320). Demystifying exploitable bugs in smart contracts. Proceedings of the 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE), Melbourne, VIC, Australia.","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"ref_64","doi-asserted-by":"crossref","unstructured":"Zhou, L., Xiong, X., Ernstberger, J., Chaliasos, S., Wang, Z., Wang, Y., Qin, K., Wattenhofer, R., Song, D., and Gervais, A. (2023, January 21\u201325). Sok: Decentralized finance (defi) attacks. Proceedings of the 2023 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA.","DOI":"10.1109\/SP46215.2023.10179435"},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"tyae029","DOI":"10.1093\/cybsec\/tyae029","article-title":"Mapping the DeFi crime landscape: An evidence-based picture","volume":"11","author":"Kitzler","year":"2025","journal-title":"J. Cybersecur."},{"key":"ref_66","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0169-023X(97)00056-6","article-title":"Knowledge engineering: Principles and methods","volume":"25","author":"Studer","year":"1998","journal-title":"Data Knowl. Eng."},{"key":"ref_67","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1006\/ijhc.1996.0090","article-title":"Using explicit ontologies in KBS development","volume":"46","author":"Schreiber","year":"1997","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"ref_68","unstructured":"Noy, N.F., and McGuinness, D.L. (2001). Ontology Development 101: A Guide to Creating Your First Ontology; Technical Report KSL-01-05, Stanford Knowledge Systems Laboratory. Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880."},{"key":"ref_69","doi-asserted-by":"crossref","first-page":"597","DOI":"10.3844\/jcssp.2016.597.610","article-title":"An Overview on the use of Ontologies in Software Engineering","volume":"12","author":"Kermek","year":"2016","journal-title":"J. Comput. Sci."},{"key":"ref_70","doi-asserted-by":"crossref","unstructured":"Diatta, B., Basse, A., and Ouya, S. (2019, January 9\u201311). PasOnto: Ontology for learning Pascal programming language. Proceedings of the 2019 IEEE Global Engineering Education Conference (EDUCON), Dubai, United Arab Emirates.","DOI":"10.1109\/EDUCON.2019.8725092"},{"key":"ref_71","unstructured":"Nongkhai, L.N., Wang, J., and Mendori, T. (2022). Developing an Ontology of Multiple Programming Languages from the Perspective of Computational Thinking Education. Int. Assoc. Dev. Inf. Soc."},{"key":"ref_72","doi-asserted-by":"crossref","unstructured":"Bella, G., Cantone, D., Longo, C., Nicolosi Asmundo, M., and Santamaria, D.F. (2021, January 16\u201318). Blockchains through ontologies: The case study of the Ethereum ERC721 standard in OASIS. Proceedings of the International Symposium on Intelligent and Distributed Computing, Reggio Calabria, Italy.","DOI":"10.1007\/978-3-030-96627-0_23"},{"key":"ref_73","doi-asserted-by":"crossref","first-page":"140156","DOI":"10.1109\/ACCESS.2021.3115577","article-title":"Toward the ontological modeling of smart contracts: A solidity use case","volume":"9","author":"Cimmino","year":"2021","journal-title":"IEEE Access"},{"key":"ref_74","doi-asserted-by":"crossref","unstructured":"Van Woensel, W., and Seneviratne, O. (2024). Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs. arXiv.","DOI":"10.1016\/j.bcra.2025.100320"},{"key":"ref_75","first-page":"100630","article-title":"The role of ontologies in smart contracts: A systematic literature review","volume":"40","author":"Dominguez","year":"2024","journal-title":"J. Ind. Inf. Integr."},{"key":"ref_76","doi-asserted-by":"crossref","unstructured":"Awad, A., Awaysheh, F., and L\u00f3pez, H.A. (2025). BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing. arXiv.","DOI":"10.1007\/s44311-025-00030-8"},{"key":"ref_77","doi-asserted-by":"crossref","unstructured":"Eshghie, M., Ahrendt, W., Artho, C., Hildebrandt, T.T., and Schneider, G. (2023, January 6\u201310). Capturing smart contract design with dcr graphs. Proceedings of the International Conference on Software Engineering and Formal Methods, Eindhoven, The Netherlands.","DOI":"10.1007\/978-3-031-47115-5_7"},{"key":"ref_78","doi-asserted-by":"crossref","unstructured":"Xu, Y., Slaats, T., Dudder, B., and Hildebrandt, T.T. (2023, January 14\u201315). Adding generic role-and process-based behaviors to smart contracts using dynamic condition response graphs. Proceedings of the 2023 IEEE\/ACM International Conference on Software and System Processes (ICSSP). IEEE Computer Society, Melbourne, VIC, Australia.","DOI":"10.1109\/ICSSP59042.2023.00017"},{"key":"ref_79","doi-asserted-by":"crossref","unstructured":"Christfort, A.K., Rivkin, A., Fahland, D., Hildebrandt, T.T., and Slaats, T. (2024, January 14\u201318). Discovery of object-centric declarative models. Proceedings of the 2024 6th International Conference on Process Mining (ICPM), Lyngby, Denmark.","DOI":"10.1109\/ICPM63005.2024.10680680"},{"key":"ref_80","doi-asserted-by":"crossref","unstructured":"Garfatta, I., Klai, K., and Gaaloul, W. (2024, January 26\u201328). Integrating Business Process Context into Solidity-to-CPN Formal Verification. Proceedings of the 2024 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Reggio Emilia, Italy.","DOI":"10.1109\/WETICE64632.2024.00021"},{"key":"ref_81","unstructured":"Bartoletti, M., Lipparini, E., and Pompianu, L. (2025). LLMs as verification oracles for Solidity. arXiv."},{"key":"ref_82","doi-asserted-by":"crossref","first-page":"104755","DOI":"10.1016\/j.engappai.2022.104755","article-title":"LOT: An industrial oriented ontology engineering framework","volume":"111","year":"2022","journal-title":"Eng. Appl. Artif. Intell."},{"key":"ref_83","unstructured":"Huang, Y., Fang, S., Li, J., Hu, B., and Zhang, T. (2022). Smartintentnn: Towards smart contract intent detection. arXiv."},{"key":"ref_84","doi-asserted-by":"crossref","unstructured":"Velasco, G.C., Vaz, N.A.P., and Carvalho, S.T. (2023, January 22). Challenges and opportunities in smart contract development on the ethereum virtual machine: A systematic literature review. Proceedings of the Workshop em Blockchain: Teoria, Tecnologias e Aplica\u00e7\u00f5es (WBlockchain), Bras\u00edlia\/DF, Brazil.","DOI":"10.5753\/wblockchain.2023.756"},{"key":"ref_85","unstructured":"Mysten Labs (2025, July 11). Move Language Tree-Sitter Grammar. Available online: https:\/\/github.com\/MystenLabs\/sui\/blob\/main\/external-crates\/move\/tooling\/tree-sitter\/src\/grammar.json."},{"key":"ref_86","unstructured":"Mysten Labs (2025, July 19). Sui: A Next-Generation Smart Contract Platform. Available online: https:\/\/github.com\/MystenLabs\/sui."},{"key":"ref_87","unstructured":"Move Book Contributors (2025, July 19). The Move Book: A Guide to the Move Programming Language and Sui Blockchain. Available online: https:\/\/move-book.com\/."},{"key":"ref_88","unstructured":"Mysten Labs (2025, July 19). Sui Documentation. Available online: https:\/\/docs.sui.io\/."},{"key":"ref_89","unstructured":"Mysten Labs (2025, July 19). Introduction to the Sui Book. Available online: https:\/\/intro.sui-book.com\/."},{"key":"ref_90","doi-asserted-by":"crossref","first-page":"100061","DOI":"10.1016\/j.bcra.2022.100061","article-title":"Blockchain software patterns for the design of decentralized applications: A systematic literature review","volume":"3","author":"Six","year":"2022","journal-title":"Blockchain Res. Appl."},{"key":"ref_91","doi-asserted-by":"crossref","unstructured":"Seneviratne, O. (2024, January 26\u201329). The Feasibility of a Smart Contract \u201cKill Switch\u201d. Proceedings of the 2024 6th International Conference on Blockchain Computing and Applications (BCCA), Dubai, United Arab Emirates.","DOI":"10.1109\/BCCA62388.2024.10844477"},{"key":"ref_92","doi-asserted-by":"crossref","unstructured":"Guarino, N., Sales, T.P., and Guizzardi, G. (2018, January 28\u201331). Reification and truthmaking patterns. Proceedings of the International Conference on Conceptual Modeling, Pittsburgh, PA, USA.","DOI":"10.1007\/978-3-030-00847-5_13"},{"key":"ref_93","doi-asserted-by":"crossref","first-page":"102325","DOI":"10.1016\/j.datak.2024.102325","article-title":"Explanation, semantics, and ontology","volume":"153","author":"Guizzardi","year":"2024","journal-title":"Data Knowl. Eng."},{"key":"ref_94","unstructured":"Debois, S., Hildebrandt, T.T., Marquard, M., and Slaats, T. (2016, January 21). The DCR Graphs Process Portal. Proceedings of the BPM (Demos), Rio de Janeiro, Brazil."},{"key":"ref_95","first-page":"1051","article-title":"A conceptual model for ontology quality assessment: A systematic review","volume":"14","author":"Wilson","year":"2023","journal-title":"Semant. Web"}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/17\/1\/4\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T05:11:11Z","timestamp":1766725871000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/17\/1\/4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,19]]},"references-count":95,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2026,1]]}},"alternative-id":["info17010004"],"URL":"https:\/\/doi.org\/10.3390\/info17010004","relation":{},"ISSN":["2078-2489"],"issn-type":[{"type":"electronic","value":"2078-2489"}],"subject":[],"published":{"date-parts":[[2025,12,19]]}}}