{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T01:46:09Z","timestamp":1775094369082,"version":"3.50.1"},"reference-count":49,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T00:00:00Z","timestamp":1675987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Entropy"],"abstract":"<jats:p>In building software architectures, the relations between elements in different diagrams are often overlooked. The first stage of building IT systems is the use of ontology terminology, not software terminology, in the requirements engineering process. Then, when constructing software architecture, IT architects more or less consciously however introduce elements that represent the same classifier on different diagrams with similar names. These connections are called consistency rules and are usually not attached in any way in a modeling tool, and only a significant number of them in the models increase the quality of the software architecture. It is mathematically proved that the application of consistency rules increases the information content of software architecture. Authors show that increasing readability and ordering of software architecture by means of consistency rules have their mathematical rationale. In this article, we found proof of decreasing Shannon entropy while applying consistency rules in the construction of software architecture of IT systems. Therefore, it has been shown that marking selected elements in different diagrams with these same names is, therefore, an implicit way to increase the information content of software architecture while simultaneously improving its orderliness and readability. Moreover, this increase in the quality of the software architecture can be measured by entropy, which allows for checking whether the number of consistency rules is sufficient to compare different architectures, even of different sizes, thanks to entropy normalization, and checking during the development of the software architecture, what is the improvement in its orderliness and readability.<\/jats:p>","DOI":"10.3390\/e25020328","type":"journal-article","created":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T06:43:23Z","timestamp":1676011403000},"page":"328","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Entropy as a Measure of Consistency in Software Architecture"],"prefix":"10.3390","volume":"25","author":[{"given":"Stanislaw Jerzy","family":"Niepostyn","sequence":"first","affiliation":[{"name":"School of Computer Science & Technologies, University of Economics and Human Sciences in Warsaw, 01-043 Warsaw, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7532-362X","authenticated-orcid":false,"given":"Wiktor Bohdan","family":"Daszczuk","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, Warsaw University of Technology, 00-665 Warsaw, Poland"}]}],"member":"1968","published-online":{"date-parts":[[2023,2,10]]},"reference":[{"key":"ref_1","unstructured":"(2011). Standard No. ISO\/IEC\/IEEE 42010:2011."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Kruchten, P. (1995). Architectural Blueprints\u2014The \u201c4 + 1\u201d View Model of Software Architecture, IEEE Software; Philippe Kruchten Rational Software Corp.","DOI":"10.1145\/216591.216611"},{"key":"ref_3","unstructured":"Kruchten, P. (2000). The Rational Unified Process: An Introduction, Addison-Wesley."},{"key":"ref_4","unstructured":"Object Management Group (2022, September 28). Model Driven Architecture (MDA), MDA Guide rev. 2.0, OMG Document ormsc\/2014-06-01. Available online: http:\/\/www.omg.org\/mda\/specs.htm."},{"key":"ref_5","unstructured":"The Open Group (2009). TOGAF Version 9 Enterprise Edition: An Introduction, Andrew Josey. White Paper."},{"key":"ref_6","unstructured":"Unified Modeling Language (2021, June 30). Object Management Group. Available online: http:\/\/www.omg.org."},{"key":"ref_7","unstructured":"Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., and Silva, J.R.O. (2004). Documenting Component and Connector Views with UML 2.0, Software Engineering Institute. Carnegie Mellon."},{"key":"ref_8","unstructured":"Niz, D. (2022, September 28). Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL. SEI-CMU. Available online: http:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?assetID=29255."},{"key":"ref_9","unstructured":"Hnatkowska, B., Huzar, Z., and Magott, J. (2011, January 4\u20137). Consistency Checking in UML models. Proceedings of the 4th International Conference on Information Systems, Shanghai, China."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Torre, D., Labiche, Y., Genero, M., and Elaasar, M. (2015). A Systematic Identification of Consistency Rules for UML Diagrams, Carleton University.","DOI":"10.1145\/2601248.2601292"},{"key":"ref_11","unstructured":"Xianhong, L. (2013, January 14\u201315). Identification and Check of Inconsistencies between UML Diagrams. Proceedings of the 2013 Computer Sciences and Applications (CSA) International Conference, Wuhan, China."},{"key":"ref_12","unstructured":"Niepostyn, S. (June, January 25). Analysis and specification of consistency rules for UML diagrams. Proceedings of the SPIE 11176, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments, Wilga, Poland."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Fryz, L., and Kotulski, L. (2007, January 14\u201316). Assurance of System Consistency During Independent Creation of UML Diagrams. Proceedings of the 2nd International Conference on Dependability of Computer Systems, Szklarska, Poland.","DOI":"10.1109\/DEPCOS-RELCOMEX.2007.11"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/2.839317","article-title":"Leveraging inconsistency in software development","volume":"33","author":"Nuseibeh","year":"2000","journal-title":"IEEE Comput."},{"key":"ref_15","unstructured":"MacKay, D.J., and Mac Kay, D.J. (2003). Information Theory, Inference and Learning Algorithms, Cambridge University Press."},{"key":"ref_16","first-page":"1","article-title":"Thermodynamics \u2260 Information Theory: Science\u2019s Greatest Sokal Affair","volume":"8","author":"Thims","year":"2012","journal-title":"J. Hum. Thermodyn."},{"key":"ref_17","unstructured":"Halstead, M.H. (1977). Elements of Software Science, Elsevier North-Holland, Inc."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"1025","DOI":"10.1109\/32.177371","article-title":"An Entropy-Based Measure of Software Complexity","volume":"18","author":"Harrison","year":"1992","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1002\/(SICI)1096-9942(1999)5:2<111::AID-TAPO4>3.0.CO;2-0","article-title":"An entropy-based complexity measure for object-oriented designs","volume":"5","author":"Bansiya","year":"1999","journal-title":"Theory Pract. Object Syst."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"1427","DOI":"10.1007\/s11432-008-0113-2","article-title":"Information granules and entropy theory in information systems","volume":"51","author":"Liang","year":"2008","journal-title":"Sci. China Ser. F Inf. Sci."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/13632460802013438","article-title":"Map Entropy Analysis of Topographic Data Used in Disaster Information Systems","volume":"12","author":"Bilgi","year":"2008","journal-title":"J. Earthq. Eng."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"e16172","DOI":"10.1038\/lsa.2016.172","article-title":"Information entropy of coding metasurface","volume":"5","author":"Cui","year":"2016","journal-title":"Light Sci. Appl."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"2966","DOI":"10.1109\/TITS.2019.2921913","article-title":"Measures of Structure and Operation of Automated Transit Networks","volume":"21","author":"Daszczuk","year":"2020","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"829","DOI":"10.12785\/amis\/070255","article-title":"Knowledge Entropy and Feature Selection in Incomplete Decision Systems","volume":"7","author":"Xu","year":"2013","journal-title":"Appl. Math. Inf. Sci."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., and Nuseibeh, B. (1994). Inconsistency Handling in Multi-Perspective Specifications, IEEE Computer Society Press. Transactions on Software Engineering.","DOI":"10.1007\/3-540-57209-0_7"},{"key":"ref_26","unstructured":"Spanoudakis, G., and Zisman, A. (2001). Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Co."},{"key":"ref_27","unstructured":"Straeten, R. (2005). Inconsistency Management in Model-Driven Engineering: An Approach Using Description Logics. [Ph.D. Dissertation, Vrije Universiteit]."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/978-3-540-87875-9_25","article-title":"Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams, Model Driven Engineering Languages and Systems","volume":"5301","author":"Jurack","year":"2008","journal-title":"Lect. Notes Comput. Sci."},{"key":"ref_29","unstructured":"Lambers, L., Ehrig, H., and Taentzer, G. (2008, January 29\u201330). Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT\u201908), Electronic Communications of the EASST, Budapest, Hungary."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","article-title":"Reasoning on UML Class diagrams","volume":"168","author":"Berardi","year":"2005","journal-title":"Artif. Intell. J."},{"key":"ref_31","unstructured":"Kuzniarz, L., Huzar, Z., Reggio, G., Sourrouille, J.L., and Staron, M. (2002). Workshop on \u201cConsistency Problems in UML-Based Software Development I\u201c, Blekinge Institute of Technology. UML 2002, Research Report 2002:06."},{"key":"ref_32","unstructured":"Kuzniarz, L., Huzar, Z., Reggio, G., Sourrouille, J.L., and Staron, M. (2003). Workshop on \u201cConsistency Problems in UML-Based Software Development II\u201d, Blekinge Institute of Technology. UML 2003, Research Report 2003:06."},{"key":"ref_33","unstructured":"Engels, G., Heckel, R., Kuster, J.M., and Groenewegen, L. (2002, January 23\u201328). Consistent Interaction of Software Components. Proceedings of Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA, USA."},{"key":"ref_34","unstructured":"Mens, T. (2005). Software Evolution with UML and XML, IGI Global."},{"key":"ref_35","unstructured":"Egyed, A.F. (2000). Heterogeneous View Integration and its Automation. [Ph.D. Dissertation, University of Southern California]."},{"key":"ref_36","unstructured":"Shuzhen, Y., and Shatz, S.M. (2006, January 21\u201324). Consistency Checking of UML Dynamic Models Based on Petri Net Techniques. Proceedings of the 15th International Conference on Computing, Mexico City, Mexico."},{"key":"ref_37","doi-asserted-by":"crossref","unstructured":"Ha, I., and Kang, B. (2008, January 2\u20135). Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram. Proceedings of the IDEAL 2008, LNCS, Daejeon, Republic of Korea.","DOI":"10.1007\/978-3-540-88906-9_55"},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Hausmann, J., Heckel, R., and Taentzer, G. (2002, January 19\u201325). Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. Proceedings of the 24th International Conference on Software Engineering, Orlando, FL, USA.","DOI":"10.1145\/581352.581355"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Sapna, P.G., and Mohanty, H. (2007, January 17\u201320). Ensuring Consistency in Relational Repository of UML Models. Proceedings of the 10th International Conference on Information Technology, Rourkela, India.","DOI":"10.1109\/ICIT.2007.43"},{"key":"ref_40","doi-asserted-by":"crossref","unstructured":"Chanda, J., Kanjilal, A., Sengupta, S., and Bhattacharya, S. (2009, January 14\u201315). Traceability of Requirements and Consistency Verification of UML UseCase, Activity and Class diagram: A Formal Approach. Proceedings of the International Conference on Methods and Models in Computer Science, New Delhi, India.","DOI":"10.1109\/ICM2CS.2009.5397941"},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Ibrahim, N., Ibrahim, R., Saringat, M.Z., Mansor, D., and Herawan, T. (2011, January 13\u201315). Definition of Consistency Rules between UML Use Case and Activity Diagram. Ubiquitous Computing and Multimedia Applications. In Proceedings of the Communication of Computer and Information Sciences, Daejeon, Republic of Korea.","DOI":"10.1007\/978-3-642-20998-7_58"},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Shinkawa, Y. (2006, January 6\u20138). Inter-Model Consistency in UML Based on CPN Formalism. Proceedings of the 13th Asia Pacific Software Engineering Conference, Bangalore, India.","DOI":"10.1109\/APSEC.2006.41"},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Kang, S., Kim, H., Baik, J., Choi, H., and Keum, C. (2010, January 19\u201323). Transformation rules for synthesis of UML activity diagram from scenario-based specification. Proceedings of the 34th Annual IEEE Computer Software and Applications Conference, Seoul, Republic of Korea.","DOI":"10.1109\/COMPSAC.2010.51"},{"key":"ref_44","first-page":"1485","article-title":"Use case driven based rules in ensuring consistency of UML model","volume":"1","author":"Ibrahim","year":"2012","journal-title":"AWERProcedia Inf. Technol. Comput. Sci."},{"key":"ref_45","doi-asserted-by":"crossref","unstructured":"Torre, D., Labiche, Y., and Genero, M. (2014, January 13\u201314). UML consistency rules: A systematic mapping study. Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, London, UK.","DOI":"10.1145\/2601248.2601292"},{"key":"ref_46","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_47","unstructured":"(2022, September 28). SRP\u2014System Rejestr\u00f3w Pa\u0144stwowych, Available online: http:\/\/archiwum.mc.gov.pl\/konsultacje\/program-zintegrowanejinformatyzacji-panstwa\/srp-system-frejestrow-panstwowych."},{"key":"ref_48","unstructured":"(2023, January 30). PKWD-SINGLE WINDOW System, Available online: https:\/\/puesc.gov.pl\/en\/uslugi\/uslugi-sieciowe-informacje-i-specyfikacje\/system-pkwd-single-window."},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Niepostyn, S. (June, January 29). Entropy-based Consistent Model Driven Architecture. Proceedings of the SPIE 10031, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments, Wilga, Poland.","DOI":"10.1117\/12.2249186"}],"container-title":["Entropy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1099-4300\/25\/2\/328\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:30:27Z","timestamp":1760121027000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1099-4300\/25\/2\/328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,10]]},"references-count":49,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2023,2]]}},"alternative-id":["e25020328"],"URL":"https:\/\/doi.org\/10.3390\/e25020328","relation":{},"ISSN":["1099-4300"],"issn-type":[{"value":"1099-4300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2,10]]}}}