Рейтинг пользователей: / 27
ХудшийЛучший 

УДК 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


ЧИТАТЬ ВЕСЬ ТЕКСТ >>>

 
Секции-декабрь 2012