4. Методологія idef1

Сутність у методології IDEF1X є незалежною від ідентифікаторів чи просто незалежною, якщо кожен екземпляр сутності може бути однозначно ідентифікований без визначення його відносин з іншими сутностями. Сутність називається залежною від ідентифікаторів чи просто залежною, якщо однозначна ідентифікація екземпляра сутності залежить від її відношення до іншої сутності (Рис. 2 .8).

Рис. 2.8 Сутності.

Кожній сутності привласнюється унікальне ім'я і номер, поділювані косою рисою "/" і поміщаються над блоком.

Зв'язок може додатково визначатися за допомогою вказівки чи ступеня потужності (кількості екземплярів сутності-нащадка, що може існувати для кожного екземпляра сутності-батька). У IDEF1X можуть бути виражені наступні потужності зв'язків:

8. кожен екземпляр сутності-батька може мати нуль, один чи більш зв'язаних з ним екземплярів сутності-нащадка;

9. кожен екземпляр сутності-батька повинний мати не менше одного зв'язаного з ним екземпляра сутності-нащадка;

10. кожен екземпляр сутності-батька повинний мати не більш одного зв'язаного з ним екземпляра сутності-нащадка;

11. кожен екземпляр сутності-батька зв'язаний з деяким фіксованим числом екземплярів сутності-нащадка.

Якщо екземпляр сутності-нащадка однозначно визначається своїм зв'язком із сутністю-батьком, то зв'язок називається ідентифікуючий, у противному випадку - неідентифікуючий.

Зв'язок зображується лінією, проведеною між сутністю-батьком і сутністю-нащадком із крапкою на кінці лінії в сутності-нащадка. Потужність зв'язку позначається як показано на Error: Reference source not found (потужність за замовчуванням - N).

Рис. 2.9 Потужність зв'язку.

Ідентифікуючий зв'язок між сутністю-батьком і сутністю-нащад­ком зображується суцільною лінією (Рис. 2 .10). Сутність-нащадок є залежною від ідентифікатора сутності батька, якщо зв'язок ідентифікуючій. Сутність-батько в ідентифікуючому зв'язку може бути як незалежною, так і залежною від ідентифікатора сутності (це визначається її зв'язками з іншими сутностями).

Рис. 2.10 Ідентифікуючий зв'язок.

Пунктирна лінія зображує неідентифікуючий зв'язок (Рис. 2 .11). Сутність-нащадок у неідентифікуючому зв'язку буде незалежною від ідентифікатора, якщо вона не є також сутністю-нащадком у якому-небудь ідентифікуючому зв'язку.

Рис. 2.11 Неідентифікуючий зв'язок.

Атрибути зображуються у вигляді списку імен усередині блоку сутності. Атрибути, що визначають первинний ключ, розміщаються нагорі списку і відокремлюються від інших атрибутів горизонтальною рисою (Рис. 2 .12).

Рис. 2.12 Атрибути і первинні ключі.

Сутності можуть мати також зовнішні ключі (Foreign Key), що можуть використовуватися як частина цілого первинного ключа або неключового атрибута. Зовнішній ключ зображується за допомогою приміщення усередину блоку сутності імен атрибутів, після яких ідуть букви FK у дужках (Рис. 2 .13).

Рис. 2.13 Приклади зовнішніх ключів.

5. Відповідність моделі даних і функціональної моделі

Після розробки моделі даних її варто зв'язати з функціональною моделлю. Такий зв'язок гарантує завершеність аналізу, що є джерело даних (сутність) для всіх споживачів даних (активність). Зв'язку об'єктів сприяють узгодженості, коректності і завершеності аналізу.

Стрілки у функціональній моделі (BPwin) позначають деяку інформацію, що використовується в системі моделюється. У ERwin на логічному рівні моделі даних інформація відображається у вигляді сутностей (відповідають таблицям на фізичному рівні), які складаються з атрибутів сутностей (відповідають стовпчикам таблиці). Сутності складаються із сукупності окремих записів - екземплярів сутностей (відповідають записам у таблиці). До моделі даних пред'являються вимоги – нормалізація даних. Ці вимоги покликані забезпечити компактність і несуперечність збереження даних. Основна ідея нормалізації даних - кожен факт повинен зберігатися в одному місці. Це приводить до того, що інформація, що моделюється у вигляді однієї стрілки у функціональній моделі, може міститися в декількох сутностях і атрибутах у моделі даних. Крім того, на діаграмі функціональної моделі можуть бути присутні різні стрілки, що зображують ті самі дані, але на різних етапах обробки (наприклад, необроблені деталі - оброблені деталі - зібраний виріб). Інформація про таких стрілки знаходиться в тих самих сутностях. Отже, однієї і тієї же стрілці у функціональній моделі можуть відповідати кілька сутностей у моделі даних і, навпаки, однієї сутності може відповідати декілька стрілок.

Стрільці у функціональній моделі може відповідати окрема сутність у моделі даних. Так, стрілці "Деталі" на Рис. 2 .14 відповідає сутність "Деталь", стрілці "Кінцеві продукти" - сутність "Продукт".

Інформація про стрілку може міститися тільки в декількох атрибутах сутності. Різним атрибутам однієї і тієї ж сутності можуть відповідати різні стрілки. На Рис. 2 .15 стрілка "Нова деталь" відповідає атрибутам "Номер деталі" і "Назва деталі", стрілка "Наявна кількість" - атрибутам "Кількість".

Рис. 2.14 Перетворення стрілки в сутність.

Рис. 2.15 Перетворення стрілки в атрибут сутності.

Активності у функціональній моделі можуть створювати або змінювати дані, що відповідають вхідним або вихідним стрілкам. Вони можуть впливати як цілком на сутності (створюючи або модифікуючи екземпляри сутності Рис. 2 .16), так і на окремі атрибути (Рис. 2 .17).

Рис. 2.16 Вплив активності на сутність.

Рис. 2.17 Вплив активності на атрибут.

BPwin дозволяє зв'язувати елементи моделі даних, створеної за допомогою ERwin, документувати вплив активності на дані і тим самим дозволяє створити специфікації на права доступу до даних для кожної активності (див. нижче).