ГОСТ Р ИСО/МЭК 10746-4-2004
реализаций данного сорта, моделирующего объект, и алгебре обработки. В данном случае сорта не
могут модифицироваться нарастающим образом. Конкретно, сорта и присвоенные им метки, т. е.
имена сортов, не позволяют ссылаться на другой сорт, т. е. всегда существует автоссылка. Таким
образом, операции и уравнения, связанные с данным сортом, применимы только к нему, но не к
другим сорта.и.
Понятие актушизации параметризованных классов, хотя интуитивно и имеет характеристики
отношения производный/баэовый класс, не азияет на представление этого отношения. Дело в том,
что в данном случае экземпляры параметризованного класса не могут появляться в алгебре обра
ботки, т. е. они должны быть актуализированы так, чтобы класс мог существовать.
4.2.2.22 Инвариант
Это понятие неявно подразумевается в ACT ONE, т. е. объекты всегда должны удовлетворять
операциям и уравнениям, которые к ним применяются.
4.2.2.23 Предусловие
В ACT ONE все операции должны удоазетворять всем уравнениям (и любым ассоциированным
предохранителям), которые применяются к ним до их появления.
4.2.2.24 Постусловие
Это понятие неявно подразумевается в ACT ONE, т. е. появление данной операции (действия)
требует, чтобы соответствующие уравнения были определены (справедливы).
4.3 Архитектурная семантика в SDL
SOL яатяется стандартизированным ЯФС. Методические материалы приведены в приложении
к Рекомендации МСЭ-Т Z.I00. Существует ряд руководств по SOL и его коммерческих реализаций,
поддерживающих различные аспекты SOL: от работы с графикой до анализа и генерации программ
ного кода на основе SOL.
В SOL система моделируется как набор (множество) запоминающих конечных автоматов,
взаимодействующих с по.мошыо сообщений, называемых сигналами. Понятие данных в SOL
основано на ACT ONE. Конечные автоматы являются запоминающими в том смысле, что могут
быть определены локальные переменные для хранения части их истории. Сигналы передаются
асинхронно, представляя таким образом потерю связи между компонентами в распределенной
системе.
В настоящем разделе предстаатен один из способов, которым основные моделирующие поня
тия могут быть выражены на SDL. Это представление не яатяется единственно возможным. Он
показывает, что большинство фундаментальных понятий может быть выражено на SDL. Альтерна
тивный подход к моделированию многих понятий основан на использовании ACT ONE. Подробнее
он описан в 4.2.
Использована версия SDL-92. определенная в Рекомендации МСЭ-Т Z.100. Эта версия по
сравнению с SDL-XX имеет несколько расширений. Среди них важнейшими являются:
- объектно-ориентированные конструкции:
- возможность канаюв без задержки;
- недетермннизм;
- возможность включения понятия альтернативных данных и вызовов удаленных процедур.
Наиболее важной характеристикой альтернативных данных яатяется возможность комбиниро
ванного использования ACT ONE и АСН.1 в SDL. Семантика комбинации SDL-92 с ACH.I
определена в Рекомендации МСЭ-Т Z.1Q5.
Во избежание путаницы термины SDL при необходимости выделены курсивом.
4.3.1 О с н о в н ы е м о д е л и р у ю щ и е п о н я т и я
4.3.1.1 Объект
В SDL объектами являются экземпляры типа систем, типа блоков, типа процессов, типа
услуг, таймера, капает и сигнального пути. Эти экземпляры характеризуются состоянием и
поведением.
Каждый экземпляр инкапсулирован, т. е. любые изменения в его состоянии могут произойти
только в результате внутренних действий или взаимодействия с его средой.
Ссылки для каждого вида объектов должны быть обеспечены явно.
4.3.1.2 Среда (объекта)
Среда объекта зависит от его вида. См. таблицу 1.
15