ГОСТ Р ИСО/МЭК 10746-4-2004
Т а б л и ц а I —С’рсла объекта
Вна объекта
Ограничения среды
Снегема
- входящие сигналы каналов
Блок
- глобальные типы данных
- входящие сигналы каналов
- вызовы экспортированных процедур
- импортированные переменные
Процесс
- глобальные типы данных
- входящие сигналы явных и неявных сигна/ышх путей
- вызовы экспортированных процедур
- вилимыс/импоршрованныс переменные
- ограничения времени для входящихдействий
Услуга
1
- глобальные переменные /таймеры/ типы данных, совместно используемые
буфера сигналов (принадлежащие объемлющему экземпляру процесса)
- входящие сигналы явных и неявных сигна. ьмых путей
- вызовы экспортированных процедур
- вилимыс/имнортироваиныс переменные
- ограничения времени для входящихдействий
Таймер
- вызовы стоп, установить и переустановить
- процессами аталсльна
Канал
- входящие сигналы от соединенных d/оков
Сигнальный путь
- входящие сигналы от соединенных экземпляров процессов/услуг
4.3.1.3 Действие
В SDL действие — это единичное предложение действия, ввести или сохранить, вся тран
закция или завершенное выполнение процедуры. Возможными единичными предложениями дей
ствия являются:
- задача, импорт, экспорт, вид;
- вывести;
- создать;
- установить, переустановить, активизировать;
- вызов процедуры;
- стоп/вернуть;
- следующее-состояние.
Передача сигналов канаюми или сигнальными путями также является действием, как и генерация
сигнала таймера. Взаимодействиями являются ввод/вывод сигнала, вызов и возврат уда/епной проце
дуры и использование разделяемых переменных (глобальных переменных процесса для услуг, обна-
руженных/видимыхиэкспортированных/импортированныхпеременныхпроцесса).Последо
вательность действий отправки, передачи и. возможно, приема сигнала (вывести—ввести) может
рассматриваться как одно взаимодействие.
4.3.1.4 Интерфейс
В зависимости от вида объекта в SDL имеются рахтичиые способы описания интерфейсов, как
показано в таблице 2.
В случае объекта блок должны быть инкапсулированы в один или несколько процессов набор
экспортированных/импортированныхудаленных процедур и набор сигналов, отправляе.мых/получаемых
процессами этого блока. Тогда эти процессы работают как интерфейсы объекта блок. Этими описа
ниями интерфейсов определены потенциальные взаимодействия объекта, а каждый интерфейс
описывает подмножество потенциальных взаимодействий объекта.
16