Стандарт IDEF1X Рассмотрим методологию IDEF1X. Методология IDEF1X представляет собой формализованный язык семантического (контекстного) моделирования данных, основанный на концепции "Сущность - Отношение" (Entity-Relatioship). Это инструмент для анализа информационных структур систем различной природы. Информационное моделирование заключается в анализе логической структуры информации об объектах системы. Логическая структура является необходимым дополнением функциональной модели, детализируя объекты, которыми манипулируют функции системы. Теоретической базой построения информационных моделей является теория баз данных. Рассмотрим методологию IDEF1X. Методология IDEF1X представляет собой формализованный язык семантического (контекстного) моделирования данных, основанный на концепции "Сущность - Отношение" (Entity-Relatioship). Это инструмент для анализа информационных структур систем различной природы. Информационное моделирование заключается в анализе логической структуры информации об объектах системы. Логическая структура является необходимым дополнением функциональной модели, детализируя объекты, которыми манипулируют функции системы. Теоретической базой построения информационных моделей является теория баз данных. Приведем краткое описание языка моделирования логических структур данных. Приведем краткое описание языка моделирования логических структур данных.
Правила определения сущностей Сущность - множество реальных или абстрактных объектов, обладающих общими атрибутами или характеристиками. Сущность - множество реальных или абстрактных объектов, обладающих общими атрибутами или характеристиками. Правила определения сущностей Правила определения сущностей 1. Сущность должна иметь уникальное имя. 1. Сущность должна иметь уникальное имя. 2. Сущность обладает одним или несколькими атрибутами, которые либо принадлежат сущности, либо наследуются через отношения. 2. Сущность обладает одним или несколькими атрибутами, которые либо принадлежат сущности, либо наследуются через отношения. 3. Сущность обладает одним или несколькими атрибутами, которые однозначно идентифицируют каждый образец сущности и называются ключом или составным ключом. 3. Сущность обладает одним или несколькими атрибутами, которые однозначно идентифицируют каждый образец сущности и называются ключом или составным ключом. 4. Каждая сущность может обладать любым количеством отношений с другими сущностями. 4. Каждая сущность может обладать любым количеством отношений с другими сущностями. 5. Если внешний ключ целиком используется в составе первичного ключа, то сущность является зависимой от идентификатора. 5. Если внешний ключ целиком используется в составе первичного ключа, то сущность является зависимой от идентификатора. Сущность должна обладать атрибутом или комбинацией атрибутов, чьи значения однозначно определяют каждый экземпляр сущности. Эти атрибуты образуют первичный ключ сущности. Сущность должна обладать атрибутом или комбинацией атрибутов, чьи значения однозначно определяют каждый экземпляр сущности. Эти атрибуты образуют первичный ключ сущности.
Правила определения атрибутов 1. Каждый атрибут каждой сущности обладает уникальным именем. 1. Каждый атрибут каждой сущности обладает уникальным именем. 2. Сущность может обладать любым количеством атрибутов. 2. Сущность может обладать любым количеством атрибутов. 3. При идентифицирующем отношении сущность "потомок" наследует атрибут и/или атрибуты, составляющие первичный ключ сущности "родителя". 3. При идентифицирующем отношении сущность "потомок" наследует атрибут и/или атрибуты, составляющие первичный ключ сущности "родителя".
Первичные и альтернативные ключи Возможный ключ - это один или несколько атрибутов, чьи значения однозначно определяют каждый экземпляр сущности. При существовании нескольких возможных ключей один из них назначается первичным, а остальные формируют альтернативные ключи Возможный ключ - это один или несколько атрибутов, чьи значения однозначно определяют каждый экземпляр сущности. При существовании нескольких возможных ключей один из них назначается первичным, а остальные формируют альтернативные ключи
Правила определения отношений 1. При определении отношения типа «родитель - потомок» экземпляр «потомка» связан с одним "родителем". Экземпляр «родитель» может быть связан с любым числом экземпляров «потомков». 1. При определении отношения типа «родитель - потомок» экземпляр «потомка» связан с одним "родителем". Экземпляр «родитель» может быть связан с любым числом экземпляров «потомков». 2. В идентифицирующем отношении сущность- «потомок» всегда является зависимой от идентифицирующей сущности. 2. В идентифицирующем отношении сущность- «потомок» всегда является зависимой от идентифицирующей сущности. 3. Сущность может быть связана с любым количеством других сущностей как в качестве "потомка", так и в качестве "родителя". 3. Сущность может быть связана с любым количеством других сущностей как в качестве "потомка", так и в качестве "родителя". 4. Отношения определяются мощностью: 0,1 или более. 4. Отношения определяются мощностью: 0,1 или более.
Отношения категоризации Отношения полной категоризации - это отношения между двумя или более сущностями, в которых каждый экземпляр одной сущности, названной общей сущностью, связан в точности с одним экземпляром сущности, называемой сущностями-категориями. Отношения полной категоризации - это отношения между двумя или более сущностями, в которых каждый экземпляр одной сущности, названной общей сущностью, связан в точности с одним экземпляром сущности, называемой сущностями-категориями.
Правила определения отношений категоризации 1. Сущность типа "категория" может иметь только одну общую сущность. 1. Сущность типа "категория" может иметь только одну общую сущность. 2. Сущность-категория, принадлежащая одному отношению категоризации, может быть общей сущностью в другом отношении категоризации. 2. Сущность-категория, принадлежащая одному отношению категоризации, может быть общей сущностью в другом отношении категоризации. 3. Сущность может быть общей сущностью в любом количестве отношений категоризации. 3. Сущность может быть общей сущностью в любом количестве отношений категоризации. 4. Атрибуты первичного ключа сущности-категории должны совпадать с атрибутами первичного ключа общей сущности. 4. Атрибуты первичного ключа сущности-категории должны совпадать с атрибутами первичного ключа общей сущности. Все экземпляры сущности-категории имеют одно и то же значение дискриминатора, и все экземпляры других категорий должны иметь другие значения дискриминатора. Все экземпляры сущности-категории имеют одно и то же значение дискриминатора, и все экземпляры других категорий должны иметь другие значения дискриминатора.
Основные правила формирования информационной модели 1. Все стрелки (входные, выходные, управляющие, механизмов исполнения) становятся потенциальными сущностями, а функции, связывающие их, трансформируются в отношения между этими сущностями. Для этого составляется пул (список потенциальных сущностей). 1. Все стрелки (входные, выходные, управляющие, механизмов исполнения) становятся потенциальными сущностями, а функции, связывающие их, трансформируются в отношения между этими сущностями. Для этого составляется пул (список потенциальных сущностей). 2. Число сущностей и связей в IDEF1X модели считается необозримым, если их количество превышает Поэтому далее рассматривается совокупность сущностей и отношений для каждой функции. 2. Число сущностей и связей в IDEF1X модели считается необозримым, если их количество превышает Поэтому далее рассматривается совокупность сущностей и отношений для каждой функции.
Основные правила формирования информационной модели 1. Функциональный подход представляет совокупность сущностей и отношений в целом как информационную структуру обобщенного документа или отчета. 1. Функциональный подход представляет совокупность сущностей и отношений в целом как информационную структуру обобщенного документа или отчета. 2. Функциональный подход обычно ограничивается рассмотрением не более сущностей. 2. Функциональный подход обычно ограничивается рассмотрением не более сущностей. 3. Информационная модель функции должна позволять: 3. Информационная модель функции должна позволять: воспроизвести структуру документа и часть информации в нем; воспроизвести структуру документа и часть информации в нем; воспроизвести информацию порождаемого документа. воспроизвести информацию порождаемого документа. Это информация обычно в форме вопросов: Это информация обычно в форме вопросов: где что-либо хранится? где что-либо хранится? где что-либо может храниться? где что-либо может храниться? Текстовые пояснения заносятся в глоссарий или оформляются гипертекстом. На основании определения типов отношений, анализа функций и дальнейшего изучения предметной области определяются атрибуты. Текстовые пояснения заносятся в глоссарий или оформляются гипертекстом. На основании определения типов отношений, анализа функций и дальнейшего изучения предметной области определяются атрибуты. Отметим, что списки имен потенциальных сущностей и отношений автоматически формируются по функциональной модели. Поэтому их классификация и применение в информационной модели являются последовательным раскрытием их информационной структуры в контексте синтаксиса функциональной модели и семантики предметной области. Отметим, что списки имен потенциальных сущностей и отношений автоматически формируются по функциональной модели. Поэтому их классификация и применение в информационной модели являются последовательным раскрытием их информационной структуры в контексте синтаксиса функциональной модели и семантики предметной области. Построенная по указанным выше правилам информационная модель будет являться адекватным отображением информационной структуры сущностей и их отношений. Построенная по указанным выше правилам информационная модель будет являться адекватным отображением информационной структуры сущностей и их отношений. При реализации информационной модели может возникнуть необходимость приведения ее к какой-либо нормализованной форме: 1-й или 2-й, или 3-й нормальной форме. При реализации информационной модели может возникнуть необходимость приведения ее к какой-либо нормализованной форме: 1-й или 2-й, или 3-й нормальной форме.
Фрагмент диаграммы «сущность- связь» учета сотрудников