IJITCS Vol. 10, No. 9, 8 Sep. 2018
Cover page and Table of Contents: PDF (size: 495KB)
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.
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), http://www.uml.org/
[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: http://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-paper-4-p-33-43.pdf
[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)