© Дубейковский В.И., аналитик отдела внедрения и консалтинга компании "Интерфейс"
Стрелка в функциональной модели (ФМ) - символ связи между её функциями (Activity) - один из двух основных системообразующих инструментов формирования ФМ. Наряду с Activity.
Определение стрелки из GLOSSARY (Чтобы открыть GLOSSARY: Help/Help Topics, в информационное поле "1. Введите первые буквы…" ввести Glossary, затем "Показать") AllFusion Process Modeler:
"An arrow in an IDEF0 diagram represents an input, control, output, or mechanism (ICOM) of an activity. In IDEF3, arrows represent order or precedence between activities (drawn with a solid line), relationships (drawn with a dashed line), or object flow (drawn with two heads on a solid line arrow). In a DFD, the arrow represents the flow of data between activities, data stores, and external references" - стрелка в IDEF0 диаграмме представляет вход, управление, выход или механизм для функции. В IDEF3 стрелка представляет порядок или предшествование между функциями (рисуют сплошной линией), взаимосвязь (рисуют пунктирной линией, или поток объектов (рисуют две головки на сплошной линии стрелки). В DFD стрелка представляет поток данных между функциями, накопителями данных (Data Stores) и внешними сущностями (External References)
Наличие стрелок, привязанных к той или иной Activity, превращает её из бизнес-функции в бизнес-процесс - см. GLOSSARY AllFusion Process Modeler 4.1.4:
"business function
A term used to describe what activities are performed by the business. IDEF0 provides support for modeling of business functions through notations that support activities and ICOMs - термин, используемый для описания того, что функции преобразуют в процессе осуществления бизнеса. IDEF0 обеспечивает поддержку моделирования функционирования бизнеса посредством нотации, которая поддерживает функции и связи".
"business process
A term used to describe a modeling method (IDEF0) that supports the graphical description of business functions as a set of interrelated activities and the information or resources required for each activity» - термин, используемый для описания метода моделирования (IDEF0), который поддерживает графическое описание функций бизнеса, как набор взаимосвязанных функций и информации или ресурсов, которые требуются для каждой функции".
Полнота и корректность разрабатываемой ФМ в значительной степени зависят от:
- полноты выявления состава связей между функциями,
- безошибочности назначения характеристик связей,
- корректности топологической структуры связей.
Характеристика связи определяется по двум основным критериям:
- тип связи,
- предметная специализация связи.
Тип связи выбирается из меню, предъявляемых во время работы AllFusion Process Modeler 4.1.4 - см. рис. 1 - 3 (на всех рисунках - группа Type).
Предметная специализация связи определяется:
- для IDEF0 - ICOM набором (среди них три стрелки входа и одна стрелка выхода),
- для DFD и IDEF3 только как стрелки входа и стрелки выхода.
На рис. 1 - 3 приводятся окна выбора типа, толщины (Thickness) и режима использования выбранных стрелок. Эти окна (окно Arrow Properties, закладка Style) открыты для определения стиля стрелок из контекстного меню (shortcut menu), открывающегося, по вызову курсором, для той или другой стрелки. Приводятся окна для стрелок в IDEF0, DFD, IDEF3 диаграммах.
Видно, что во всех трёх случаях имеется три типа стрелок, повторяющихся для всех случаев - стрелки типа Precedence, Relational, Object Flow. Для DFD, кроме того, введена стрелка Bidirectional, а для IDEF3 - связь Referent (без головки)
Линия Referent предназначена для связывания UOW и Junction с объектом Referent на диаграммах IDEF3.
На рис. 4 приведено, из Help, более детальное описание стрелок. Указано, для «…Arrow Types in Process Flow Diagrams» (типы стрелок для диаграмм потоков процессов, т.е. для IDEF3), что:
Стрелка Precedence (см. столбец "Описание" (Description) - выражает порядок или предшествование между одной Activity и другой. Activity, связанная с началом связи (link) должна быть завершена, прежде чем Activity у конца связи стартует…
Стрелка Relational - пользователем может быть определено, что она выражает связь между двумя или больше Activity….
Стрелка Object Flow - обозначает участие объекта в двух или более Activities, так что когда объект созданный в одной Activity необходим для завершения другой (Activity)…".
Вероятно, то же объяснение может быть отнесено и к стрелкам IDEF0 и DFD.
Указывается также, что в отличие от IDEF0 и DFD, в IDEF3 стрелки могут сливаться и разветвляться только через перекрёсток (Junction).
Рис. 1. Виды стрелок IDEF3
Рис. 2. Виды стрелок DFD
Рис. 3. Виды стрелок IDEF0
Рис. 4. Сводка по типам Arrow в Process Flow Diagrams (IDEF3). См. Help/Help Topics, закладка "Поиск".
Все рассмотренные выше стрелки делятся также на:
- граничные стрелки - один конец которых касается границы диаграммы, а другой конец касается одной из граней того или иного бокса,
- внутридиаграммные стрелки - оба конца которых касаются граней боксов диаграммы.
По их состоянию стрелки делятся на:
- непривязанные стрелки,
- привязанные стрелки,
- стрелки с прямоугольным туннелем,
- стрелки с круглым туннелем
Непривязанные (и укороченные) стрелки образуются, как правило, после образования декомпозиции. При декомпозициях IDEF0 - IDEF0, DFD - DFD, IDEF0 - DFD стрелки материнской (декомпозируемой) Activity "мигрируют" (повторяются) (Не мигрируют стрелки с IDEF0 и DFD на IDEF3. Также как и между диаграммамиIDEF3) на дочернюю диаграмму именно как непривязанные и укороченные. Причина этого в том, что при начале работы с декомпозицией неизвестно к каким Activities их надо привязать. При развитии диаграммы декомпозиции все стрелки должны быть обязательно привязаны к краям диаграммы или к боксам. Непривязанные стрелки классифицируются AllFusion Process Modeler как ошибки (в отчёте по состоянию модели - Model Consistency Report).
Туннелирование стрелок в диаграммах AllFusion Process Modeler является следствием несоблюдения преемственности состава связей на материнской и дочерней диаграммами. Подробнее - см. [1], разделы 4.6, 4.7, 4.7.1, 4.7.3. В некоторых случаях миграция стрелок блокируется автором ФМ. Причиной этого может стать намерение упростить дочернюю диаграмму, когда стрелка материнской диаграммы, в случае её миграции на дочернюю диаграмму, должна была бы быть привязана ко всем Activity дочерней диаграммы.
Наличие таких стрелок "ко всем" предусмотрено IDEF0. Наличие затуннелированных стрелок в ФМ является, тем не менее, ошибкой.
Особый вид стрелки - Off-Page Reference. Эта стрелка является наследницей затуннелированной стрелки и позволяет осуществлять связь между разными диаграммами ФМ, в том числе - между диаграммами в разных методиках (исключая диаграммы IDEF3). Эти стрелки служат во многих случаях эффективным средством интеграции диаграмм, особенно потому, что в процессе их миграции может быть произведено изменение предметного содержания стрелки - например, стрелка Output может мигрировать на связанную диаграмму как Input или Control или как Mechanism. Работа с этим видом стрелок - см. [1], раздел 4.7.2.
Последний вид стрелок - стрелки Call Arrow - стрелки вызова. Классифицируются AllFusion Process Modeler как стрелки Mechanism, но в отличие от механизмов направлены из нижней грани бокса Activity вниз, и только к нижней границе диаграммы. Эта стрелка автоматически генерируется при разделении модели (Split Model), указывая на отделённую часть модели и образуя предпосылку для возврата отделённой части.
Эта стрелка должна быть также создана разработчиком модели при организации процедуры присоединения к ней другой модели (см. [1], раздел 5.7 Изменение структуры ФМ).
Все стрелки кроме стрелок IDEF3 и стрелок Call Arrow могут разветвляться (Branch) и сливаться (Joined).
Стрелки ФМ сохраняются в словаре стрелок (Arrow Dictionary). Словарь может быть экспортирован или импортирован - см. [1], разделы 5.14, 5.14.1, 5.14.2.
Стрелки сохраняются в словаре даже после удаления их из диаграмм. Словарь имеет функцию автоматической очистки (Purge), позволяющей удалить отсутствующие в ФМ стрелки.
В отличие от Activity Name, Arrow Name (имена стрелок) могут быть повторно использованы в одной и той же ФМ. В некоторых случаях это позволяет упростить графику диаграмм.
Анализ состояния сети связей поддерживается в AllFusion Process Modeler специализированным отчётом по стрелкам Arrow Report. Окно его настройки приводится на рис. 5. Не менее полезные возможности работы со стрелками имеются в отчёте Diagram Object Report.
Помимо имён стрелок, информация о них может быть существенно пополнена за счёт связанных с ними Definition (определение), Note (замечание), UDP (User Defined Property - определённые пользователем свойства). В том числе получить гиперссылки на информационные ресурсы в любой локализации и в любом формате, вплоть до мультимедийных.
Стрелки могут быть окрашены (см. Color), получить увеличенную толщину (то и другое - см. Style. Их имена могут быть графически к ним привязаны с помощью скуиггла (Squiggle Tool). То и другое может быть визуализировано на диаграммах ФМ или скрыто.
При трансляции отчётов по стрелкам в MS Excel возможна обработка информации отчётов этим пакетом - например, фильтрация списков имён стрелок по тем или иным критериям.
Рис. 5. Окно настройки отчёта Arrow Report.
Литература:
1. В. И. Дубейковский "Эффективное моделирование с AllFusion Process Modeler 4.1.4 и AllFusion PM". Изд. "ДИАЛОГ-МИФИ", 2007 год