Нотация IDEF1X

Обозначения сущностей:

Элемент диаграммы	Обозначает
	независимая сущность
	зависимая сущность

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

Обозначения связей:

Элемент диаграммы	Обозначает
	идентифицирующая связь
	неидентифицирующая связь

Обозначение кардинальности связей:

Элемент диаграммы	Обозначает
	0,1,M
	0,1
	1,M
	точно N (N - произвольное число)

Пример:

Кроме того, в IDEF1X вводится понятие “отношение категоризации”, по смыслу эквивалентное рассмотренной нами иерархической связи. Отношение полной категоризации (сущности-категории составляют полное множество потомков родительской сущности) обозначается:

Также может существовать отношение неполной категоризации (сущности-категории составляют неполное множество потомков общей сущности):

Пример разработки

 

2.3. Модели управления

Если диаграммы потоков данных отражают процессы распределения и трансформации данных, то диаграммы потоков управления, аналогичные DFD, выполняют ту же функцию по отношению к потокам управления. Модель управления содержит информацию о том, какие решения принимает система в ответ на изменение внешних или внутренних воздействий или режимов функционирования.Принятие решения, иначе называемого ответной реакцией системы, заключается в том, что происходит изменение состояния системы, влекущее за собой включение или выключение некоторых процессов, определенных на диаграмме потоков данных или диаграмме потоков управления. Помимо воздействий модель управления описывает, какую информацию о состоянии внешних сущностей необходимо получить системе и какие сигналы о собственном состоянии передать окружению.

Для описания управляющих воздействий в системе используются следующие средства :

• диаграмма потоков управления (Control Flow Diagram - CFD);
• спецификация управляющего процесса, определяющая управление в системе.

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

 

Рис. 2.8 Взаимодействие моделей обработки данных и управления

Итак, входные данные в системе перерабатываются моделью обработки данных в выходные данные, однако некоторые процессы вырабатывают еще и потоки управления (условия как некоторые логические предикаты ”обычных” потоков данных и события как изменения значений этих предикатов). В качестве управляющих входов может рассматриваться, например, переключение режимов системы, задаваемое извне.

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

В модель обработки входит набор диаграмм потоков данных (DFD) и набор спецификаций процессов.

Модель управления представляет собой некоторый аналог описания функционирования конечного автомата (старая трактовка) или описания модели состояний (более новая). Модель управления образует набор диаграмм управляющих потоков (СFD) и набор управляющих спецификаций.

По аналогии с описанием обрабатывающего процесса в виде его спецификации PSpec, описание управляющего процесса обозначается как CSpec. Описание может включать в себя такие компоненты, как:

· таблицы событий,

· таблицы решений,

· таблицы переходов в состояния,

· диаграммы переходов в состояния (STD – State Transition Diagrams ).

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

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

• потоки данных в системе (DFD);
• спецификации процессов обработки данных (PSPEC);
• потоки управления в системе (CFD);
• спецификации управляющих процессов в системе (STD и таблицы активизации процессов).

Взаимосвязь вышеуказанных понятий приведена на рис. 2.12.

Рис.2.12 Структура модели требований