RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS // Archive

Proceedings of ISP RAS, 2021 Volume 33, Issue 4, Pages 7–18 (Mi tisp609)

This article is cited in 1 paper

Validation automation of UML diagrams created by students

T. S. Gasheva, D. I. Vlasov, A. V. Otinov, N. N. Datsun

Perm State University

Abstract: Unified Modeling Language (UML) is widely used standard for models visualization in software industry. Hence, a preparation of IT professionals involves the learning modeling process. Studies of student perception of UML modeling indicate that this process is perceived as quite complex. This paper presents software for validation activity, class and use-case diagrams by XMI representation. To achieve this goal, we researched existing methods and systems. Besides, we analyzed mistake catalogues and Perm State University's student models to propose a mistake classification and checklist that presents a list of validation to be done. This paper focuses on validation each type of diagram separately, without maintaining consistency between different UML models. However, all these validation modules are combined in one system, which allows to check any of the described types of diagrams.

Keywords: validation, UCD, AD, CD.

Language: English

DOI: 10.15514/ISPRAS-2021-33(4)-1



© Steklov Math. Inst. of RAS, 2026