Граф абстрактного автомата або діаграма станів автомата англ statechart орієнтований граф вершинам якого відповідають ст

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

У Вікіпедії є статті про інші значення цього терміна: Діаграма станів.

Діаграми Хареля

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

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

Посилання

David Harel, Statecharts: A visual formalism for complex systems. Science of Computer Programming [ 25 лютого 2021 у Wayback Machine.], 8(3):231-274, June 1987.

Див. також

Вікісховище має мультимедійні дані за темою: Діаграма станів автомата

Література

Глосарій термінів з хімії // Й.Опейда, О.Швайка. Ін-т фізико-органічної хімії та вуглехімії ім. Л.М.Литвиненка НАН України, Донецький національний університет — Донецьк: «Вебер», 2008. — 758 с. —

Це незавершена стаття з хімії.
Ви можете проєкту, виправивши або дописавши її.

[Har87-1] David Harel, Statecharts: A visual formalism for complex systems. Science of Computer Programming [ 25 лютого 2021 у Wayback Machine.], 8(3):231-274, June 1987.