{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T06:49:34Z","timestamp":1782283774911,"version":"3.54.5"},"reference-count":27,"publisher":"MDPI AG","issue":"7","license":[{"start":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T00:00:00Z","timestamp":1782172800000},"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>Software modeling involves creating multiple software models that represent different viewpoints of the system under development. These models complement one another and should remain coherent throughout the development process, as they represent a single system. Ensuring consistency across different models is crucial for building high-quality software within time and budget constraints. Existing research on consistency management primarily focuses on structural consistency and covers only a subset of UML models. In this paper, we propose a logic-based framework for detecting inconsistencies in basic UML models. We develop a comprehensive metamodel of basic UML models that addresses both structural and semantic relations among metamodel elements. Furthermore, we define new consistency rules for use within the framework to detect various types of inconsistency. The proposed framework is validated using a formal logic-based modeling language and evaluated using two case studies. Compared with existing approaches, the proposed framework provides more comprehensive coverage of inconsistencies. Experimental results demonstrate the effectiveness of the proposed framework in detecting various types of inconsistencies.<\/jats:p>","DOI":"10.3390\/info17070620","type":"journal-article","created":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T05:37:17Z","timestamp":1782279437000},"page":"620","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Logic-Based Framework for Detecting Inconsistencies of UML Models"],"prefix":"10.3390","volume":"17","author":[{"given":"Enas","family":"Naffar","sequence":"first","affiliation":[{"name":"Department of Computer Science, King Abdulla II School of Information Technology, The University of Jordan, Amman 11942, Jordan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amjad","family":"Hudaib","sequence":"additional","affiliation":[{"name":"Department of Computer Information Systems, King Abdulla II School of Information Technology, The University of Jordan, Amman 11942, Jordan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nadim","family":"Obeid","sequence":"additional","affiliation":[{"name":"Department of Artificial Intelligence, The University of Jordan, Amman 11942, Jordan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8878-6540","authenticated-orcid":false,"given":"Said","family":"Ghoul","sequence":"additional","affiliation":[{"name":"Department of Software Engineering, Philadelphia University, Amman 19392, Jordan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2026,6,23]]},"reference":[{"key":"ref_1","unstructured":"Dennis, A., Wixom, B.H., and Roth, R.M. (2015). Systems Analysis and Design, John Wiley & Sons, Inc.. [5th ed.]."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Object Management Group (OMG) (2017). OMG Unified Modeling Language (OMG UML), Version 2.5.1, OMG. Available online: https:\/\/www.omg.org\/spec\/UML\/2.5.1\/.","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Hinchey, M., and Steffen, B. (2025). The Power of Models for Software Engineering. The Combined Power of Research, Education, and Dissemination, Springer. Lecture Notes in Computer Science.","DOI":"10.1007\/978-3-031-73887-6"},{"key":"ref_4","unstructured":"IEEE Computer Society (2025). Guide to the Software Engineering Body of Knowledge (SWEBOK Guide), Version 4.0a, IEEE Computer Society."},{"key":"ref_5","first-page":"48","article-title":"A New Taxonomy of Inconsistencies in UML Models with Their Detection Methods for Better MDE","volume":"12","author":"Allaki","year":"2015","journal-title":"Int. J. Comput. Sci. Appl."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Usman, M., Nadeem, A., Kim, T.-H., and Cho, E.-S. (2008). A Survey of Consistency Checking Techniques for UML Models. Proceedings of the 2008 Advanced Software Engineering and Its Applications (ASEA 2008), Hainan, China, 13\u201315 December 2008, IEEE Computer Society.","DOI":"10.1109\/ASEA.2008.40"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"454","DOI":"10.17706\/jsw.12.6.454-471","article-title":"Managing Inconsistencies in UML Models: A Systematic Literature Review","volume":"12","author":"Allaki","year":"2017","journal-title":"J. Softw."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1142\/9789812389718_0015","article-title":"Inconsistency Management in Software Engineering: Survey and Open Research Issues","volume":"Volume 1","author":"Spanoudakis","year":"2001","journal-title":"Handbook of Software Engineering and Knowledge Engineering"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Marchezan, L., Homolka, M., Blokhin, A., Assun\u00e7\u00e3o, W.K.G., Herac, E., and Egyed, A. (2024). A Tool for Collaborative Consistency Checking During Modeling. Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS 2024), Linz, Austria, 22\u201327 September 2024, ACM.","DOI":"10.1145\/3652620.3688558"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Torre, D., Labiche, Y., Genero, M., Elaasar, M., and Menghi, C. (2020). UML Consistency Rules: A Case Study with Open-Source UML Models. Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE \u201920), Seoul, Republic of Korea, 28\u201329 June 2020, ACM.","DOI":"10.1145\/3372020.3391554"},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1142\/S0218194023500134","article-title":"A Formal Approach for Consistency Management in UML Models","volume":"33","author":"Wen","year":"2023","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"ref_12","unstructured":"Object Management Group (2011). OMG Unified Modeling Language (OMG UML), Infrastructure, Version 2.4.1, Object Management Group. OMG Document Number: Formal\/2011-08-05."},{"key":"ref_13","unstructured":"AlloyTools (2026, April 30). Alloy Analyzer. Available online: https:\/\/alloytools.org\/."},{"key":"ref_14","unstructured":"Jackson, D. (2012). Software Abstractions: Logic, Language, and Analysis, MIT Press."},{"key":"ref_15","unstructured":"Brunel, J., Chemouil, D., Cunha, A., and Macedo, N. (2021). Formal Software Design with Alloy 6, Springer."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.jss.2018.06.029","article-title":"A Systematic Identification of Consistency Rules for UML Diagrams","volume":"144","author":"Torre","year":"2018","journal-title":"J. Syst. Softw."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Tang, G., Jiang, J., and Wen, H. (2023). Consistency Analysis of UML Models. Proceedings of the 29th International DMS Conference on Visualization and Visual Languages (DMSVIVA 2023), South San Francisco, CA, USA, 29 June\u20133 July 2023, KSI Research Inc.","DOI":"10.18293\/DMSVIVA2023-187"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Sultan, B., and Apvrille, L. (2024). AI-Driven Consistency of SysML Diagrams. Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), Linz, Austria, 22\u201327 September 2024, Association for Computing Machinery.","DOI":"10.1145\/3640310.3674079"},{"key":"ref_19","unstructured":"Meier, J. (2024). Ensuring Inter-Model Consistency. [Ph.D. Thesis, Carl von Ossietzky Universit\u00e4t Oldenburg]."},{"key":"ref_20","unstructured":"Niepostyn, S., and Daszczuk, W.B. (2026). Automatization of Building IT Projects Using Composite Consistency Rules. arXiv."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Erata, F., Goknil, A., Kurtev, I., and Tekinerdogan, B. (2018). Alloy in Ecore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning. Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE 2018), Lake Buena Vista, FL, USA, 4\u20139 December 2018, Association for Computing Machinery.","DOI":"10.1145\/3236024.3264588"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"1271","DOI":"10.1007\/s10270-020-00849-8","article-title":"A Formal Approach to Finding Inconsistencies in a Metamodel","volume":"20","author":"Wu","year":"2021","journal-title":"Softw. Syst. Model."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Cavalcanti, A., and Baxter, J. (2024). Validation of Formal Models: A Case Study. The Practice of Formal Methods, Springer. Lecture Notes in Computer Science.","DOI":"10.1007\/978-3-031-66676-6"},{"key":"ref_24","unstructured":"Bordbar, B., and Anastasakis, K. (2005). UML2Alloy: A Tool for Lightweight Modelling of Discrete Event Systems. Proceedings of the IADIS International Conference on Applied Computing 2005 (AC 2005), Algarve, Portugal, 22\u201325 February 2005, IADIS Press."},{"key":"ref_25","unstructured":"Sommerville, I. (2016). Software Engineering, Pearson."},{"key":"ref_26","unstructured":"Siqueira, F.L., and Silva, P.S.M. (2011, January 28\u201329). An Essential Textual Use Case Meta-Model Based on an Analysis of Existing Proposals. Proceedings of the Workshop em Engenharia de Requisitos (WER\u201911), Rio de Janeiro, Brazil."},{"key":"ref_27","unstructured":"(2026, February 08). UML Diagrams. Online Shopping UML Example. Available online: https:\/\/www.uml-diagrams.org\/examples\/online-shopping-example.html."}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/17\/7\/620\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T06:14:07Z","timestamp":1782281647000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/17\/7\/620"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,23]]},"references-count":27,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2026,7]]}},"alternative-id":["info17070620"],"URL":"https:\/\/doi.org\/10.3390\/info17070620","relation":{},"ISSN":["2078-2489"],"issn-type":[{"value":"2078-2489","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,23]]}}}