6.8 Семантика языка idef0
На рисунке 6.5 показано стандартное изображение блока.
Рисунок 6.5 – Изображение блока со стрелками
Вход – это то, что преобразуется или расходуется функцией.
Выход – это то, что произведено функцией (данные или материальные объекты).
Управление – это условия, которые необходимы функции, чтобы произвести правильный выход.
Механизм – это средства, необходимые для выполнения функции.
Вызов – это переход к другому фрагменту модели.
Пример приведён на рисунке 6.6.
Рисунок 6.6 – Пример блока
6.9 Контекстная диаграмма
Контекстная диаграмма – это диаграмма верхнего уровня. Она описывает одну функцию и отображает связи объекта моделирования с внешней средой. Стандартное название контекстной диаграммы А-0.
Контекстная диаграмма содержит краткие утверждения, определяющие точку зрения должностного лица или подразделения, с позиций которого создаётся модель, и цель создания системы. Пример диаграммы приведён на рисунке 6.7.
Рисунок 6.7 – пример контекстной диаграммы
6.10 Дочерние диаграммы
На следующих шагах моделирования происходит декомпозиция функций верхнего уровня на ряд подфункций. Декомпозиция выполняется до тех пор, пока не будет получена модель, соответствующая цели моделирования.
Все дочерние функции должны находиться в области действия родительской функции.
На каждой диаграмме должен быть представлен один уровень декомпозиции.
Между блоками одной диаграммы могут существовать следующие типы отношений:
доминирование;
управление;
выход-вход;
обратная связь по управлению;
обратная связь по входу;
выход-механизм.
Доминирование. Предполагается, что блоки, расположенные на диаграмме выше и левее, оказывают влияние на блоки, расположенные ниже и правее.
Управление. Выход доминирующего блока служит управляющим воздействием для блока с меньшим доминированием (рисунок 6.8).
Рисунок 6.8 – Отношение управления
Выход-вход. Выход одного блока с входом другого (рисунок 6.9).
Отношение выход-вход
Рисунок 6.9 – Отношение выход-вход
Обратная связь по управлению. Возникает, когда выход некоторого блока создаёт управляющее воздействие на блок с большим доминированием (рисунок 6.10).
Рисунок 6.10 – Обратная связь по управлению
Обратная связь по входу. Выход блока на вход блока с большим доминированием (рисунок 6.11).
Рисунок 6.11 – Обратная связь по входу
Выход-механизм. Возникает, когда выход одной функции становится средством выполнения другой, например, происходит пополнение ресурсов, изготавливаются инструменты, обучается персонал и т.п. (рисунок 6.12).
Рисунок 6.12 – Выход – механизм
Пример диаграммы декомпозиции приведён на рисунке 6.13.
Рисунок 6.13 – Пример диаграммы декомпозиции
6.11 Граничные стрелки
Стрелки на диаграмме декомпозиции, показывающие связь с внешней средой, называются граничными стрелками. Все граничные стрелки на диаграмме декомпозиции соответствуют стрелкам родительского блока (за исключением стрелок, помещённых в тоннель).
Стрелка при переходе от родительской диаграммы к дочерней может менять свой тип, например, управляющая стрелка родительской диаграммы становится входом в дочерней диаграмме или вход родительского блока становится управлением для одного или более дочерних блоков.
Для сохранения преемственности стрелок используются специальные коды: I (Input), C (Control), O (Output), M (Mechanism), которые соответствуют расположению стрелок на родительской диаграмме.
Так, стрелка С3 на дочерней диаграмме указывает, что стрелка соответствует третьей слева управляющей стрелке родительского блока.