кінцевому рахунку призводять до виконання якогось дії (Action), складеного з виконуваних атомарних обчислень, кожне з яких або змінює стан системи, або повертає якесь значення. Дія може полягати в виклику іншої операції, посилці сигналу, створенні або знищенні об'єкта або в простому обчисленні - скажімо, значення виразу.
Діаграма діяльності в загальному випадку складається з: станів роботи і станів дії, переходів, об'єктів.
Діаграма діяльності, власне, являє собою проекцію елементів, присутніх в графі діяльності, - різновиду автомата, в якій всі або більшість станів - це стани діяльності, а всі або більшість переходів обумовлені завершенням діяльності в стані-джерелі. Оскільки діаграма діяльності - це автомат, то до неї застосовні всі характеристики автоматів. Це означає, зокрема, що діаграма діяльності може містити прості і складові стану, точки розгалуження, розділення і злиття (малюнок 11.1).
Малюнок 11.1 - Діаграма діяльності
11.1 Стани дії та стану діяльності
У потоці управління, моделируемом діаграмою діяльності, відбуваються різні події. Ви можете обчислити вираз, в результаті чого змінюється значення деякого атрибуту або повертається деяке значення. Також, наприклад, можна виконати операцію над об'єктом, послати йому сигнал або навіть створити його або знищити. Всі ці виконувані атомарні обчислення називаються станами дії , оскільки кожне з них є стан системи, що представляє собою виконання деякої дії. Стани дії зображуються прямокутниками із закругленими краями. Усередині такого символу можна записувати довільне вираз. UML не вимагає використання будь-якого спеціального мови для запису таких виразів.
Стани дії не можуть бути піддані декомпозиції. Крім того, вони атомарний. Це означає, що всередині них можуть відбуватися різні події, але виконувана в змозі дії робота не може бути перервана.
На противагу цьому стану діяльності можуть бути піддані подальшій декомпозиції, внаслідок чого виконувану діяльність можна представити за допомогою інших діаграм діяльності. Стани діяльності не є атомарними, тобто можуть бути перервані. Передбачається, що для їх завершення потрібний помітний час. Можна вважати, що стан дії - це приватний вид стану діяльності, а конкретніше - такий стан, який не може бути піддана подальшій д?? композиції. А стан діяльності можна уявляти собі як складене стан, потік управління якого включає тільки інші стани діяльності і дій. Стани діяльності і дій позначаються однаково, з тією відмінністю, що у першого можуть бути додаткові частини, такі як дії входу і виходу (тобто виконувані відповідно при вході в стан і виході з нього), і воно може супроводжуватися специфікаціями підавтомат.
Стани дій і стану діяльності - це не що інше, як окремі випадки станів автомата. Входячи в одне з таких станів, ви просто виконуєте деяку дію або діяльність, а при виході управління передається наступному дії або діяльності.
11.2 Переходи
Коли дія або діяльність в деякому стані завершується, потік управління відразу переходить у наступний стан дії або діяльності. Для опису цього потоку використовуються переходи (Transitions), що показують шлях з одного стану дії або діяльності в інше. У UML перехід представляється простий лінією зі стрілкою. Такі переходи називаються переходами по завершенні, або нетріггернимі (Triggerless), оскільки управління по завершенні роботи в початковому стані негайно передається далі.
11.3 Галуження
Прості послідовні переходи зустрічаються найбільш часто, але їх одних недостатньо для моделювання будь-якого потоку управління. Як і в блок-схемі, ви можете включити в модель розгалуження, яке описує різні шляхи виконання залежно від значення деякого булевского вираження. Як видно з малюнка 11.1, точка розгалуження представляється ромбом. В точку розгалуження може входити рівно один перехід, а виходити - два або більше. Для кожного вихідного переходу задається булевское вираз, який обчислюється тільки один раз при вході в точку розгалуження. Ні для яких двох вихідних переходів ці сторожові умови не повинні одночасно приймати значення істина raquo ;, інакше потік управління виявиться неоднозначним. Але ці умови повинні покривати всі можливі варіанти, інакше потік зупиниться.
Реалізувати ітерацію можна, якщо ввести два стани дії - у першому встановлюється значення лічильника, у другому воно збільшується - і точку розгалуження, обчислення в якій показує, чи слід припинити ітерації.
11.4 ...
