- •Обучающий курс
- •Основные понятия и определения
- •Модели жизненного цикла разработки программных средств и систем
- •Стратегии
- •Каскадная модель жизненного цикла разработки программных средств и систем
- •Преимущества каскадной модели жизненного цикла
- •Недостатки каскадной модели жизненного цикла
- •Область применения каскадной модели
- •V-образная модель жизненного цикла разработки программных средств и систем
- •Преимущества V-образной модели жизненного цикла
- •Недостатки V-образной модели жизненного цикла
- •Область применения V-образной модели
- •Структурная эволюционная модель быстрого прототипирования жизненного цикла разработки программных средств и систем
- •Преимущества структурной эволюционной модели быстрого прототипирования
- •Недостатки структурной эволюционной модели быстрого прототипирования
- •Область применения структурной эволюционной модели быстрого прототипирования
- •Модель быстрой разработки приложений rad
- •Преимущества модели быстрой разработки
- •Недостатки модели быстрой разработки
- •Область применения модели быстрой разработки rad
- •Инкрементная модель жизненного цикла разработки программных средств и систем
- •Преимущества инкрементной модели жизненного цикла
- •Недостатки инкрементной модели жизненного цикла
- •Область применения инкрементной модели
- •Спиральная модель жизненного цикла разработки программных средств и систем
- •Преимущества спиральной модели жизненного цикла
- •Недостатки спиральной модели жизненного цикла
- •Область применения спиральной модели
- •Упрощенные варианты спиральной модели
- •Классические технологии проектирования программ
- •Модульное проектирование программ
- •Метод нисходящего проектирования
- •Пошаговое уточнение
- •Анализ сообщений
- •Связность модуля
- •Типы и силы связности модулей.
- •Сцепление модулей
- •Типы и степени сцепления модулей.
- •Метод восходящего проектирования
- •Методы расширения ядра
- •Метод иерархического проектирования модулей (метод Джексона)
- •Case-технологии проектирования программного обеспечения
- •Общие сведения о case-технологиях
- •Информационное моделирование
- •Сущности
- •Атрибуты
- •Способы представления сущностей с атрибутами
- •5. Студент (с)
- •Классификация атрибутов
- •Правила атрибутов
- •Безусловные связи
- •Условные формы связи
- •Формализация связи
- •Подтипы и супертипы
- •Рабочие продукты информационного моделирования
- •Пример информационной модели
- •Методология структурного анализа и проектирования sadt
- •Синтаксис и применение диаграмм
- •Синтаксис моделей и работа с ними
- •Стратегии декомпозиции при sadt-моделировании
- •Процесс sadt-моделирования
- •Инструментальные средства проектирования программного обеспечения
- •Классификация case средств
Безусловные связи
Существует три фундаментальных вида связей:
один к одному (1:1);
один ко многим (1:М);
многие ко многим (М:М).
Эти виды связей относятся к безусловным формам связи, так как для участия в связи требуется каждый экземпляр обеих сущностей.
Связь один-к-одному (1:1)существует, когда один экземпляр одной сущности связан с одним экземпляром другой сущности (3). Например, муж женат на одной жене, жена замужем за одним мужем.
Связь один-к-одному
Связь один-ко-многим (1:М)существует, когда один экземпляр некоторой сущности связан с одним или более экземпляром другой сущности, и каждый экземпляр второй сущности связан только с одним экземпляром первой сущности (4).
Например, каждый владелец собаки владеет одной или несколькими собаками, каждая собака принадлежит только одному владельцу (см. 4).
Связь один-ко-многим
Связь многие-ко-многим (М:М)существует, когда один экземпляр некоторого объекта связан с одним или более количеством экземпляров другого объекта, и каждый экземпляр второго объекта связан с одним или более экземплярами первого (5).
На данном рисунке квартира может являться собственностью одного или нескольких владельцев. В то же время владелец квартиры может владеть несколькими квартирами.
Связь многие-ко-многим
Множественность связи обозначается графически: одна стрелка на конце связи означает один экземпляр сущности, участвующей в связи, двойная стрелка – один или более экземпляров.
Условные формы связи
В условной связимогут существовать экземпляры сущностей, которые не принимают участия в связи. Это обозначается буквой У в конце связи, которая не всегда является истинной (6). На данном рисунке связьR2 условна только с одной стороны, так как не каждый служащий руководит подчиненными, но каждый подчиненный имеет руководящего служащего.
Условные связи
Cвязь, условная с обеих сторон, называетсябиусловной. В этом случае могут существовать экземпляры обеих сущностей, которые не участвуют в связи. Биусловная связь обозначается буквой У с обеих сторон связи (см. связь R1 на 6).
С учетом условных и безусловных связей существует десять отчетливых форм связей (7).
Десять форм связи
Формализация связи
Цель связи– установить соотношение экземпляра одной сущности с экземпляром другой. Это достигается размещением вспомогательных атрибутов в соответствующих сущностях. Связь, определенная с помощью вспомогательных атрибутов, называется связью, формализованной в данных.
Для формализации связи один-к-одному вспомогательные атрибуты могут быть добавлены к любой сущности (но не к обеим). Вспомогательные атрибуты помечаются идентификатором связи в скобках (на 8 вспомогательный атрибут Имя_мужа добавлен к сущности Жена; данный атрибут помечен идентификатором связи R5).
Формализация связи один-к-одному посредством вспомогательного атрибута
Для формализации связи один-ко-многим вспомогательные атрибуты добавляются к сущности на стороне многих (9), в противном случае нарушается третье правило атрибутов.
Формализация связи один-ко-многим посредством вспомогательного атрибута
Для формализации связи многие-ко-многим создается ассоциативная сущность, содержащая ссылки на идентификаторы каждого из участвующих в связи экземпляров (Рис.9.1.). На данном рисунке создана ассоциативная сущность Владение, содержащая вспомогательные атрибуты, в качестве которых используются идентификаторы сущностей Квартира и Владелец_квартиры.
Формализация связи многие-ко-многим посредством ассоциативной сущности
Существует два вида связей, формализованных в данных: идентифицирующая связь и неидентифицирующая связь.
Идентифицирующая связь– это связь, при которой вспомогательные атрибуты включаются в состав идентификатора сущности.
Неидентифицирующая связь– это связь, при которой вспомогательные атрибуты не являются частью идентификатора сущности.