ГОСТ Р ИСО/МЭК 10746-4-2004
4.3.2.6 Трасса
В SDL нет общих способов явной спецификации трасс. Трассы могут быть получены в
результате интерпретации спецификации в соответствии с динамической семантикой SDL.
Пр и ме м а икс —Диаграмма записи последовательностей (ДЗП) предоставляют синтаксис и семанти
ку, подходящие для прслстаа
1
сния трасс спецификаций SDL. Имеется тесная взаимосвязь междусинтаксисом
и семантикой ДЗП. и синтаксисом и семантикой SDL. ДЗП определены и стандартизированы в рекомендации
МСЭ-Т 2.120.
1
4.3.2.7 Тип <Х>
В SDL нет общих явных предикатов.
4.3.2.Я Класс <Х>
Это понятие в общем случае поддерживается только для типов шаблонов.
4.3.2.9 Подтип/супертип
В общем случае это понятие не поддерживается.
4.3.2.10 Подк, асс/суперк.хасс
Это понятие в общем случае поддерживается только для типов шаблонов.
4.3.2.11 Шаблон <Х>
Шаблон объектов — шаблоны объектов являются определениями типов для подходящих видов
объектов (система, блок, процесс, услуга). Для mailuepoe, канаюв и сигналимых путей шаблонами
объектов являются соответствующие декларации.
Шаблон интерфейсов —в зависимости от вида интерфейса его шаблон может быть задан
декларацией (канала, сигнального пути) неявно или определением типа процесса (см. 4.3.1.4) явно.
Шаблон действий —шаблон действий спешгфниируется определением грифа процесса, проце
дурыили уыуги. Шаблонами элементарных действий являются свести, вывести, сохранить, установить,
переустановить, создать, задача, стоп, возврат, следующее-состояние, вызов, импорт, экспорт, вид.
Шаблоны м о т быть специфицированы с (формальными или формального контекста) пара
метрами. Параметры могут иметь ограничения. Шаблоны могут быть скомбинированы (т. е. опре
деление типа может содержать определения друпгх типов).
4.3.2.12 Сигнатура интерхрейса
Набор типов сигнаюв гг типов удаленных процедур, допустимых для интерфейса.
4.3.2.13 Реа.хизация (шаблона <Х>)
В SDL имеется два способа реализации шаблонов:
- неявная реализация (системы, блока, каналов, сигналимых путей, процессов, услуг) осущест
вляется декларацией объекта;
- явная реализация осуществляется с помощью действггя создать (только для процессов).
Реализации всегда являются результатами действий по реализации шаблонов. Параметры
формального контекста должны быть актуализированы до того, как может быть получена реализация
(специализацией типа или декларацией процесса).
4.3.2.14 Path
Нет общих средств для спецификации ратей.
Роли могут быть описаны как параметры формального контекста.
Пр и ме м а и и е —Для дальнейшего уточнения ролей могут использоваться разделы Atleast.
4.3.2.15 Создание (<Х>)
В SD1. имеется два способа сохтамия (см. 4.3.2.13):
- неявное создание;
- явное создание — интерпретация действия создать.
4.3.2.16 Введение (объекта)
Неявная реализация (см. 4.3.2.13) может рассматриваться как введение.
4.3.2.17 Уда.хение (<Х>)
Могут быть удалены только объекты процесс. Процесс может удалить только самого себя, что
осуществляется путем интерпретации действия стоп. Если действие стоп интерпретирует услуга, то
эго приводит к удалению данной услуги, удалению всех друпгх услуг, относящихся к тому же самому
процессу, п самого этого процесса.
Пр и ме ч а н и я
1 Удаление одного процесса другим может моделироваться с использованием вывода специального
сигнала, который при приеме его получателем приводит к интерпретации получателем действия стоп.
2 Удаление всех процессов блока может рассматриваться как удаление самого этого блока.
19