22. Визуальные языки проектирования спецификаций.

2 подхода: Flow-формы (потоки) и диаграммы Насси-Шнейдерман

Базируются на основных идеях структурного программирования и позволяют определять потоки управления с помощью специальных иерархически организованных схем.

Первым из наиболее известных подходов является использование flow-форм. Каждый символ flow-форм имеет вид прямоугольника и может быть вписан в любой внутренний прямоугольник любого другого символа. Символы помечаются с помощью предложений на естественном языке или с помощью математической нотации.

1) последовательный (A,B,C);

2) условный (if A then B else C);

3) Case (case of 1 A1, 2 A2, n An);

4) Цикл (While A Do B);

5) только если, до тех пор (Do B until A);

6)For A do B

Диаграмма Насси-Шнейдермана. В символах условия выбора само условие располагается в верхнем треугольнике, а выбираемые варианты на нижней стороне треугольника. Блоки обработки располагаются под выбираемыми вариантами.

23. Диаграмма «сущность-связь» (erd). Типы сущностей и иерархия наследования.

Предназначена для разработки моделей данных и обеспечивает стандартный способ определения данных и отношений между ними. С помощью данных диаграмм осуществляется детализация хранилищ проектирования системы и документация сущности системы и способы взаимодействия, включая идентификацию объектов, их свойств (атрибутов), важных для предметной области сущностей и отношений атрибутов с другими объектами (наличие связей). Данная нотация введена Ченом. Дальнейшее развитие получила в работе Баккера.

Данные диаграмм используются во всех БД, кроме мультимедийных.

Сущность представляет собой множество экземпляров реальных или абстрактных объектов. Любой объект системы может быть представлен только одной сущностью, которая должна быть уникально идентифицируема. При этом имя сущности должно отражать тип или класс объекта, а не его конкретный экземпляр.

Отношение – связь между 2 или более сущностями. Именуются глаголами.

С ущность представляет базовые типы информации, хранящейся в БД, а отношение показывает, как эти типы данных взаимодействуют друг с другом. Введение этих отношений преследует 2 цели: обеспечение хранения информации в едином месте, даже если она используется в различных комбинациях; использование данной информации различными приложениями.

О

Н(О)ОО

сновные символы:

НС

НС - независимая сущность: независимые данные, которые всегда присутствуют в системе, отношения могут существовать или отсутствовать.

ЗС – зависимая сущность. Данные зависят от других сущностей. Связь обязательна.

АС – ассоциативная сущность. Данные, которые ассоциируются с отношениями между 2 или более сущностями.

Н(О)О – неограниченные обязательные отношения. Безусловное отношение – существует, пока существуют относящиеся к делу сущности.

О(Н)О - ограниченные обязательные отношения. Условные отношения между сущностями.

COO – существующие ограниченные отношения. Соответствуют взаимозависимости в системе.

Связь соединяет сущность и отношение. Направление связи только в сторону сущности.

Типы связей:

1) 1х1 – используется на верхних уровнях иерархической модели.

2) 1хn – самый частый, на средних уровнях.

3) nxm - на ранних стадиях проектирования, в дальнейшем должен быть преобразован в комбинацию отношений первых двух типов.

Сущность обладает одним или несколькими атрибутами – однозначными идентификаторами экземпляров.

Диаграмма атрибутов состоит из детальной сущности соответствующих атрибутов и доменов, описывающих область значения атрибутов. На диаграмме атрибуты представлены в виде связи между сущностью и доменом. Для ключевых атрибутов используют подчеркивание.

Категории сущности

Диаграмма категоризации содержит общую сущность, 2 и более сущности категорий, а также узел, который описывает способы декомпозиции сущностей.

Для категоризации сущностей используется иерархия наследования, которая представляет собой особый тип объединения сущностей.

Иерархия наследования создают, когда несколько сущностей имеют общие по смыслу атрибуты, либо сущности имеют общие по смыслу связи.

Для каждой категории необходимо указать дескриптор – родительский атрибут, который показывает отличие категорий сущностей.

Иерархия категорий делится на 2 типа – полную и неполную. В полной категории одному экземпляру родительского предка обязан соответствовать экземпляр в каком-либо потоке.

Если категория ещё не выстроилась полностью и в родительском предке могут существовать экземпляры, которые не имеют соответствующих экземпляров в потоках, то эта категория неполная.

Каждый экземпляр сущности уникален и отличается атрибутами. Для этого используют ключи. Первичный ключ – атрибут или группа атрибутов, однозначно идентифицирующие экземпляр сущности. Потенциальные ключи – атрибуты, которые могут быть ключами.

Требования к первичному ключу: уникальность, компактность.

ERD-диаграмма при построении может быть избыточной. Упрощают путём нормализации (удаление повторных групп).

В общей сложности разработка ERD-диаграммы включает 3 этапа:

1)Идентификация сущностей, их атрибутов, а также первичных и альтернативных ключей.

2)Идентификация отношений между сущностями, указание типов отношений.

3)Разрешение неспецифических отношений, то есть отношений n:m, Для разрешения неспецифических отношений их преобразовывают в 2 специфических с введением новых ассоциативных сущностей.