abstract: В статье описываются наиболее популярные из существующих подходов к верификации наиболее часто используемой UML-диаграммы – диаграммы классов. Указывается, что данные методы позволяют оценить ее корректность только в отдельных аспектах, и наиболее эффективным является комплексное применение данных методов.
keywords: шаблон, uml-диаграмма, модель, корректность, диаграмма классов