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

UptoLike

3.1. Методология SADT/IDEF0 33
ных интерфейсными дугами. Эти блоки представляют основные подфункции
исходной функции. Данная декомпозиция выявляет полный набор подфунк-
ций, каждая из которых представлена как блок, границы которого определены
интерфейсными дугами. Каждая из этих подфункций может быть разбита по-
добным образом для более детального представления.
Во всех случаях каждая подфункция может содержать только те элементы,
которые входят в исходную функцию. Кроме того, модель не может опустить
какие-либо элементы, так как родительский блок и его интерфейсы обеспе-
чивают контекст. К нему нельзя ничего добавить, и из него не может быть
ничего удалено.
Модель IDEF0 представляет собой серию диаграмм с сопроводительной
документацией, разбивающих сложный объект на составные части, которые
представлены в виде блоков. Детали каждого из основных блоков показаны
в виде блоков на других диаграммах. Каждая детальная диаграмма является
декомпозицией блока из более общей диаграммы. На каждом шаге декомпо-
зиции более общая диаграмма называется родительской для более детальной
диаграммы.
Стрелки, входящие в блок и выходящие из него, на диаграмме верхне-
го уровня являются теми же, что и стрелки, входящие в диаграмму нижнего
уровня и выходящие из неё, потому что блок и диаграмма представляют одну
и ту же часть системы. Все граничные дуги должны продолжаться на роди-
тельской диаграмме, чтобы она была полной и непротиворечивой.
3.1.4. Принципы ограничения сложности IDEF0-диаграмм
Обычно IDEF0-модели несут в себе сложную и концентрированную ин-
формацию. Поэтому, чтобы ограничить их перегруженность и сделать удобо-
читаемыми, в стандарте приняты соответствующие ограничения сложности:
ограничение количества функциональных блоков на каждом уровне де-
композиции тремя–шестью (верхний предел (шесть) заставляет разра-