8.7.45.4. Процедура сквозного анализа idef-модели

В дополнение к циклу папки разработана процедура сквозного анализа. Эта процедура может использоваться, когда участники создания модели могут быть собраны вместе для обсуждения.

1. Представьте модель для анализа, используя ее пул сущностей. Пул является оглавлением модели и дает рецензентам краткий обзор того, что будет дальше.

2. Представьте глоссарий терминов. Это позволит каждому рецензенту заменить свою терминологию той, которая употребляется представляющим модель коллективом. Значения слов в этот момент не должны ставиться под сомнение. Изменения значений потребуют больших изменений в диаграммах.

3. Представьте на рецензирование диаграммы функционального представления.

Процесс сквозного анализа функционального представления является организованным поэтапным процессом, в процессе которого могут задаваться вопросы, выявляющие потенциальные слабости модели. Сквозной анализ состоит из шести этапов.

Исправления модели могут предлагаться на любом этапе. Эти исправления могут отмечаться для последующего внесения, а могут производиться немедленно.

Этап 1. ПРОСМОТР ПУЛА СУЩНОСТЕЙ

Данный этап позволяет читателю получить общее впечатление о содержании модели. Поскольку в пуле сущностей перечисляются и сущности, впоследствии удаленные, читатель получает более полное представление об эволюции модели. На этом этапе читатель должен проверить определения сущностей.

Критерии принятия:

1. Выбранные сущности представляют типы информации, необходимые для описания моделируемой среды.

2. По мнению рецензента, выбранные сущности отвечают цели и области действия модели.

Критика, за исключением совершенно очевидных случаев, должна быть отложена до второго этапа. Первые впечатления не должны, однако, быть потеряны. До окончательного решения они могут быть записаны на доске или каком-нибудь другом временном носителе информации.

Этап 2. ЧТЕНИЕ ДИАГРАММЫ ФУНКЦИОНАЛЬНОГО ПРЕДСТАВЛЕНИЯ

После того, как читатель понял сущности, читается диаграмма для определения точности представления отношений.

Критерии принятия:

1. Мощность отношений соответствует правилам детализации, определенным в руководстве по методологии IDEF1X.

2. Все требующиеся отношения показаны либо прямо, либо косвенно.

3. Диаграмма обладает легкой для чтения структурой (минимальное число пересечений линий, связанные сущности располагаются недалеко друг от друга).

Этап 3. ПРОВЕРКА КЛЮЧЕВЫХ АТРИБУТОВ

Этот этап служит для проверки того, что указанный ключ действительно будет идентифицировать отдельный экземпляр сущности. Читатель проверяет, что все элементы/атрибуты первичного ключа являются необходимыми.

Критерии принятия:

1. Значения атрибутов первичного ключа в совокупности однозначно идентифицируют каждый экземпляр сущности.

2. Атрибуты первичного ключа не противоречат правилам необращения в ноль и неповторяемости.

Этап 4. ПРОВЕРКА МИГРАЦИИ КЛЮЧЕВЫХ АТРИБУТОВ

На данном этапе проверяется миграция первичных ключей из родительской сущности в сущность-потомок.

Критерии принятия:

1. Миграция первичных ключей согласуется с правилами моделирования.

2. Сущность-владелец любого внешнего ключа представлена в модели.

3. Миграция первичного ключа не противоречит отношению.

Этап 5. ПРОВЕРКА НЕКЛЮЧЕВЫХ АТРИБУТОВ

Для каждой сущности анализируются атрибуты, не являющиеся элементами первичного ключа.

Критерии принятия:

1. Атрибуты не противоречат правилам необращения в ноль и неповторяемости.

2. Атрибуты служат для отображения информации, принадлежащей области действия модели.

3. Каждый атрибут является уникальным в модели.

Этап 6. УСТАНОВЛЕНИЕ СТАТУСА ДИАГРАММЫ

Возможные решения:

1. Рекомендуется в существующем виде.

2. Рекомендуется с модификациями.

3. Проект: сделано слишком много изменений, требуются переделка и новое повторное рецензирование.

4. Не принята: необходим повторный полный анализ.