Функциональная модель (IDEF0)

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

Каждая IDEF0-диаграмм, а содержит блоки и дуги. Блоки изображают функции моделируемой системы. Дуги связывают блоки вместе и отображают взаимодействия и взаимосвязи между ними.

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

Каждая сторона блока имеет особое, вполне определенное назначение. Левая сторона блока предназначена для входов, верхняя — для управления, правая — для выходов, нижняя — для механизмов. Такое обозначение отражает определенные системные принципы: входы преобразуются в выходы управление ограничивает или предписывает условия выполнения преобразований, механизмы показывают, что и как выполняет функция.

Рис. 3.3 — Диаграмма декомпозиции

Диаграмма перехода состояний (STD)

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

STD состоит из следующих объектов:

• 1. Состояние — может рассматриваться как условие устойчивости для системы. Находясь в определенном состоянии, мы имеем достаточно информации о прошлом системы, чтобы определить очередное состояние в зависимости от текущих входных событий.
• 2. Начальное состояние — это узел, являющийся стартовой точкой для начального системного перехода. STD имеет только одно начальное состояние.
• 3. Переход — определяет перемещение моделируемой системы из одного состояния в другое.

Рис. 3.4 — Диаграмма перехода состояний (STD)