Правила детализации
Эти правила проверяют корректность детализации объектов с точки зрения используемых объектов и связей.
Детализация элементов данных
• Каждая сущность должна детализироваться в виде диаграммы окружения атрибутов.
• Каждый кластер должен детализироваться в виде модели данных.
Детализация функций
• Функция должна быть детализирована в виде дерева функции.
• Функция должна быть детализирована в виде диаграммы окружения функций.
Кроме того, существуют так называемые расширяемые правила проверки, которые легко изменять, используя закладку Semantic Check (Семантическая проверка), вызываемую через пункт меню View/Option (рис. 195). К ним относятся правила :
• существования объектов;
• взаимосвязей объектов;
• атрибутов объектов;
• атрибутов связей объектов;
• UML.
Рис. 195. Окно настройки правил семантической проверки (окно Options, закладка Semantic Checks)