53. Диаграмма конечного автомата: псевдосостояния, их виды и применение

Псевдосостояния (pseudo state)- абстрактный элемент модели, который включает в себя различные типы вспомогательных вершин в графе конечного автомата

Начальное псевдосостояние (initial pseudo state) представляет вершину графа конечного автомата, которая по умолчанию является состоянием источником для начального перехода моделируемого поведения

Узел завершения (terminate node) является псевдосостоянием, вход в который означает завершение выполнения поведения конечного автомата в контексте его объекта

Финальное состояние (final state) – специальный вид состояния, предназначенное для моделирования завершения конечного автомата или региона, в котором оно содержится.

Выбор и соединение

Псевдосостояние выбора (choice pseudo state) предназначено для моделирования нескольких альтернативных ветвей при реализации поведения конечного автомата

Псевдосостояние соединения (junction pseudo state) является вершиной со свободной семантикой, которая используется для соединения вместе нескольких переходов

Разделение и слияние

Вершина разделения (fork vertex) – псевдосостояние, предназначенное для разделения входящего перехода на два или более перехода, которые имеют в качестве своих целей вершины в ортогональных регионах композитного состояния.

Вершина слияния (join vertex) – псевдосостояние, предназначенное для соединения нескольких переходов, которые имеют в качестве своих источников вершины из различных ортогональных регионов композитного состояния.

Точки входа и выхода

Точка входа (entry point) – псевдосостояние, предназначенное для моделирования входа в некоторый конечный автомат или композитное состояние

Точка выхода (exit point) – псевдосостояние, предназначенное для моделирования выхода из некоторого конечного автомата или композитного состояния

Псевдосостояние неглубокой истории (shallow pseudo state)

Псевдосостояние неглубокой истории (shallow pseudo state) предназначено для представления самого последнего активного подсостояния композитного состояния после выхода из него.

Псевдосостояние глубокой истории (deep pseudo state)

Псевдосостояние глубокой истории (deep pseudo state) предназначено для представления последней активной конфигурации композитного состояния после выхода из него.

54. Протокольные конечный автомат: назначение, элементы и принципы построения

Протокольный конечный автомат предназначен для спецификации допустимых состояний и условий при вызове операций классификатора.

Протокольные конечные автоматы позволяют определить способы использования операций классификатора и его клиентов посредство спецификации:

контекста (в каких состояниях и при каких предусловиях могут быть вызваны операции объекта);

протокольного порядка между вызовами операций объекта;

ожидаемого результата использования операций.

Протокольное состояние – состояние протокольного конечного автомата, которое представляет некоторую открытую для наблюдения стабильную ситуацию контекста его классификатора.

Отличия от состояния конечного автомата поведения:

• для протокольных конечных автоматов не существуют отдельные характеристики конечного автомата поведения (entry, do, exit);

• состояния в протокольных конечных автоматах могут иметь некоторый инвариант.

Ограничения:

• протокольный конечный автомат может иметь только контекст классификатора, но не контекст характеристики поведения;

• все переходы протокольного конечного автомата должны быть протокольными переходами;

• состояния протокольного конечного автомата не могут иметь действий входа, выхода или выполнения;

• протокольные конечные автоматы не могут иметь псевдосостояния глубокой или неглубокой истории.

Протокольный переход специфицирует некоторый законный переход для операции, представленной в форме протокольного конечного автомата.

Ограничения:

• протокольный переход может принадлежать только протокольному конечному автомату;

• протокольный переход никогда не имеет действий на переходе;

• если протокольный переход ссылается на операцию, то эта операция должна применяться в контексте классификатора конечного автомата, содержащего данный протокольный переход;

• е сли на некоторую операцию объекта не ссылается никакой протокольный переход, то такая операция может быть вызвана для любого состояния протокольного конечного автомата, но она не изменяет текущее состояние.