Типичная idef0-диаграмма
из блоков, составляющих диаграмму декомпозиции, может быть таким же образом детально описан и т.д. Структура модели показана на рис. 2.
Такую декомпозицию часто называют моделированием сверху вниз, однако, это неправильное употребление термина. Функциональную декомпозицию более корректно рассматривать как пытливый сторонний взгляд на систему. Представление о системе разделяется на уровни детализации, где каждый последующий уровень предоставляет более детальную информацию о предыдущем. Более детальный уровень не просто показывает структуру предыдущего, а выполняет его подробное описание. После подробного описания функции наше представление о ней зачастую изменяется, становится более полным. Увеличение и качественное изменение знаний отражается и на предыдущем уровне декомпозиции, где эта функция упоминается впервые.
Декомпозиция IDEF0-блока представляется теми же выразительными средствами в виде набора IDEF0-блоков. Иными словами, функция рассматривается как совокупность составляющих ее подфункций. Эти подфункции в своей взаимосвязи представляют собой именно декомпозируемую функцию. Взаимодействие и связи между подфункциями (блоками) отображается с помощью дуг (arrows).
Интерфейс функции (стрелки)
Каждая функция имеет входные и выходные данные. Входные данные используются или трансформируются в процессе ее выполнения. Выходные данные представляют результат выполнения функции.
В IDEF0 входы функции подразделяются на три категории: помимо традиционного входа данных (input) выделяются управление (control) и механизм (mechanism). Управление – это объекты, которые определяют и контролируют способ, при помощи которого функция преобразует входные данные, причем само управление не подвергается преобразованию в процессе выполнения функции. Механизм – это те объекты, которые собственно и выполняют функцию преобразования входных данных в выходные. Объекты, являющиеся входом механизма, также не модифицируются в процессе выполнения функции.
Входные и выходные данные в IDEF0 отображаются с помощью дуг. Стрелки, как и категории данных, бывают четырех типов:
I = Input – Вход
C = Control – Управление
O = Output – Выход
M = Mechanism – Механизм
Тип стрелки определяется тем, к какой стороне IDEF0-блока она присоединена (рис. 4) По первым буквам английских названий, система обозначения входных и выходных данных при помощи стрелок в IDEF0 называется ICOM.
С помощью стрелок представляются люди, предметы, концепции, события. Каждая стрелка должна иметь название, которое записывается около линии. Тогда как название функции – это фраза с глаголом, название стрелки – всегда существительное. Название стрелки не всегда может быть правильно понято читателем, поэтому рекомендуется давать текстовые комментарии к стрелкам.
Тип стрелки определяется стороной блока
Вход данных (Input)
Вход данных представляет материалы, предметы или информацию, которые трансформируются в процессе выполнения функции с целью получения результата Стрелки входа соединяются с левой стороной блока. Некоторые блоки могут не иметь стрелок входа, поскольку не каждая функция преобразует или изменяет что-либо. Например, функция "Принять решение", которая заключается в анализе определенных факторов, не преобразует и не модифицирует ни один из факторов. Принятое решение также не оказывает никакого воздействия на исходный набор факторов. При этом факторы представляются входами управления.
Управление (Control)
Управление определяет как, когда и в каком случае выполняется функция, и какой результат от нее ожидается. Поскольку управление "руководит" выполнением функции с целью достижения желаемого результата, каждая функция (IDEF0-блок) должна иметь как минимум один вход управления. Стрелки управления входят в IDEF0-блок сверху.
Управление часто представляется в виде правил, норм, процедур, стандартов. Они оказывают влияние на выполнение функции, не изменяясь при этом сами. В том случае, если целью функции является изменение подобной информации (правил, норм и т.д.), соответствующая ей стрелка должна быть стрелкой входных данных функции.
Управление – это особый тип входных данных функции. Часто возникает вопрос, какого типа должна быть стрелка: вход или управление. В этом случае рекомендуется выбирать управление; в дальнейшем, после уточнения, стрелке присваивается требуемый тип.
Выход (Output)
Выход – это материалы, предметы, информация, производимые функции. Это результат выполнения функции. Каждый блок обязательно имеет хотя бы одну стрелку выхода. Функции, которые не производят чего-либо определенного, не могут быть смоделированы, они должны исключаться из рассмотрения.
При моделировании непроизводственных процессов, выходом функции часто являются данные, которые были обработаны или переработаны по алгоритму, определяемому функцией. Это становится важным при наименовании входных и выходных данных. Например, функция "Проверить платежеспособность покупателя" может иметь одинаково обозначенные входные и выходные данные. Правильное обозначение данных предполагает, что в этом случае входная стрелка будет названа "Исходные данные о покупателе", а выходная "Проверенные данные о покупателе"
Механизм (Mechanism)
Механизм – это те ресурсы, при помощи которых выполняется функция. В качестве механизма выступают люди, машины, оборудование, которые обеспечивают все необходимое для реализации функции. IDEF0-блок может не содержать стрелок механизма. Это объясняется тем, что знание механизма, осуществляющего функцию, зачастую не является целью моделирования системы.
Варианты взаимодействия функций
Существует пять основных вариантов взаимодействия функций (связей между функциями): выход-вход, выход-управление, выход-механизм, обратная связь выход-управление и обратная связь выход-вход. Эти типы взаимодействия, естественно, отображаются при помощи стрелок.
Связь выход-вход обозначает, что выполнение одной функции предшествует выполнению другой, и результат первой функции является входными данными для другой. На рис. 5 функция "Закупить материалы" предшествует выполнению функции "Обработать материалы".
