Нотация idef3 Моделирование в нотации idef3 является частью структурного анализа си стем, может использоваться как дополнение и уточнение модели ide система (не обязательно информационная) описывается как упорядоченная последовательность событий с одновременным описанием объектов,
Скачать 1.08 Mb.
|
НОТАЦИЯ IDEF3 Моделирование в нотации IDEF3 является частью структурного анализа си- стем, может использоваться как дополнение и уточнение модели IDEF0. Система (не обязательно информационная) описывается как упорядоченная последовательность событий с одновременным описанием объектов, имеющих от- ношение к моделируемому процессу. Моделирование IDEF3 может быть реализовано двумя альтернативными ме- тодами: Process Flow Description (PFD) — Описание технологических процессов, с ука- занием того, что происходит на каждом этапе технологического процесса. Object State Transition Description (OSTD) — описание переходов состояний объектов, с указанием того, какие существуют промежуточные состояния у объек- тов в моделируемой системе. Основу методологии IDEF3 составляет графический язык описания процес- сов, поэтому модель в нотации IDEF3 может содержать два типа диаграмм: диаграмму Описания Последовательности Этапов Процесса (Process Flow Description Diagrams, PFDD) диаграмму Сети Трансформаций Состояния Объекта (Object State Transition Network, OSTN) Следует уточнить, что нотация IDEF3 чаще применяется для моделирования и анализа процессов нижнего уровня и может использоваться при декомпозиции блоков процесса модели IDEF0. Однако, сама нотация IDEF3 так же поддерживает возможность декомпозиции, то есть каждый отдельный блок в модели IDEF3, в свою очередь, может быть представлен в виде отдельного подпроцесса. В нотации IDEF3 нет ограничения на количество блоков на одной диаграмме ( в рамках разумной наглядности) и нет принципа «доминирования» блоков. В блок действия диаграммы IDEF3 может входить и выходить только одна стрелка. В про- тивном случае правила построения диаграмм в IDEF3 будут нарушены. Последо- вательность действий процесса рисуют, по возможности, в направлении слева- направо (см. пример). Рис. 0. Пример диаграммы в нотации IDEF3. Если модель в нотации IDEF0 позволяет получить общее представление о функциях, выполняемых моделируемой системой, связях между функциями, ме- ханизмах исполнения, то модель в нотации IDEF3 позволяет проследить логику взаимодействия функций, их последовательность и взаимозависимость связками AND, OR, XOR. Можно сначала построить функциональную модель в нотации IDEF0, проведя исследования предметной области. Затем, используя полученные знания о пред- метной области, построить отдельную модель в нотации IDEF3. А можно создать смешанную модель, дополняя по мере необходимости функциональную модель в нотации IDEF0 диаграммами в нотации IDEF3. Также можно дополнять модель DFD диаграммами в нотации IDEF3. В каждом конкретном случае моделирования системы принимается решение о необходимости построения каждого вида модели. Основная цель нотации IDEF3 — дать бизнес-аналитикам возможность опи- сать ситуацию, когда процессы (действия) выполняются в определенной последо- вательности и взаимной зависимости, а также описать объекты, участвующие совместно в одном процессе. В отличие от IDEF0 нотация IDEF3 не ограничивает автора модели (анали- тика) чрезмерно жесткими рамками синтаксиса и семантики, что удобно для описа- ния неполных или не целостных систем, особенно если аналитик плохо знает пред- метную область. Но нужно иметь в виду, что модель может получиться неполной или противоречивой. Основной организационной единицей описания в IDEF3 является диаграмма. Важна взаимная организация диаграмм внутри модели, также важно пра- вильно построить каждую из диаграмм, поскольку они предназначены для чтения другими людьми (а не только автором). В целом методика построения модели, ре- комендации по построению диаграмм аналогичны тем, которые применяются при моделировании в нотации IDEF0. Как и при моделировании в нотации IDEF0 сначала опрашиваются экс- перты предметной области, определяется цель моделирования — набор во- просов, на которые будет отвечать модель, точка зрения, границы моделиро- вания, с учетом глубины и широты — какие объекты войдут, а какие не будут отображены в модели. При изучении предметной области составляются списки кандидатов на действия (работы), составляющих процесс, и кандидатов на объекты, участ- вующих в процессе, обозначающих результат выполнения работ. Основные символы нотации IDEF3 Диаграмма IDEF3 Process Flow Description может состоять из отдельных и са- мостоятельных описательных блоков: - блоки действия или работы, - стрелки или связи, - перекрёстки, - объекты ссылок. Действие или работа В IDEF3 действия изображаются прямоугольниками с прямыми углами (рис.1). Действия предпочтительнее именовать по тем же правилам, что и в модели IDEF0, то есть глаголом (одиночным или в составе фразы с существительным), обычно отображающим основной результат работы, например, «Создать файл» (это дей- ствие). Допускается использовать стиль именования через имя, выраженное отгла- гольным существительным, например, «Создание файла» (это работа). Все действия должны быть названы и определены. Рис. 1. Символ действие в IDEF3 Каждому действию присваивается уникальный номер (идентификатор), ко- торый никогда не меняется. В отличие от имени действия, которое в процессе уточ- нения и редактирования модели может меняться. Даже если действие будет уда- лено, его идентификатор не должен вновь использоваться для других действий. Обычно номер действия состоит из номера родительского действия и порядкового номера на текущей диаграмме. Нотация IDEF3 позволяет декомпозировать (детализировать) действие много- кратно, т.е. включить в одну модель альтернативные описания процессов. Поэтому в номере действия стоит и порядковый номер декомпозиции родительского дей- ствия (рис.1). Действия имеют входы и выходы, но не поддерживают управления и меха- низмы, как функции в нотации IDEF0. Связи (стрелки) Связи показывают существенные взаимоотношения между действиями. Все связи в IDEF3 однонаправлены, могут начинаться и заканчиваться на любой сто- роне блока. Обычно диаграммы IDEF3 стараются построить так, чтобы связи были направлены слева направо, сверху вниз. В IDEF3 различают три типа стрелок, изображающих связи(табл. 1). Таблица .1. Типы связей Изображе- ние Название Назначение Временное предшествова- ние Сплошная стрелка, связывающая единицы работ. Показывает, что работа-источник должна полностью закончиться прежде, чем работа-цель начнется. Во многих случаях завершение од- ного действия инициирует начало выполнения другого. Связь именуют так, чтобы была понятна причина ее появления. Напри- мер, прежде чем найти вхождение текста в документе, необходимо его ввести (рис. 2). Временная шкала выполнения действий показана на рис. 3. Вертикаль- ными линиями показано начало и окончание действий. Время оконча- ния А1.1.1 и время начала А1.1.2 может совпадать, может не совпадать Объектный по- ток Стрелка с двумя наконечниками. Применяется для описания того, что результатом выполнения исход- ного действия является некоторый объект, который необходим для вы- полнения конечного действия. Временная семантика объектных свя- зей аналогична связям предшествования. Связь именуют так, чтобы четко определить передающийся объект. Например, файл является результатом выполнения действия А1.1.3 (рис. 4) Нечеткое отно- шение Пунктирная линия. Используется, когда невозможно описать связи с использованием предшественных или объектных связей. Значение такой связи должно быть четко определено с помощью названия и описания стрелки, так как связи такого типа сами по себе не предполагают никаких ограни- чений. Применение нечетких отношений: отображение задержки между дей- ствиями; отображение взаимоотношений между параллельно выпол- няющимися действиями. На рис. 5 показано нечеткое отношение между действиями "Вывод пользователю сообщения об ошибке" и "Обработка ошибки" Рис. 2. Связь "временное предшествование" между действиями А1.1.1 и А1.1.2 Рис. 3. Временная шкала выполнения действий для рис. 9.2 Рис. 4. Объектная связь между действиями А1.1.3 и А1.1.4 Рис. 5. Связь "нечеткое отношение" Нечеткое отношение является альтернативой временному предшествова- нию и объектному потоку в смысле задания последовательности выполнения работ — работа-источник не обязательно должна закончиться, прежде чем работа-цель начнется. Более того, работа-цель может закончиться прежде, чем закончится ра- бота-источник. Рассмотрим пример нечеткого отношения (рис.6), альтернативного предше- ственной связи, приведенной на рис.2. Рис. 6. Альтернативная связь предшествования В этом примере в соответствии с порядком действий, показанным на рис. 7, поиск вхождения текста в документе начинается по мере ввода текста, т.е. до непо- средственного окончания ввода текста. Данный вид поиска используется в справоч- ных системах. Рис. 7. Альтернативная временная шкала выполнения действий для рис.6 Необходимо четко документировать временные ограничения между дей- ствиями, соединенными нечетким отношением. Рассмотрим другую возможную временную шкалу для того же примера нечет- кого отношения (рис.8). Рис. 8. Вариант альтернативной временной шкалы для рис.6 В этом случае поиск вхождения текста будет начат после получения первых букв искомого текста, но закончится до того, как все буквы будут введены, это озна- чает, что поиск будет выполнен неверно. Оба варианта альтернативной временной шкалы могут иметь место, поэтому корректная интерпретация нечеткого отношения должна быть документирована в модели. Соединения или перекрестки (Junction) Окончание одного действия может служить сигналом к началу нескольких дей- ствий, или же одно действие для своего запуска может ожидать окончания несколь- ких действий. Перекрестки используются для отображения логики взаимодействия стре- лок при слиянии и разветвлении. В табл.2 приведены возможные типы пере- крестков. В отличие от IDEF0 и DFD в IDEF3 стрелки могут сливаться и разветв- ляться только через перекрестки. Различают перекрестки для слияния и разветвления стрелок. Перекре- сток не может использоваться одновременно для слияния и для разветвления. Различают синхронные и асинхронные соединения. Используются для изображения соответственно синхронных действий, т.е. начинающихся и заканчи- вающихся одновременно, и для изображения асинхронных действий. Все перекрестки на диаграмме нумеруются, каждый номер имеет префикс J. Таблица 9.2. Типы перекрестков Обо- значе- ние Наименование Смысл в случае слияния стрелок (сво- рачивающее соединение) Смысл в случае разветвления стре- лок (разворачивающее соединение) Асинхронное со- единение "И" Все предшествующие работы должны быть обязательно завершены, прежде чем начнется выполнение следующей работы Все следующие работы должны быть обязательно запущены Синхронное со- единение "И" Все предшествующие работы должны быть завершены одновременно Все следующие работы должны быть запущены одновременно Асинхронное со- единение "ИЛИ" Одна или несколько предшествующих работ должны быть завершены Одна или несколько следующих ра- бот должны быть запущены Синхронное со- единение "ИЛИ" Одна или несколько предшествующих работ должны быть завершены одно- временно Одна или несколько следующих ра- бот должны быть запущены одновре- менно Соединение "экс- клюзивное "ИЛИ" Только одна предшествующая работа должна быть завершена, прежде чем сможет начаться следующая работа Только одна следующая работа должна быть запущена Если правила активизации соединения известны, они обязательно должны быть документированы либо в его описании, либо названием стрелок, исходящих из разворачивающего соединения или входящих в сворачивающее соединение. В примере на рис.9 выполняется ввод параметров окружности с клавиатуры, если пользователь использует клавиатуру, указание параметров с помощью мыши — при использовании мыши. И то, и другое действие выполняются при частичном вводе параметров, как с клавиатуры, так и при помощи мыши. Подобное описание вносится в свойства перекрестка. Парность соединений. Все соединения на диаграммах должны быть пар- ными, т.е. любое разворачивающее соединение должно иметь парное себе свора- чивающее соединение, хотя типы соединений не обязательно должны совпадать. На рис.10, а разворачивающее соединение "И" имеет парное сворачивающее со- единение "ИЛИ". Однако если нет необходимости строго придерживаться нотации IDEF3 при построении диаграмм, то в них могут присутствовать и фрагменты, показанные на рис.10, б - в. Синхронное разворачивающее соединение не обязательно должно иметь пар- ное себе синхронное сворачивающее соединение, так как начинающиеся одновре- менно действия вовсе не должны оканчиваться одновременно. Также возможны си- туации синхронного окончания асинхронно начавшихся действий. Рис. 9. Пример использования соединения "ИЛИ" Комбинации соединений. Соединения могут комбинироваться для создания более сложных ветвлений (рис. 11, 12). Комбинации соединений следует использо- вать с осторожностью, так как перегруженные ветвлением диаграммы сложны для восприятия. Рис. 10. Фрагменты диаграмм в нотации IDEF3 Объект ссылки (указатель) Объект ссылки в IDEF3 выражает некую идею, концепцию или данные, ко- торые нельзя описать стрелкой, перекрестком или действием. На рис. 9.11 показано важное для данной модели отношение между действием "Копирование файла" и объектом "Содержимое дисков". Объекты ссылки должны быть связаны с единицами работ или перекрест- ками линиями. Объект ссылки изображается в виде прямоугольника, похожего на прямо- угольник работы. В качестве имени можно использовать имя какой-либо стрелки, процесса, действия с других диаграмм или имя сущности из модели данных. Кроме имени следует указывать тип объекта ссылки (табл. 3). Таблица 3. Типы объектов ссылок Тип объекта ссылки Цель описания ОБЪЕКТ Описывает участие важного объекта в действии ССЫЛКА Инструмент циклического перехода (в повторяющейся последовательности дей- ствий), переход возможен как на действие текущей диаграммы, так и на действие любой другой, но не обязательно. Если все действия цикла присутствуют на текущей диаграмме, цикл может также изображаться стрелкой, возвращающейся на стартовое действие. ССЫЛКА может ссылаться и на перекресток ЕДИНИЦА ДЕЙ- СТВИЯ Применяется для многократного отображения на диаграмме одного и того же дей- ствия, т.е. действия, которое используется в процессе несколько раз, но не в цикле. В этом случае в первый раз действие создается как единица работы, а последующие его появления на диаграмме оформляются объектами ЕДИНИЦА ДЕЙСТВИЯ ЗАМЕТКА Используется для документирования важной информации общего характера, относя- щейся к изображенному на диаграмме. ЗАМЕТКА является альтернативой внесению текстового объекта в диаграмму УТОЧНЕНИЕ Используется для уточнения или более детального описания, изображенного на диа- грамме. Обычно употребляется для детального описания логики ветвления у соеди- нений В нотации IDEF3 информация в модель может вноситься различными спосо- бами. Это позволяет аналитику отображать информацию в удобном в данный мо- мент виде. Например, логика взаимодействия единиц работ может быть отображена гра- фически в виде комбинации перекрестков, что может занять значительное место на диаграмме, затруднит расположение работ. Поэтому та же информация может быть отображена в виде объекта ссылки УТОЧНЕНИЕ. Сеансы экспертизы Сеансы экспертизы проводятся после каждого сеанса декомпозиции. Найден- ные несоответствия исправляются, и только после прохождения экспертизы без за- мечаний приступают к следующему сеансу декомпозиции. Рис. 11. Вариант диаграммы декомпозиции действия "Работа с файлом" в нотации IDEF3 Рис. 12. Вариант диаграммы декомпозиции действия "Редактирование изображений с помощью примитивов в модели "Деятель- ность пользователя ПЭВМ при работе с графическими изображениями" в нотации IDEF3 Рис.13. Пример IDEF3 диаграммы, построенной в редакторе AllFussion Process Modeler. |