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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

Диаграмма компонентов разрабатывается для следующих целей:

Визуализация общей структуры исходного кода программной системы.

Спецификация исполнимого варианта программной системы.

Обеспечение многократного использования отдельных фрагментов программного кода.

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

 

Компонент (component):

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

Имя экземпляра компонента записывается аналогично имени линии жизни на диаграммах взаимодействия в следующем формате (БНФ):

< имя-экземпляра-компонента >::=[ <собственное-имя-компонента> ][ ‘:’<имя-типа> ],

при этом собственное имя компонента записывается со строчной буквы, а в качестве имени экземпляра компонента должен присутствовать хотя бы один терм.

 

Интерфейсы

 

Предоставляемый интерфейс (provided interface) – интерфейс, который компонент предлагает для своего окружения.

Требуемый интерфейс (required interface) – интерфейс, который необходим компоненту от своего окружения для выполнения заявленной функциональности, контракта или поведения.

Порт

Порт определяет различимую точку взаимодействия между компонентом и окружающей его средой или между компонентом и его внутренними частями

Наличие имени у порта не является обязательным

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

Собирающий соединитель
(assembly connector)

– соединитель, который связывает два компонента в контексте предоставляемый и требуемых сервисов.

Делегирующий соединитель
(delegation connector)

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

Делегирующий соединитель выполняет одну из следующих задач:

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

Передача сообщений или сигналов, поступающих из некоторой внутренней части компонента, для обработки во внешний порт компонента