Комплексное определение для информационного моделирования (IDEF1X), страница 27

На этой стадии информация, доступная для каждого объекта, включает следующее:

a) Определение объекта

b) Названия отношений и дополнительные определения (и для родительских и для дочерних отношений)

c) Изображение одной или более диаграмм уровней объекта

Информация об объекте по усмотрению разработчика модели может быть расширена построением диаграмм ссылки. Диаграммы ссылки (диаграммы, созданные для наглядности, иногда называемые FEO) являются дополнительной возможностью, доступной для разработчика модели, в которой могут быть применены условные обозначения самого разработчика. Эти диаграммы - платформы для обсуждения между разработчиком модели и экспертами (рецензентами). Они предлагают разработчику модели уникальную возможность обсудить проблемы, проанализировать альтернативы и изучить любой из различных аспектов разработки модели, для последующего логического объяснения в документации. Пример диаграммы ссылки показан на рисунке A3.7. Эта иллюстрация изображает альтернативы, доступные при выборе отношений, и на ней отмечены предпочтения разработчиков модели.

 Другой тип диаграммы ссылки, показанный на рисунке A3.8, изображает проблемы, с которыми столкнулся разработчик модели. В этом примере разработчик модели идентифицировал проблему и ее сложности для обращения на них внимания рецензента (эксперта).

Рисунок A3.7. Диаграмма Ссылки (FEO)

На этой стадии разработчик модели выбрал необходимую информацию, чтобы начать формальное подтверждение правильности через сквозной контроль (путем анализа). (Разделы A4.2 и A4.4).

Раздел A3.4 Этап 3 - Ключевые Определения

Цели 3 Этапа:

a) Усовершенствовать неопределенные отношения из Этапа 2.

b) Определить для каждого объекта ключевые атрибуты.

c) Переместить первичные ключи для определения внешних ключей.

d) Проверить правильность отношений и выбора ключей

Рисунок A3.8. Пример Диаграммы Ссылки

Результаты данного этапа изображаются в одной или более диаграммах Этапа 3 (уровень ключей). Кроме добавления ключевых определений атрибута 3 Этап более детально представляет и совершенствует объект и  определенные на нем отношения.

A3.4.1 Разрешение проблемы неопределенных отношений

Первый шаг на этом этапе должен гарантировать, что были усовершенствованы все неопределенные отношения, найденные на Этапе 2. Этап 3 требует, чтобы все отношения были приведены в определенную форму; имеющую один из двух типов отношений: отношение «родитель-ребенок» или отношение классификации (распределение по классам). Чтобы соответствовать этому требованию, разработчик модели будет прибегать к использованию выбора варианта устранения неопределенных зависимостей. Диаграммы устранения неопределенных отношений обычно делятся на две части: левая часть отображает объекты (неопределенные отношения, которые будут усовершенствованы), а справа изображаются варианты устранения неопределенных отношений. Пример таких вариантов, устраняющих связь «многие ко многим» показан на рисунке A3.9.

Рисунок A3.9. Устранение неопределенных отношений

Процесс совершенствования отношений преобразовывает каждое из неопределенных отношений в два определенных отношения. Из этого процесса появляются новые объекты. Неопределенные отношения, показанные на рисунке A3.9, указывают, что ГРАБИТЕЛЬ может ограбить много БАНКОВ, и БАНК может быть ограблен многими ГРАБИТЕЛЯМИ. Однако мы не можем идентифицировать, какой именно ГРАБИТЕЛЬ, ограбил какой именно БАНК, пока мы не введем третью сущность ОГРАБЛЕНИЕ БАНКА, чтобы устранить неопределенные отношения. Каждый экземпляр класса ОГРАБЛЕНИЕ БАНКА имеет отношение только с одним БАНКОМ и одним ГРАБИТЕЛЕМ. На предыдущих этапах мы работали с так называемыми “естественными явлениями.” Естественное явление - то, что мы вероятно будем видеть доказанным в списке исходных данных или в исходном файле регистрации материала. Естественное явление может включать такие сущности, как например следующие:

a) Заказ на поставку

b) Служащий

c) Покупатель

И только на 3 этапе мы начинаем видеть появление “ассоциативных объектов”, которые неофициально можно назвать “перекрестными объектами”. Перекрестные объекты используются, чтобы устранить неопределенные отношения и представляют собой  упорядоченные пары вещей, которые имеют одинаковые свойства (уникальный идентификатор, атрибуты, и т.д.), как и естественные явления. Хотя ОГРАБЛЕНИЕ БАНКА в предыдущем примере можно было бы считать естественным явлением, на самом деле это соединение объектов ГРАБИТЕЛИ с БАНКАМИ. Одно из тонких различий между естественными и перекрестными объектами находится в названии самого объекта. Как правило, название объекта для естественных явлений – исключительно имя нарицательное. С другой стороны, название перекрестных объектов может быть составным существительным.

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

Процесс устранения неопределенных отношений состоит из следующих основных шагов:

a) Разработка одного или более вариантов устранения для каждого неопределенного отношения.

b) Выбор разработчиком наиболее лучшего из разработанных вариантов, который будет отражен на 3 этапе построения модели.

c) Обновление информации, созданной на 1 этапе, с целью включения новых объектов, созданных для устранения неопределенных отношений.

d) Обновление информации, созданной на 2 этапе для установления отношений связи с новыми объектами.

A3.4.2 Построение функциональной модели