Лекция 5 Средства структурного анализа

Лекция 5
Средства структурного
анализа
Состав функциональной
модели
• Диаграммы - главные
компоненты модели
• Блоки - изображают
функции моделируемой
системы
• Дуги - связывают блоки
вместе и изображают
взаимодействия и
взаимосвязи между
блоками
• ICOM-блок
Правила построения моделей
SADT
А0
А-0
А1
А2
А3
А4
А0
Взаимосвязи между блоками
• Управление
• Управленческая Обратная
Связь
• Вход
• Входная Обратная Связь
• Выход –
Исполнитель
• Ветвления
Наименование
дуги
Наименование
дуги
Типы связей PFDD IDEF3
Изображение
Название
Назначение
Временное
предшествование
(Temporal
precedence)
Исходное действие должно полностью
завершиться, прежде чем конечное действие
сможет начаться
Объектный поток
(Object flow)
Выход (результат) исходного действия
является входом конечного действия
(исходное действие должно завершиться,
прежде чем конечное действие сможет
начаться).
Должна иметь наименование. Наименования
потоковых связей должны четко
идентифицировать объект, который
передается с их помощью.
Нечеткое
отношение
(Relationship)
Вид взаимодействия между исходным и
конечным действиями задается аналитиком
отдельно для каждого случая использования
такого отношения. Одно из применений
нечетких отношений — отображение
взаимоотношений между параллельно
выполняющимися действиями.
Перекрестки в IDEF3
• Синхронные
соединения
• Асинхронные
соединения
• время начала или окончания
параллельно выполняемых
действий должно быть
• Если действия не
инициируются одновременно
или не заканчиваются
одинаковым
одновременно
Примеры
соединений
Состав модели OSTN IDEF3
• Состояния
Вода:
замороже
нная
Вода:
холодная
Вода:
теплая
• Ссылки
Вода:
горячая
Вода:
кипящая
• Связи переходов
В
А
А
В
• Узлы (перекрестки)
переходов
А
О
В
В
С
С
D
D
&
А
–
–
–
–
UOB
SCENARIO
TS (Transition Schematic )
GO TO
Условные графические
обозначения нотаций DFD
Методология (нотация)
Гейна-Сарсона (GaneSarson)
Название структурного
элемента
Процесс (система,
подсистема, модуль)
Поток (данных,
управления и т.п.)
Хранилище данных
Внешняя сущность
(слайд 11)
Йордона-ДеМарко
(Yourdon-DeMarco)
Декомпозиция данных в DFD
ГРУППОВОЙ УЗЕЛ
b
а
c
abc
b
а
c
abc
УЗЕЛ-ПРЕДОК
НЕИСПОЛЬЗУЕМЫЙ УЗЕЛ
УЗЕЛ ИЗМЕНЕНИЯ ИМЕНИ
Текст в свободном формате в любом
месте диаграммы
NU
имя1
N
имя2
Классификация сущностей
Сущности
Независимые
Зависимые
Стержневые
Стержневые
Кодовые
Ассоциативные
Характеристические
Виды атрибутов
• Простой / составной
(фамилия / адрес)
• Множественный / единичный
(специальность / таб. номер)
• Базовый / производный
(год рождения / возраст)
• Статический / динамический
(таб. номер / адрес)
• Условный (ученая степень)
• ключевой или неключевой
(идентификатор / имя)
Свойства отношений
Степень отношения - число сущностей, ассоциированных с отношением
Унарные (рекурсивные)
Бинарные
N-арные
Направленность отношения - указание исходной сущности в отношении
Тип отношения
Идентифицирующее отношение
Не идентифицирующее отношение
Типизирующее отношение
Исключающее типизирующее отношение
Включающее типизирующее отношение
Отношение многие-ко-многим
Рекурсивное отношение
Количество элементов - максимальное число экземпляров одной
сущности, которые могут быть связаны с экземплярами другой сущности
Один-к-одному (1:1)
Один-ко-многим (1:N)
Многие-ко-многим (M:N)
Обязательность отношения - минимальное число экземпляров ущности,
которые должны участвовать в отношении
Обязательное (1 и более)
Необязательное (0 и более)
Графические нотации
Чена
Мартина
Баркера
Idef 1x
Сущность
независимая
Сущность
зависимая
Атрибут
Первичный
ключ
Связь
неидентифи
цирующая
Связь
идентифицир
ующая
Список внутри прямоугольника сущности
Подчеркивается
Отмечается
символом #
(решетка)
Записывается
первым,
отделяется
сплошной
линией
Графические нотации
Чена
Кардинальн Кардинально
ость 0, 1
сть
указывается
Кардинальн
цифрами
ость 1, 1
возле
Кардинальн каждой
ость 0, …N сущности на
линии,
Кардинальн
соединяюще
ость 1…N
й ее со
Кардинальн связью
ость N
Мартина Баркера
Idef 1x
(IE)
Примеры ER-диаграммы в
различных нотациях
Атрибут
1.3
Сущность 1
Атрибут
1.1
Атрибут
2.3
Нотация Чена
1,1
Связь 1
0, N
Атрибут
1.2
Сущность 2
Атрибут
2.1
Нотация Мартина (IE)
Сущность 1
Атрибут 1.1
Атрибут 1.2
Атрибут 1.3
Атрибут
2.2
Нотация Idef1x
Сущность 1
Атрибут 1.2
Атрибут 1.1
Атрибут 1.3
Связь 1
Сущность 2
Атрибут 2.1
Атрибут 2.2
Атрибут 2.3
Нотация Баркера
Сущность 2
Атрибут 2.2
Атрибут 2.1
Атрибут 2.3
Сущность 1
Атрибут 1.1
#Атрибут 1.2
Атрибут 1.3
Связь 1
Сущность 2
#Атрибут 2.1
#Атрибут 2.2
Атрибут 2.3