Діаграма станів

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Приклад діаграми станів автомата.

Абстрактного автомата граф (діаграма станів, англ. statechart) — спрямований граф, вершинам якого відповідають стани автомата, а дугам — вхідні сигнали. Якщо вхідний сигнал xi спричиняє перехід автомата зі стану aj в стан ak, то на графі цьому факту відповідає дуга, позначена символом xi, яка з'єднує вершину aj з ak. Такий граф задає функцію переходів автомата. Для визначення функції виходів, дуги цього графа позначаються ще й відповідними вихідними сигналами. Визначення автомата за допомогою його графа є особливо наочним за умов невеликої кількості станів.

Діаграми Хареля[ред.ред. код]

Діаграми станів Хареля (англ. David Harel[1] стають дедалі популярнішими після того, як варіант цих діаграм став частиною Unified Modeling Language. Цей вид діаграм дозволяє моделювання надстанів, ортогональних регіонів, та діяльності як складової стану.

Класичні діаграми станів вимагають створення окремих вершин для кожної допустимої комбінації параметрів, що визначають стан. Це може призводити до необхідності введення великої кількості вершин та переходів між ними для систем складніших за найпростіші. Така складність ускладнює перегляд та розуміння діаграми. Діаграми Хареля дозволяють моделювання багатьох автоматів з перетином функцій на одній діаграмі. Кожен з відокремлених автоматів може виконувати внутрішні переходи не впливаючи на інші автомати на діаграмі. Стан кожного з відокремленого автомата на діаграмі визначає стан системи. Діаграма Хареля еквівалентна діаграмі станів але полегшує перегляд та розуміння отриманих діаграм.

Посилання[ред.ред. код]

Див. також[ред.ред. код]