Общие положения
Все известные кейс-средства
снабжены средствами диагностики корректности разрабатываемой модели.
Возможности этих средств локализуются в области диагностики соблюдения
синтаксиса модели (правил соблюдения нотации) и крайне редко приближаются
к диагностике наличия смысла.
Продуктом диагностики модели, как правило,
являются текстовые отчеты. Очень часто объем этих документов находится в
диапазоне от нескольких штук до нескольких десятков страниц.
После проведения диагностики задачей
разработчика модели является определение по тексту диагностического отчета
объектов модели, относительно которых в отчете представлена информация об
ошибке, с последующим устранением этой ошибки.
В отсутствии инструментальных средств,
предназначенных для определения отношения на множествах диагностических
сообщений и объектов модели, процесс корректировки модели оказывается
весьма трудоемкими и требующим рекурсивного повторения этапов диагностики
и корректировки модели.
При разработке IDEF0-моделей
описание связей между БП и придание им смысла опережает во времени
подробное составление спецификаций интерфейсов БП. В случае
ресурсной
интерпретации стандарта IDEF0 особую
сложность представляет для модельера обнаружение при уточнении описания
модели тех интерфейсов БП, которым он еще не успел поставить в
соответствие описание ресурсов. При этом диагностика моделей касается
двух предметов:
- наличия наименований ресурсов на входах и
выходах БП;
- описания характеристик ресурсов на входах
и выходах БП;
Два предмета диагностики рассматриваются
отдельно по той причине, что описание характеристик ресурсов на входах и
выходах БП, проводящиеся, например, с целью функционально-стоимостного
анализа или имитационного моделирования системы БП, часто не являющиеся
задачей модельера.
Средства динамической диагностики, которыми
оснащена система IDEF0\Doctor,
предназначены для упрощения и ускорения корректировки допущенных
модельером ошибок или недоработок. Эффект достигается наличием специальной
разметки IDEF0-диаграмм, подсказывающей
модельеру об отсутствии необходимых описаний объектов модели.
Диагностика
полноты описания интерфейсов
Нажатие кнопки меню "Редактирование
-> Динамическая диагностика ->
Интерфейсы без ресурсов" включает функцию диагностики, которая проставляет
значок "r"
в поле
IDEF0-диаграммы
рядом с интерфейсами и в поле
навигатора БП рядом с наименованиями БП, которым не
поставлены в соответствие наименования ресурсов.
Нажатие кнопки меню "Редактирование
-> Динамическая диагностика ->
Ресурсы интерфейсов без параметров" включает функцию диагностики,
которая проставляет значок "p"
в поле
IDEF0-диаграммы
рядом с интерфейсами и в поле навигатора
БП рядом с наименованиями БП, которым не поставлены в соответствие
наименования ресурсов.
