Язык спецификации и описания
-
Обзор языка SDL
- SDL — это язык спецификаций для описания поведения реактивных и распределенных систем.
- Изначально ориентирован на телекоммуникационные системы, но теперь применяется в управлении технологическими процессами и в реальном времени.
- Может использоваться для моделирования систем без двусмысленности и в графическом виде.
-
Структура и семантика SDL
- SDL состоит из пяти основных аспектов: структура, коммуникация, поведение, данные и наследование.
- Иерархия системы включает библиотечные пакеты, системные агенты, блокирующие агенты и технологические агенты.
- Блоки соединены каналами, которые передают сообщения, а агенты процесса являются конечными автоматами.
-
История и развитие SDL
- Первая версия SDL была выпущена в 1976 году, а последующие версии включали усовершенствования семантики и формальной основы.
- SDL-2010 является последней версией, основанной на объектной ориентации и поддерживающей типы данных на языке Си.
-
Организация и взаимодействие
- Иерархический уровень SDL структурирован с библиотечными пакетами, системными агентами и другими уровнями.
- Блоки соединены каналами для обмена сообщениями, а агенты процесса вносят вклад в действие системы.
-
Поведение и обработка сигналов
- Каждый агент процесса является конечным автоматом, который может запускать переходы в зависимости от сигналов.
- Удаленный тип процедуры позволяет вызывать процедуры в других агентах или системах.
-
Данные и типы данных
- SDL поддерживает базовые и структурированные типы данных, а также имеет синтаксис, похожий на Pascal.
- SDL-RT основан на ITU и включает поддержку типов данных на языке C.
-
Сопутствующие технологии и стандарты
- SDL связан с диаграммами последовательности сообщений MSC, ASN.1, ISO и TTCN-3.
- Унифицированный язык моделирования является универсальной нотацией моделирования, а профиль SDL стандартизирован.
-
Дополнительные ресурсы
- В статье есть ссылки на спецификацию, язык спецификации, Ивар Джейкобсона и другие ресурсы.