Page 82 - 6602

основі їх реакції на сприйняття деяких конкретних подій. Системи,
які реагують на користувачів або зовнішні дії іншої системи,
називають реактивними. Якщо такі дії ініціюються в довільні
випадкові моменти часу, то говорять про асинхронну поведінку
моделі.

Рис.5.7 Діаграма послідовності для процесу оптимізації

Кінцевий автомат (state machine) - модель для опису
поведінки об'єкта у формі послідовності його станів, які описують
реакцію об'єкта на зовнішні події, виконання об'єктом дій, а також
зміну його окремих властивостей.
Тривалість знаходження системи в окремому стані істотно
перевищує час, який витрачається на перехід з одного стану в
інший. Іншими словами, перехід об'єкту із стану в стан відбувається
миттєво.
Для графа станів системи можна ввести в розгляд спеціальні

78