ення окремих елементів моделі.
Поняття стану (state) є фундаментальним в метамоделі мови UML. Вся концепція динамічної системи грунтується на понятті стану.
У мові UML під станом розуміється абстрактний мета клас, використовуваний для моделювання окремої ситуації, протягом якої виконуються деякі умови. Стан може бути задане у вигляді набору конкретних значень атрибутів класу або об'єкта. Зміна окремих значень атрибутів буде відображати зміну стану модельованого класу або об'єкта.
Початковий стан являє собою окремий випадок стану, який не містить ніяких внутрішніх дій (псевдосостояніе). У цьому стані знаходиться об'єкт за умовчанням в початковий момент часу. Воно служить для вказівки на діаграмі графічної області, від якої починається процес зміни станів. Графічно початковий стан в мові UML позначається у вигляді закрашеного гуртка, з якого може тільки виходити стрілка, відповідна переходу.
На самому верхньому рівні представлення об'єкту перехід з початкового стану може бути позначений подією створення (ініціалізації) даного об'єкта. В іншому випадку перехід неможливо позначається. Якщо цей перехід не позначений, то він є першим переходом в наступне за ним стан.
Кінцеве стан являє собою окремий випадок стану, який також не містить ніяких внутрішніх дій (псевдосостояніе). У цьому стані буде перебувати об'єкт за умовчанням після завершення роботи автомата в кінцевий момент часу. Воно служить для вказівки на діаграмі графічної області, в якій завершується процес зміни станів або життєвий цикл даного об'єкта. Графічно кінцевий стан у мові UML позначається у вигляді закрашеного гуртка, поміщеного в коло, яку може тільки входити стрілка, відповідна переходу.
Простий перехід (simple transition) є ставлення між двома послідовними станами, яке вказує на факт зміни одного стану об'єкта іншим.
Подія (event) є самостійним елементом мови UML. Формально, подія являє собою специфікацію деякого факту, що має місце в просторі і в часі. Про події говорять, що вони «відбуваються», при цьому окремі події повинні бути впорядковані в часі. Після настання деякої події вже не можна повернутися до попередніх подій, якщо така можливість не передбачена явно в моделі.
Семантика поняття події фіксує увагу на зовнішніх проявах якісних змін, що відбуваються при переході модельованого об'єкта зі стану в стан. У мові UML події грають роль стимулів, які ініціюють переходи з одних станів в інші. Як події можна розглядати сигнали, виклики, закінчення фіксованих проміжків часу або моменти закінчення виконання певних дій.
Ім'я події ідентифікує кожний окремий перехід на діаграмі станів і може містити рядок тексту, що починається з малої літери. У цьому випадку прийнято вважати перехід тріггерним, тобто таким, який специфікує подія-тригер. Якщо поруч зі стрілкою переходу не вказана ніяка рядок тексту, то відповідний перехід є нетріггерним, і в цьому випадку з контексту діаграми станів має слідувати, після закінчення якої діяльності він виконується. Після імені події можуть слідувати круглі дужки для явного завдання параметрів відповідної події-тригера. Якщо таких параметрів немає, то список параметрів з дужками може бути відсутнім.
Сторожеве умова (guard condition), якщо воно є, завжди записується в ...
