Краткая характеристика и основные свойства SDL; 31) Архитектура SDL-модели.

Графический язык описаний и спецификаций SDL является одним из наиболее известных методов формального описания поведения реактивных и распределенных систем. Он разработан Международным союзом электросвязи (ITU-T) и входит в Рекомендации ITU-T серии Z.100 [4]. Изначально нацеленный на телекоммуникационные системы, в настоящем язык широко применяется для описания систем управления процессами и систем реального времени.

Язык SDL включает описание как структурной, так и функциональной части

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

Архитектура SDL-модели является многоуровневой. Самый общий объект

(самый высокий уровень) называется системой (system), все, что находится вне системы, называется окружением (внешней средой, environment) системы и средствами SDL не описывается. Система взаимодействует со своим окружением, получая от него и посылая ему сигналы. Система сама по себе есть не функциональное, а структурное описание модели.

Кратко структуру системы можно описать следующим образом. Она состоит из одного или нескольких блоков (block), соединенных между собой и с окружающей средой каналами, по которым передаются сигналы. В свою очередь, блок является другим, более низким, чем система, уровнем SDL-модели. На данном уровне система или внешний блок (в случае вложенности блоков) может рассматриваться как среда, поведение которой наблюдается только через входящие сигналы для текущего блока. Блок также содержит процессы (process), являющиеся уже функциональными компонентами системы в том смысле, что именно они определяют поведение системы. процессы представляют собой нижний уровень SDL-модели. Структурно процесс всегда находится в блоке, который рассматривается как среда для данного процесса. Сигналы между процессами, процессами и блоками передаются по маршрутам (signalroute). Маршруты могут быть соединены с каналами верхнего уровня (connect). Итак, процесс – это объект, который обладает конечным числом состояний, переходами и очередью входных сигналов. Находясь в некотором состоянии, процесс извлекает очередной сигнал и выполняет переход – осуществляет ряд действий, в частности, определяет свое следующее состояние.

Во время работы системы, описанной в SDL, могут создаваться и уничтожаться экземпляры процессов. Для каждого процесса может создаваться несколько экземпляров или ни одного. Для простоты экземпляры процессов далее будем называть процессами. Начальное состояние процесса описывается конструкцией start, из которого осуществляется начальный переход в какое-либо состояние процесса (state). После этого процесс начинает функционировать – обрабатывать сигналы из входной очереди (согласно дисциплине FIFO) и осуществлять переходы в другие состояния.

Каждый переход состоит из последовательности действий SDL-программы –

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

Процесс может содержать объявления своих локальных переменных и использовать значения локальных переменных других процессов (export, import), а также вызывать процедуры, которые также имеют свои состояния, переходы и локальные переменные. При необходимости обработать сигнал процедура использует входную Потиенко С.В., Колчин А.В.

Дата добавления: 2015-08-13