Моделирования uml

Сопоставление действия и деятельности 
Характеристика 
Действие 
Деятельность 
Внешнее событие 
Не 
прерывает 
выполнения
Может 
прерваться 
и 
завершить выполнение 
Завершаемость 
Всегда 
завершается 
самостоятельно 
Может 
продолжаться 
неограниченно долго 
Внутренняя 
структура 
Не 
моделируется 
в 
UML 
Может быть раскрыта на 
отдельной диаграмме 
Время выполнения 
Пренебрежимо мало 
Продолжительное 
Если нам неважно различие между действием и деятельностью и 
нужно употребить более общее понятие, то применяется термин 
активность. 
4.3.2. Граф деятельности 
Семантически граф деятельности (activity graph) — это 
множество 
сущностей, 
которыми 
являются 
действия 
или 
деятельности, и отношения между этими сущностями, которые 
задают порядок их выполнения. 
Синтаксически 
граф 
деятельности — это 
нагруженный 
ориентированный (псевдо) гиперграф, в котором используются узлы 
четырех типов: узлы действий, узлы деятельности, узлы управления 
и узлы объектов, а дуги являются потоками управления или 
потоками данных. 

---

165
На диаграмме деятельности применяется ряд значков, которые 
на самом деле не являются сущностями, хотя и являются узлами 
графа деятельности. Это так называемые узлы управления. Для 
UML 1 узлы управления перечислены в табл. 4.2. 
Таблица 4.2 
Узлы управления UML 1 
Название 
Изображение 
Что обозначает 
Начальное 
состояние 
(initial node) 
Начало деятельности 
Заключительное 
состояние 
(final node) 
Завершение 
деятельности 
Разветвление 
управления 
(decision node) 
Начало альтернативных 
ветвей деятельности
Объединение 
управления 
(merge node) 
Конец 
альтернативных 
ветвей деятельности
Развилка 
управления 
(fork node) 
Начало 
параллельных 
ветвей деятельности
Слияние 
управления 
(join node) 
Конец 
параллельных 
ветвей деятельности
Посылка 
сигнала 
(send) 
Действие 
посылки 
сигнала 
Прием 
сигнала 
(accept) 
Ожидание 
события 
прихода сигнала 
На диаграмме деятельности UML 1 применяется один основной 
тип отношений — простые переходы по завершении (а также поток 
объектов). Переход по завершении не имеет переключающего 
события — событием является завершение внутренней активности 
(деятельности) в состоянии. Как правило, исходящий переход по 
завершении один; если их несколько, они должны быть снабжены 
сторожевыми условиями, образующими полную дизъюнктную 

---

166
систему предикатов. Кроме того, в UML 1 можно
22
использовать и 
переходы, возбуждаемые событиями. Срабатывание такого перехода 
означает прерывание выполнения деятельности в состоянии и 
переход в другое состояние. Однако повторим сказанное при 
описании диаграмм автомата: использование переходов, управляемых 
событиями, настолько же неуместно на диаграмме деятельности, 
насколько неуместно использование на диаграмме 
автомата 
переходов по завершении. Мы не рекомендуем такой стиль 
моделирования.
Таким образом, в рамках семантики машины состояний авторы 
UML 1 сумели описать семантику обычных блок-схем (в которых нет 
никаких событий, а есть последовательная передача управления 
следующей деятельности по завершении предыдущей деятельности). 
Хорошо это или плохо — трудно сказать. Во всяком случае, в UML 2 
от этого способа определения семантики отказались.
Приведем пример диаграммы состояний в стиле UML 1. Для 
этого рассмотрим увольнение сотрудника как бизнес-процесс, 
реализующий соответствующий вариант использования. Приведенная 
на рис. 4.17 блок схема буквально воспроизводит текстовое описание 
сценария. Никаких пояснений, как именно выполняется, например, 
деятельность 
Написать заявление
здесь нет, но бизнес-процесс 
описан совершенно ясно. 
Операционная семантика графов деятельности в UML 2 
определена иным способом, не через машины состояний, а через сети 
Петри. Это определение очень наглядно и изящно, хотя может быть 
не совсем привычно.
В основе определения лежит понятие маркера (token). Маркер 
может не содержать никакой дополнительной информации (пустой 
маркер) и тогда он называется маркером управления (control flow 
token) или же может содержать ссылку на объект или структуру 
данных, и тогда маркер называется маркером данных (data flow token). 
22
По крайне мере этому нет опровержения 

---

167
Следует сразу подчеркнуть, что маркеры не являются элементами 
графа деятельности. Маркеры — это абстрактные конструкции,