На діаграмі станів представлений автомат, що включає в себе стану, переходи, події й види діяльності.
Автомат (state machine) - це опис послідовності станів, через які проходить об'єкт протягом свого життєвого циклу.
Стан (state) - це ситуація в житті об'єкта, протягом якої він задовольняє деякій умові, здійснює певну діяльність або очікує якоїсь події.
Подія (event) - це опис істотного факту, що займає деяке положення в часі й у просторі. У контексті автоматів подія - це стимул, здатний викликати спрацьовування переходу. В UML можна виділити чотири види подій: сигнали, виклики, витікання проміжку часу й зміна стану.
Сигнал (signal) - це вид події, у якому стимул передається асинхронно від одного екземпляра до іншого.
Подія виклику призначена для опису виконання операції. Подія виклику звичайно синхронно.
Подія часу (витікання проміжку часу) моделюється за допомогою ключового слова "after", за яким треба вираження, що обчислює деякий проміжок часу.
Подія "зміна стану" моделюється за допомогою ключового слова "when", за яким треба булевское вираження.
Перехід (transition) - це відношення між двома станами, що показує, що об'єкт, що перебуває в першому стані, повинен виконати деякі дії й перейти в другий стан, як тільки відбудеться деяка подія й будуть виконані задані умови. Перехід визначають п'ять елементів:
- вихідний стан - стан, з якого відбувається перехід;
- подія-тригер - подія, при одержанні якого об'єктом, що перебуває у вихідному стані, може спрацювати перехід;
- сторожова умова - булевское вираження, що обчислюється при одержанні події-тригера й дозволяє перехід;
- дія - атомарне обчислення, що може безпосередньо впливати на об'єкт, що володіє автоматом;
- цільовий стан - стан стає активним після завершення переходу.
Найпростіша діаграма станів
На малюнку представлена найпростіша діаграма станів для об'єкта "рівняння".
Діаграми станів у середовищі Rational Rose ставляться до окремого класу. Для створення такої діаграми в браузері необхідно виділити певний клас і вибрати з контекстного меню New | Statechart Diagram. Щоб додати новий стан, на панелі інструментів необхідно нажати кнопку State або вибрати пункт меню Tools | Create | State.
Щоб додати діяльність, на закладці Detail (Докладно) специфікації необхідного стану за допомогою контекстного меню вікна Actions (Дії) вибирається пункт Insert (Вставити). Дія вводиться в поле Actions (Дії). У вікні When (коли) вказується Do (Виконувати до виходу зі стану), щоб зробити нова дія діяльністю. Щоб додати вхідна дія, у вікні When вказується On Entry (При вході). Щоб додати вихідна дія, у вікні When вказується On Exit (При виході).
Події додаються на закладці General специфікації переходу. Аргументи до події додаються на закладці General специфікації в поле Arguments (Аргументи). Щоб задати умова, що обгороджує, на закладці Detail (Докладно) специфікації переходу умова, що обгороджує, уводиться в поле Condition (умова).
У середовищі Rational Rose розробити діаграми взаємодії, діяльності й станів для проектування завдання рішення рівняння методом дихотомії.
Лекція №10
Тема: Проектування динамічних аспектів програмних продуктів. Взаємодії та послідовностей. Діаграма кооперацій.
Мета: Навчитися виконувати проектування динамічних аспектів програмних продуктів.
Перелік питань, що розглядаються на лекції:
1. Повідомлення
2. Формат запису повідомлень
3. Діаграма кооперації.
