УДК 004.832.3:004.4'22
Григорьев А.В., Кропотин А.А., Овсянникова Е.О.
ПРОБЛЕМА ПОИСКА ПРОТИВОРЕЧИЙ НА ДИАГРАММАХ КЛАССОВ UML
Тюменский государственный университет
Тюмень, Семакова 10, 625003
UDC 004.832.3:004.4'22
Grigoriev A.V., Kropotin A.A., Ovsyannikova E.O.
THE PROBLEM OF DETECTING INCONSISTENCIES ON UML CLASS DIAGRAMS
Tyumen State University
Tyumen, Semakova 10, 625003
В данном докладе рассматривается проблема поиска противоречий на диаграммах классов UML. Предложен метод определения противоречий на диаграммах классов на основе дескрипционной логики. Приведены необходимые для этого леммы.
In this report we describe the problem of detecting inconsistencies on UML class diagrams. We suggest the method to define inconsistencies on class diagram using the description logic. Lemmas necessary for this purpose are presented.
Ключевые слова: дескрипционная логика, диаграмма классов, представление информационной модели, семантические ошибки моделирования
Keywords: description logic, class diagram, information model representation, semantic modeling errors