2 * Синтаксис и семантика моделей idef3

2.1.1 Модели idef3

Основой модели IDEF3 служит так называемый сценарий биз­нес-процесса, который выделяет последовательность действий или подпроцессов анализируемой системы. Поскольку сценарий опреде­ляет назначение и границы модели, довольно важным является под­бор подходящего наименования для обозначения действий. Для под­бора необходимого имени применяются стандартные рекомендации по предпочтительному использованию глаголов и отглагольных су­ществительных, например «обработать заказ клиента» или «приме­нить новый дизайн».

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

Также важным для системного аналитика является понимание це­ли моделирования — набора вопросов, ответами на которые будет служить модель, границ моделирования — какие части системы вой­дут, а какие не будут отображены в модели, и целевой аудитории — для кого разрабатывается модель.

2.1.2 Диаграммы

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

2.1.3 Единица работы. Действие

Аналогично другим технологиям моделирования действие, или в терминах IDEF3 «единица работы» (Unit of Work — UOW), — другой важный компонент модели. Диаграммы IDEF3 отображают действие в виде прямоугольника. Как уже отмечалось, действия именуются с использованием глаголов или отглагольных существительных, каж­дому из действий присваивается уникальный идентификационный номер. Этот номер не используется вновь даже в том случае, если в процессе построения модели действие удаляется. В диаграммах IDEF3 номер действия обычно предваряется номером его родителя (рис. 2.2)

Рис. 2.2. Изображение и нумерация действия в диаграмме IDEF3

2.1.4 Связи

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

Связь типа «временное предшествование». Как видно из назва­ния, связи этого типа показывают, что исходное действие должно пол­ностью завершиться, прежде чем начнется выполнение конечного действия. Связь должна быть поименована таким образом, чтобы че­ловеку, просматривающему модель, была понятна причина ее появле-

Таблица 2.1

Изобра­жение	Название	Назначение
	Временное предшест­вование (Temporal pre­cedence)	Исходное действие должно завершить­ся, прежде чем конечное действие смо­жет начаться
	Объектный поток (Object flow)	Выход исходного действия является входом конечного действия. Из этого, в частности, следует, что исходное действие должно завершиться, прежде чем конечное действие сможет начаться
	Нечеткое отношение (Relationship)	Вид взаимодействия между исходным и конечным действиями задается анали­тиком отдельно для каждого случая ис­пользования такого отношения

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

Рис. 2.3. Связь типа «временнбе предшествование» между действиями 1.1 и 1.2

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

Рис. 2.4. Объектная связь между действиями 1.1 и 1.2

Связь типа «нечеткое отношение». Связи этого типа использу­ются для выделения отношений между действиями, которые невоз­можно описать с использованием предшественных или объектных связей. Значение каждой такой связи должно быть определено, поскольку связи типа «нечеткое отношение» сами по себе не предпо­лагают никаких ограничений. Одно из применений нечетких отно­шений — отображение взаимоотношений между параллельно выпол­няющимися действиями. На рис. 2.5 приводится фрагмент процесса запуска бензопилы с водяным охлаждением и нечеткое отношение ме­жду действиями «запустить двигатель» и «запустить водяной насос». Название стрелки может быть использовано для описания типа отно­шения, более подробное объяснение может быть приведено в виде отдельной ссылки.

Рис. 2.6. Временная шкала выполнения действия для рис. 2.3

Связь нечеткого отношения, альтернативная предшественной свя­зи на рис. 2.3, представлена на рис. 2.7. В этом примере внесение исправлений начинается по мере получения замечаний от рецензен­тов, т.е. до непосредственного окончания действия по принятию заме­чаний.

• Рис. 2.7. Альтернативная связь предшествования

На рис. 2.8 приведена соответствующая этой ситуации временная шкала.

Рис. 2.5. Связь типа «нечеткое отношение»

Наиболее часто нечеткие отношения используются для описания специальных случаев связей предшествования, например для описа­ния альтернативных вариантов временнбго предшествования. На рис. 2.6 вертикальные линии показывают начало и окончание дейст­вий 1.1 и 1.2, имеющих предшественную связь. В соответствии с по­рядком действий, показанным на рис. 2.3, внесение исправлений в ра­боту начинается после принятия всех замечаний от рецензентов.

Рис. 2.8. Альтернативная временная шкала

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

Рис. 2.9. Вариант альтернативной временной шкалы

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

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