
- •СОДЕРЖАНИЕ
- •1.1. Основные понятия и определения
- •1.2. Жизненный цикл программных средств
- •2.1. Стратегии разработки программных средств и систем
- •2.1.1. Базовые стратегии разработки программных средств и систем
- •2.1.2. Каскадная стратегия разработки программных средств и систем
- •2.1.3. Инкрементная стратегия разработки программных средств и систем
- •2.1.4. Эволюционная стратегия разработки программных средств и систем
- •2.2.1. Общие сведения о каскадных моделях
- •2.2.2. Классическая каскадная модель
- •2.2.3. Каскадная модель с обратными связями
- •2.2.5. V-образная модель
- •2.3.1. Базовая RAD-модель
- •2.4.1. Общие сведения об инкрементных моделях
- •2.4.2. Инкрементная модель с уточнением требований на начальных этапах разработки
- •2.5.1. Общие сведения об эволюционных моделях
- •2.5.3. Структурная эволюционная модель быстрого прототипирования
- •2.5.5. Спиральная модель Боэма
- •2.5.6. Упрощенные варианты спиральной модели
- •3.1. Классификация проектов по разработке программных средств и систем
- •3.2. Процедура выбора модели жизненного цикла разработки программных средств и систем
- •3.3. Адаптация модели жизненного цикла разработки ПС и систем к условиям конкретного проекта
- •4.1. Модульное проектирование программ
- •4.2. Метод нисходящего проектирования
- •4.2.1. Пошаговое уточнение
- •4.2.2. Кодирование программы с помощью псевдокода и управляющих конструкций структурного программирования
- •4.2.3. Использование комментариев для описания обработки данных
- •4.2.4. Анализ сообщений
- •4.3. Метод восходящего проектирования
- •4.4. Метод иерархического проектирования модулей (метод Джексона)
- •4.4.1. Основные конструкции построения структур данных
- •4.4.2. Построение структур данных
- •4.4.3. Проектирование структур программ
- •4.4.4. Этапы конструирования программы
- •4.5.1. Связность модуля
- •4.5.2. Сцепление модулей
- •5.1. Общие сведения о CASE-технологиях
- •5.2. Методология структурного анализа и проектирования SADT
- •5.2.2. Основные понятия IDEF0-модели
- •5.2.3. Синтаксис диаграмм
- •5.2.4. Синтаксис моделей
- •5.2.6. Процесс моделирования в IDEF0
- •5.3. Информационное моделирование
- •5.3.1. Сущности
- •5.3.2. Атрибуты
- •5.3.3. Способы представления сущностей с атрибутами
- •5.3.4. Классификация атрибутов
- •5.3.5. Правила атрибутов
- •5.3.6. Связи
- •5.3.7. Безусловные связи
- •5.3.8. Условные формы связи
- •5.3.9. Формализация связи
- •5.3.10. Подтипы и супертипы
- •5.3.11. Рабочие продукты информационного моделирования
- •6.1. Эволюция Case-средств
- •6.2. Концептуальные основы Case–средств
- •6.3.1. Поддержка графических моделей
- •6.3.2. Контроль ошибок
- •6.3.3. Организация и поддержка репозитория
- •6.3.4. Поддержка процесса проектирования и разработки
- •6.4. Классификация CASE–средств
- •6.4.1. Классификация по типам
- •6.4.2. Классификация по категориям
- •6.4.3. Классификация по уровням
- •6.5. Инструментальные средства компании Telelogic, предназначенные для автоматизации жизненного цикла программных средств и систем
- •6.5.1. Telelogic DOORS
- •6.5.2. Telelogic TAU
- •6.5.3. Telelogic SYNERGY
- •6.5.4. Telelogic DocExpress
- •6.5.5. Telelogic TAU Logiscope
- •7.2. Реализация процесса документирования в соответствии со стандартом ISO/IEC 15910:1999
- •7.2.2. Выполнение процесса документирования
- •7.2.3. Содержание плана документирования
- •7.2.4. Требования к содержанию спецификации стиля документации
- •ЛИТЕРАТУРА

другой сущности, и каждый экземпляр второй сущности связан с одним или более количеством экземпляров первой (рисунок 5.11).
На данном рисунке квартира может являться собственностью одного или нескольких владельцев. В то же время владелец квартиры может владеть несколькими квартирами.
Множественность связи обозначается графически: одна стрелка на конце связи означает один экземпляр сущности, участвующей в связи, двойная стрелка – один или более экземпляров (см. рисунок 5.9 – рисунок 5.11).
1.Квартира (К) |
2.Владелец_квартиры (ВК) |
|||
|
|
|
|
|
Адрес |
Владеет |
R1 |
Имя_владельца |
|
Номер_квартиры |
(Другие атрибуты) |
|
||
(Другие атрибуты) |
|
Является |
|
|
|
|
|
||
|
|
собственностью |
|
|
|
|
|
|
Рисунок 5.11 – Связь многие-ко-многим
5.3.8. Условные формы связи
В условной связи могут существовать экземпляры сущностей, которые не принимают участия в связи. Это обозначается буквой У в конце связи, которая не всегда является истинной(рисунок 5.12). На данном рисунке связьR2
условна только с одной стороны, так как не каждый служащий руководит подчиненными, но каждый подчиненный выполняет поручения руководящего служащего.
Cвязь, условная с обеих сторон, называется биусловной. В этом случае могут существовать экземпляры обеих сущностей, которые не участвуют в связи. Биусловная связь обозначается буквойУ с обеих сторон связи(см. рисунок 5.12, связь R1).
141

1. Помещение (Пм) |
|
|
|
|
2. Служащий (С) |
||||
|
|
|
|
|
|
|
|
|
|
ID_помещения |
У |
|
Предназначено для |
ID_служащего |
|||||
|
|
|
|
|
|||||
(Другие атрибуты) |
(Другие атрибуты) |
||||||||
Работает в |
|
R1 |
У |
||||||
|
|
||||||||
|
|
|
|
|
|
|
|
||
|
R2 |
|
Выполняет поручения |
|
|||||
|
|
|
3. Подчиненный (Пд) |
||||||
|
|
|
|
||||||
|
|
|
|
|
|
|
|||
|
|
|
У |
ID_подчиненного |
|
||||
|
|
|
|
|
|
|
|||
|
|
Руководит |
(Другие атрибуты) |
|
|||||
|
|
|
|
|
|
|
|
|
Рисунок 5.12 – Условные связи
С учетом условных и безусловных связей существуетдесять форм связей (рисунок 5.13).
142

Безусловные формы
1 : 1 |
1 : М |
М : М |
Условные формы
1 : 1у |
1у : М |
М : Му |
1 : Му
Биусловные формы
|
1у : 1у |
|
|
|
1у : Му |
|
|
|
Му : Му |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
Рисунок 5.13 – Десять форм связи
143

5.3.9. |
Формализация связи |
|
|
|
||||
Цель связи – |
установить |
соотношение |
экземпляра |
одной |
сущности с |
|||
экземпляром |
другой. |
Это |
достигается |
размещением |
вспомогательных |
|||
атрибутов в соответствующих сущностях. Связь, определенная с помощью |
||||||||
вспомогательных атрибутов, называется связью, формализованной в данных. |
||||||||
Для формализации связи один-к-одному |
вспомогательные атрибуты |
|||||||
могут быть добавлены к любой сущности(но не к обеим). При этом в качестве |
||||||||
вспомогательных |
атрибутов |
сущности |
используются |
идентифицирующие |
||||
атрибуты |
второй |
сущности. Вспомогательные |
атрибуты |
помечаются |
идентификатором связи в скобках.
Например, идентификатор Имя_мужа сущности Муж добавлен в качестве вспомогательного атрибута к сущности Жена(рисунок 5.14). Данный атрибут
помечен идентификатором связи R5. |
|
|||
|
1.Муж (М) |
|
2.Жена (Ж) |
|
|
|
|
|
|
|
Имя_мужа |
R5 Женат на |
Имя_жены |
|
|
|
|
|
|
|
(Другие атрибуты) |
Замужем за |
(Другие атрибуты) |
|
|
|
|
|
Имя_мужа (R5) |
|
|
|
|
|
Рисунок 5.14 – Формализация связи один-к-одному посредством вспомогательного атрибута
Для формализации связи один-ко-многим вспомогательные атрибуты добавляются к сущности на стороне многих (рисунок 5.15), в противном случае нарушается третье правило атрибутов.
1.Собака (С) |
|
2. Владелец_собаки (ВС) |
||
|
|
|
|
|
ID_собаки |
Владеет |
R1 |
ID_владельца |
|
|
Имя |
|||
(Другие атрибуты) |
||||
|
|
|||
Принадлежит |
||||
ID_владельца (R1) |
Адрес |
|||
|
|
|
|
Рисунок 5.15 – Формализация связи один-ко-многим посредством вспомогательного атрибута
144

Для формализации связи многие-ко-многим создается ассоциативная (виртуальная) сущность, содержащая ссылки на идентификаторы каждого из участвующих в связи экземпляров (рисунок 5.16).
На данном рисунке создана ассоциативная сущность Владение( ), содержащая вспомогательные атрибуты, в качестве которых используются идентификаторы сущностей Квартира и Владелец_квартиры.
1.Квартира (К)
Адрес Номер_квартиры
(Другие атрибуты)
|
2.Владелец_квартиры (ВК) |
|
Имя_владельца |
Владеет |
R1 |
|
(Другие атрибуты) |
|
Является |
|
собственностью |
3.Владение (В)
Адрес (R1) Номер_квартиры (R1) Имя_владельца (R1)
Рисунок 5.16 – Формализация связи многие-ко-многим посредством ассоциативной сущности
Рисунок 5.17 содержит один из вариантов графического представления
формализованной |
связи |
многие-ко-многим |
посредством |
ассоциативно |
сущности. Аналогичный вариант представления ассоциативной сущности, |
||||
формализующей |
связь |
многие-ко-многим, используется в CASE-средстве |
||
Erwin. |
|
|
|
|
Введение ассоциативной сущности для формализации связи многие--ко многим позволяет устранить избыточность информационной ,моделиа следовательно, и соответствующей базы данных.
Существует два |
вида |
связей, формализованных |
в |
данных: |
идентифицирующая связь и неидентифицирующая связь. |
|
|
||
Идентифицирующая |
связь – это |
связь, при которой вспомогательные |
атрибуты включаются в состав идентификатора сущности. Неидентифицирующая связь – это связь, при которой вспомогательные
атрибуты не являются частью идентификатора сущности.
145