Page 89 - 6602
P. 89
істинності сторожової умови в моделі відбувається лише після
виникнення асоційованої з ним події-тригера або завершення
діяльності, які ініціюють відповідний перехід.
Рис. 6.4. Графічне зображення тригерного (а) і нетригерного (б)
переходів на діаграмі станів
Оскільки загальна кількість переходів, що виходять з будь-
якого стану, в мові UML не обмежена, хоча і є кінцевою, не
виключена ситуація, коли з одного стану можуть виходити декілька
переходів з ідентичною подією-тригером. Кожен такий перехід
повинен містити власну сторожову умову, при цьому жодні дві
сторожових умови не повинні одночасно приймати значення
"істина". Інакше на діаграмі станів виникне конфлікт тригерних
переходів.
Аналогічне зауваження справедливе і для нетригерних
переходів, коли з одного стану виходять декілька переходів після
закінчення діяльності.
85
