Consistency of UML Design

Full Text (PDF, 495KB), PP.47-56

Views: 0 Downloads: 0


Iryna Zaretska 1,* Oleksandra Kulankhina 2 Hlib Mykhailenko 3 Tamara Butenko 1

1. V.N. Karazin Kharkiv National University, Kharkiv, 61000, Ukraine

2. Wall Street Systems Software Company, Valbonne, 06560, France

3. ActiveEon Software Company, Valbonne, 06560, France

* Corresponding author.


Received: 11 Nov. 2017 / Revised: 10 May 2018 / Accepted: 3 Aug. 2018 / Published: 8 Sep. 2018

Index Terms

Software design, object-oriented ap-proach, UML, design model, verification


The paper presents a method and tools for consistency checking in UML design of an object-oriented software system. The proposed method uses graph representation of UML diagrams and first-order predicate logic to specify consistency rules mostly on the cross-diagram level. Classification of consistency rules is presented. Two approaches to implementation of con-sistency checking are discussed and compared.

Cite This Paper

Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Tamara Butenko, "Consistency of UML Design", International Journal of Information Technology and Computer Science(IJITCS), Vol.10, No.9, pp.47-56, 2018. DOI:10.5815/ijitcs.2018.09.06


[1]Object Management Group: UML 2.0 Superstructure Specification (2005),

[2]Francisco J. Lucas, Fernando Molina, Ambrosio Toval: A systematic review of UML model consistency management. In: In Information and Software Technology, Vol. 51, p 1631—1645, (2009)

[3]R. V. D. Straeten, T. Mens, J. Simmonds, and V. Jonckers: Using Description Logic to Maintain Consistency between UML Models. In: Proc. UML 2003 - The Unified Modeling Language, Modeling Languages and Applica-tions, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, 2003, pp. 326--340., (2003)

[4]Ragnhild Van Der Straeten: Description of UML Model Inconsistencies. Vrije Universiteit Brussel, Department of Computer Science, SOFT-TR-2011.01.15 (2011)

[5]Jorge Pinna Puissant, Tom Mens, Ragnhild Van Der Straeten: Comparing Automated Planning Approaches for Model Inconsistency Resolution. Technical report, Uni-versity of Mons, 2011-04-10, Travail sans promo-teur/Rapport de recherche (2011)

[6]Jorge Pinna Puissant, Tom Mens: Resolving Inconsisten-cies in Model-Driven Engineering using Automated Plan-ning. In: Seminar on Advanced Tools & Techniques for Software Evolution (SATToSE), Koblenz, Germany, 2012 (2012)

[7]Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens: Badger: A Regression Planner to Resolve Design Model Inconsistencies. In: Modelling Foundations and Applications, Lecture Notes in Computer Science, Volume 7349 , pp 146--161 (2012)

[8]H. Malgouyres, G. Motet: A UML model consistency verification approach based on meta-modeling formalization. In: Proceedings of the 2006 ACM symposium on Applied computing,  pp 1804--1809 (2006)

[9]Iryna Zaretska, Roman Kovalenko, Oleksandra Ku-lankhina, and Hlib Mykhailenko: Checking inconsistencies in UML design. In:

[10]Iryna Zaretska, Oleksandra Kulankhina, and Hlib Mykhai-lenko: Cross-Diagram UML Design Verification. In: V. Ermolayev et. al. (eds.) ICT in Education, Research and Industrial Applications. CCIS, Vol. 347, pp. 165--176. Springer-Verlag, Berlin Heidelberg (2013)

[11]Damiano Torre: Verifying the Consistency of UML Mod-els. In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), IEEE Xplore (2016)

[12]Raja Sehrab Bashir, Sai Peck Lee, Saif Ur Rehman Khan, Victor Chang, Shahid Farid: UML models consistency management. In: International Journal of Information Management: The Journal for Information Professionals, Volume 36, Issue 6, December 2016 pp 883--899 (2016)

[13]N. Przigoda, M. Soeken, R. Wille and R. Drechsler: Veri-fying the structure and behavoir in UML/OCL models us-ing satisfiability solvers. In: IET Cyber-Physical Systems: Theory and Applications, Vol. 1, Issue 1, pp 49--59 (2016).

[14]N. Przigoda, J.G. Filho, Ph. Niemann, R. Wille and R. Drechsler: Frame conditions in symbolic representation of UML/ OCL models. In: 2016 ACM/ IEEE International Conference on Formal Methods and System Design,  pp 178--185 (2016)

[15]D. Allaki, M. Dahchour, A. Nouaary:  A new taxonomy of inconsistencies in UML models: with their detection methods for better MDE. In: International Journal of Computer Science and Applications, Vol. 12, No. 1, pp 48--65  (2015)