Синтаксис и семантика моделей IDEFO

Методология IDEFO сочетает в себе небольшую по объему графическую нотацию. Она содержит только два обозначения: блоки и стрелки.

Рис. 5.2 показывает 4 возможных типа стрелок в IDEFO, каждый из типов соединяется со своей стороной функционального блока.

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.2. Каждый тип стрелки соединяется со своей стороной функционального блока

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

Стрелки входа. Вход представляет собой сырье или информацию, потребляемую или преобразуемую функциональным блоком для произ­водства выхода. Наличие входных стрелок на диаграмме не является обя­зательным, так как возможно, что некоторые блоки ничего не преобразуют и не изменяют.

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

Стрелки выхода. Выход — это продукция или информация, получаемая в результате работы функционального блока. Каждый блок должен иметь, как минимум, один выход.

Стрелки механизма исполнения. Механизм исполнения является ресурсом, который непосредственно исполняет моделируемое действие, качестве механизмов исполнения обычно выступают персонал или техника.

Комбинированные стрелки.

Стрелка выход — вход применяется, когда один из блоков должен полностью завершить работу перед началом работы другого блока. Так, на рис 5.3. выписке счета должен предшествовать прием заказа.

Синтаксис и семантика моделей IDEFO - student2.ru

Рис.5.3. Комбинация стрелок выход — вход

Стрелка выход - управление отражает ситуацию преобладания одного блока над другим, когда один блок управляет работой другого (рис. 5.4).

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.4. Комбинированная стрелка выход — управление

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

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.5. Комбинированная стрелка выход — механизм исполнения

Обратные связи

Обратные связи на вход и на управление применяются в случаях, ко­гда зависимые блоки формируют обратные связи для управляющих ими блоков.

На рис. 5.6 показана стрелка выход - обратная связь на управление.

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.6. Комбинированная стрелка выход - обратная связь на управление

На рис. 5.7 показана стрелка выход - обратная связь на вход. Стрелка выход - обратная связь на вход обычно применяется для описания циклов повторной обработки чего-либо.

Синтаксис и семантика моделей IDEFO - student2.ru

Рис.5.7. Комбинированная стрелка выход - обратная связь на вход

Разбиение и соединение стрелок.

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

Синтаксис и семантика моделей IDEFO - student2.ru

Рис.5.8. Разбитая на две части и переименованная стрел

Туннели

Если одна из стрелок диаграммы отсутствует на родительской диаграмме и не связана с другими стрелками той же диаграммы, точка входа этой стрелки на диаграмму или выхода с нее обозначается туннелем (рис. 5.9). Таким образом, помечаются стрелки, несущественные для родительского уровня.

Туннели также могут применяются для отражения ситуации, когда стрелка, присутствующая на родительской диаграмме, отсутствует в диаграмме декомпозиции соответствующего блока (рис. 5.10

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.9. Пример применения туннеля

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.10. Еще один пример применения туннеля

Типы связей между функциями

Различают связи семи типов: случайная; логическая; временная; процедурная; коммуникационная; последовательная и функциональная связь.

Случайная связь - показывает, что конкретная связь между функциями незначительна или полностью отсутствует.

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

Временная связь - представляет функции, связанные во времени, когда данные используются одновременно или функции включаются параллельно.

Процедурная связь - функции сгруппированы вместе благодаря тому, что они выполняются в течение одной и той же части процесса.

Коммуникационная связь - функции группируются благодаря тому, что они используют одни и те же входные данные и/или производят одни и те же выходные данные (рис. 5.11).

Последовательная связь - выход одной функции служит входными данными для следующей функции (рис. 5.12).

Функциональная связь - все элементы функции влияют на выполнение одной и только одной функции (рис. 5.13). В математических терминах: С = g(B) = g(f(A)).

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.11 Коммуникационная связь

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.12. Последовательная связь

Синтаксис и семантика моделей IDEFO - student2.ru

Рис. 5.13. Функциональная связь

Построение моделей IDEF0

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

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

Одним из положительных результатов построения функциональных моделей оказывается прояснение границ моделирования системы.

Границы моделирования имеют два компонента: ширину охвата и глубину детализации. Ширина охвата обозначает внешние границы моделируемой системы. Глубина детализации определяет степень подробности, с которой нужно проводить декомпозицию функциональных блоков.

Чтобы облегчить правильное определение границ моделирования при разработке моделей IDEF0, существенные усилия затрачиваются на разработку и рецензирование контекстной диаграммы IDEF0. Контекстной диаграммой называется диаграмма самого верхнего уровня.

Модели могут проектироваться с использованием подхода «в ширину», когда каждая диаграмма максимально детализируется перед своей декомпозицией, и с подходом «в глубину», когда сначала определяется иерархия блоков, а затем создаются соединяющие их стрелки.

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

При необходимости дальнейшей детализации отдельных процессов быть использованы диаграммы IDEF3 и DFD, которые будут рассмотрены позднее.

Наши рекомендации