ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

} ПРО_ЭхоКГ
352
Допускается использование разных вариантов описания системопаттернов.
На рисунке 7.21 приведено окно просмотра содержимого объекта
«Предметная область» для случая, когда каждое ФО представлено в
соответствии с первым вариантом формата (каждое ФО имеет имя).
Рис. 7.21 – Окно просмотра содержимого ПрО
C ЛД типа ‘ПрО’ связаны дополнительные функции, в частности:
- «Код дерева»;
- «Логическая схема предметной области»;
- «Тесты».
При выборе пункта «Код дерева» открывается дополнительное окно, в
котором показывается исходное лексическое дерево выбранного ФО или
всей ПрО. При выборе пункта «Логическая схема предметной области»
открывается дополнительное окно, в котором показывается или логическая
схема группы ФО, или причинно-следственный граф. При выборе пункта
меню «Тесты» открывается окно, в котором перечислены все тесты данного
ПрО (рис. 7.22). Краткие названия тестов выделены жирным шрифтом.
Если в разделе «Определения» ПрО дается их расшифровка, то она
приводится в скобках. Вычисляемые тесты выделены подчеркиванием.
Пользователь имеет возможность отметить интересующие его тесты и
выполнить прямой или обратный логический вывод. При прямом
логическом выводе будет показан список тестов, значения которых можно
получить, зная значения отмеченных тестов (с учетом преобразования
доменов в рамках банка тестов). Пример приведен на рисунке 7.23.а. При
обратном логическом выводе будет получен список первичных тестов,
значения которых необходимы для вычисления значений отмеченных
тестов (рис. 7.23.б). При желании пользователь может произвести
необходимые вычисления.