Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 30 стр.

UptoLike

30 Глава 3. Методика IDEF0/SADT. Функциональная модель
графическое представление блочного моделирования графика бло-
ков и дуг SADT-диаграммы отображает функцию в виде блока, а ин-
терфейсы входа/выхода представляются дугами, соответственно входя-
щими в блок и выходящими из него;
строгость и точность выполнение правил SADT требует достаточной
строгости и точности, не накладывая в то же время чрезмерных ограни-
чений на действия аналитика;
связность диаграмм блоки нумеруются специальным образом;
уникальность меток и наименований отсутствие повторяющихся имён;
синтаксические правила для графических символов локов и стрелок);
разделение входов и управлений правило определения роли данных;
отделение организации от функции, т.е. исключение влияния организа-
ционной структуры на функциональную модель.
Методология SADT/IDEF0 может использоваться для моделирования ши-
рокого круга систем и определения требований и функций, а затем для раз-
работки системы, которая удовлетворяет этим требованиям и реализует эти
функции. Для уже существующих систем SADT/IDEF0 может быть исполь-
зована для анализа функций, выполняемых системой, а также для указания
механизмов, посредством которых они осуществляются.
3.1.1. Методологические понятия
Одним из основных понятий стандарта IDEF0 является декомпозиция (De-
composition). Принцип декомпозиции применяется при разбиении сложного
процесса на составляющие его функции. При этом уровень детализации про-
цесса определяется непосредственно разработчиком модели. Декомпозиция
позволяет постепенно и структурированно представлять модель системы в
виде иерархической структуры отдельных диаграмм.
Модель IDEF0 всегда начинается с представления системы как единого
целого –– одного функционального блока с интерфейсными дугами, уходящи-