Логика упорядочения событий

Проектирование кооперативных задач с использованием разъемов.

Проектирование разъема, реализующего буфер сообщений с ответом

. Разъем, реализующий буфер сообщений с ответом, используется для инкапсу­ляции механизма сильно связанного обмена сообщениями с ответом. Это монитор, инкапсулирующий буфер на одно сообщение и буфер на один ответ. Разъем предо­ставляет синхронизированные операции для отправки и получения сообщений, а также для отправки ответа. Производитель вызывает операцию send для пересылки сообщения, а потребитель – операцию receive для приема сооб­щения и операцию reply для отправки ответа. Поместив сообщение в буфер, производитель ждет ответа от потребителя. Потребитель приостанавливается, когда буфер пуст. Предполагается, что может быть несколько производителей и один потребитель.

Теперь рассмотрим проектирование группы кооперативных задач, общающих­ся между собой с помощью объектов-разъемов. Для иллюстрации воспользуемся примером из подсистемы Банкомат. Есть два разъема – очереди сообщений и один разъем – буфер сообщений.

Объект Очередь Сообщений Управления Банкоматом инкапсулирует оче­редь входных сообщений задачи Контроллер Банкомата, для которой есть не­сколько производителей. Объект Очередь Сообщений Приглашений инкапсу­лирует очередь сообщений, посылаемых задачей Контроллер Банкомата задаче Интерфейс Клиента. И в том, и в другом случае производитель вызывает опера­цию send объекта-разъема, а потребитель – операцию receive того же объекта. Имеется также разъем буфер Сообщений Устройства Считывания, который инкапсулирует синхронный обмен без ответа между задачами Контроллер Бан­комата и Интерфейс Устройства Считывания Карточек.

Наконец, есть объект заместитель Банковского Сервера. Он скрывает де­тали коммуникации с удаленным Банковским Сервером, применяя синхронный обмен сообщениями без ответа. Например, в языке Java этот заместитель восполь­зовался бы механизмом вызова удаленных методов (RMI), описанным ранее.

На этапе детального проектирования ПО заполняется раздел «Логика упоря­дочения событий» в спецификации поведения задач. Логика упо­рядочения событий описывается неформально на псевдокоде или на естествен­ном языке и иногда дополняется диаграммой. Например, для управляющей зада­чи может быть построена диаграмма перехода состояний.

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

Дата добавления: 2014-01-07