Файл: Учебное пособие по курсу Технология разработки программного обеспечения для студентов.doc

Если различие между As-Is и To-Be велико и процесс перехода между ними неочевиден, то кроме As-Is и To-Be, строится третья модель, изображающая такой процесс.

7.2Диаграммы IDEF0.

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

В IDEF0 выделяется 4 вида диаграмм:

Контекстная диаграмма.
Диаграмма декомпозиции.
Диаграмма дерева узлов.
Диаграмма только для экспозиции (FEO).

Основные символы и виды дуг изображены на рисунке 12.

Функциональный блок и интерфейсные дуги в IDEF0

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

Стрелки (Arrow) описывают взаимодействие системы с внешним миром и работой между собою. Стрелки представляют собой информацию или физические объекты и именуются существительными (например, «Заготовка», «Изделие», «Заказ»).

В IDEF0 различают 5 типов стрелок:

Вход (Input) – материал или информация, использующаяся или преобразуемая работой для получения результатов. Стрелки такого типа изображаются входящими в левую грань блока функции.
Управление (Control) – правила, стратегии, процедуры или стандарты, которыми руководствуется работа. Стрелки такого типа изображаются входящими в верхнюю грань блока функции.
Выход (Output) – материал или информация, производящаяся работой. Стрелки такого типа изображаются выходящими из правой грани блока функции.
Механизм (Mechanism) – ресурсы, которые выполняют работу (персонал предприятия, станки, устройства и т.п.). Стрелки этого типа изображаются входящими в нижнюю грань блока функции.
Вызов (Call) – специальная стрелка, указывающая на другую модель работы. Стрелка рисуется исходящей из нижней грани блока.

Для дополнительной идентификации стрелок каждой из них присваивается ICOM-код (ICOM – аббревиатура от Input-Control-Output-Mechanism). Код стрелки содержит префикс, соответствующий типу стрелки (I, C, O или M) и ее порядковый номер.

Правила работы со словарем данных в IDEF0 аналогичны правилам, используемым в DFD.

Пример контекстной диаграммы IDEF0 для банковской задачи приведён на рисунке 13.

Контекстная диаграмма IDEF0 банковской задачи

7.2.1Виды связей в IDEF0

Функции в IDEF0 располагаются в порядке доминирования. Функция управляющая, или предшествующая располагается левее и выше управляемой функции.

В IDEF0 различают 5 видов связей между работами (рис.14):

Связь по входу (output – input).
Связь по управлению (output – control).
Обратная связь по входу (output – input feedback).
Обратная связь по управлению (output – control feedback).
Связь выход-механизм (output – mechanism). Связь показывает, что одна работа подготавливает ресурсы, необходимые для проведения другой работы.

Виды связей в IDEF0.

Примеры декомпозиции процессов банковской задачи при помощи диаграмм IDEF0 приведены на рисунках 15 и 16.

Диаграмма первого уровня IDEF0 для банковской задачи

Диаграмма IDEF0 для процесса «Обработать запрос на обслуживание»

7.2.2Диаграмма дерева узлов

Диаграмма дерева узлов показывает иерархию работ в модели и позволяет рассмотреть всю модель целиком, но не показывает взаимосвязи между работами. Процесс создания модели работ является итерационным, следовательно, работы могут менять своё положение в дереве узлов.

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

Дерево узлов для банковской задачи приведено на рисунке 17.

Дерево узлов банковской задачи

7.2.3Диаграмма «Только для просмотра» (For Exposition Only – FEO)

Диаграммы «Только для просмотра» используются в моделях для иллюстрации других точек зрения, для отражения деталей, не поддерживаемых синтаксисом IDEF0. Диаграмма FEO позволяет нарушить любое синтаксическое правило, поскольку является по сути лишь картинкой – копией стандартной диаграммы – и не включается в анализ синтаксиса. Например, работа на диаграмме FEO может не иметь стрелок управления и выхода.

Если необходимо обсудить с экспертом какой-либо ограниченный аспект модели, может быть создана диаграмма FEO с одной работой и одной стрелкой. Данный приём позволит исключить несущественные для данной экспертизы и сбивающие эксперта с толку детали модели.

Если же FEO создается для иллюстрации альтернативной точки зрения по модели, то рекомендуется придерживаться синтаксиса IDEF0.

8Моделирование данных в нотации IDEF1x

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

Диаграммы «сущность-связь» (ERD) предназначены для разработки моделей данных и обеспечивают стандартный способ определения данных и отношений между ними.

Данный подход введен П.Ченом и усовершенствован Р. Баркером.

8.1Базовые понятия ERD

Сущность (Entity) – реальный либо воображаемый объект, имеющий существенное значение для предметной области.

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

Каждая сущность должна обладать следующими свойствами:

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

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

Атрибут (Attribute) – любая характеристика сущности, значимая для предметной области и предназначенная для квалификации, идентификации, количественной характеристики или выражения состояния сущности. Атрибут представляет собой тип характеристик или свойств, ассоциированных со множеством реальных или абстрактных объектов (людей, мест, событий и т.п.). Экземпляр атрибута определяется типом характеристики и ее значением (значением атрибута). Экземпляр атрибута – определенная характеристика отдельного элемента множества. В ERD атрибуты ассоциируются с конкретными сущностями. Каждый экземпляр сущности должен обладать единственным определенным значением для ассоциированного атрибута.