ГОСТ I» ИСО/МЭК 10746-3-2001
- связующий объект использует элементарные связывающие действия для связи каждого тако
вою интерфейса с интерфейсом, указанным в соответствующем фактическом параметре;
- реализуется набор управляющих интерфейсов, а их идентификаторы возвращаются в качестве
результата связывающего действия (т. е. становятся частью состояния объекта, осуществившего
действие; этот объект может передать идентификатор при взаимодействии с другими вычислитель
ными объектами).
Управляющие интерфейсы связующего объекта обеспечивают некоторые или все из следующих
функций:
- мониторинг использования связи;
- .мониторинг изменений связи;
- авторизацию изменений связи;
- изменение членства в этой связи;
- изменение экземпляров коммуникаций, доступных для связи;
- изменение качества услуги связи;
- удаление всей связи.
Влияние удаления связи на связующий объект определяется его поведением.
7.2.4 П р а в и л а д л я т и п о в
В настоящей базовой модели установлены правила для типов сигнатур вычислительных интер
фейсов. Правила образования подтипов сигнатур определяют минимальные требования для того,
чтобы один интерфейс мог заменить другой. Правила основаны на семантике взаимодействий
вычислительных интерфейсов (а именно сигналов, потоков и операций). Они достаточны, чтобы
гарантировать, что подставляемый интерфейс может согласованно интерпретировать структуру
любого взаимодействия.
Правила образования подтипов сигнатур для интерфейсов с альтернативными семантиками
взаимодействия могут быть определены в терминах сигналов; такие определения могут быть введены
в стандартах ОРО.
7.2.4.1 Правша образования подтипов сигнатур для интерфейсов сигналов
Определение подтипов сигнатур интерфейсов сигналов приведено в приложении А. Ятя тех
типов интерфейсов сигналов, которые не определены рекурсивно, сводка правил приведена ниже.
Тип сигнатуры интерфейса сигналов X является подтипом сигнатуры интерфейса сигналов Y.
если выполнены следующие условия:
- для каждой сигнатуры инициирующего сигнала в Y имеется соответствующая сигнатура
инициирующего сигнала в X с тем же самым именем, с тем же самым количеством и именами
параметров, и тип каждого параметра в X является подтипом соответствующего типа параметра в Y;
- для каждой сигнатуры ответного сигнала в X имеется соответствующая сигнатура ответного
сигнала в Y с тем же самым именем, с тем же самым количеством и именами параметров, и тип
каждого параметра в Y является подтипом соответствующего типа параметра в X.
7.2.4.2 Правила образования подтипов сигнатур для интерфейсов потоков
Зависят от деталей взаимодействий, абстрагированных в определении рассматриваемых интер
фейсов потоков. В частности, эти детали будут вносить ясность в вопрос, будут или нет правила
образования подтипов допускать неполное соответствие между наборами потоков в двух интерфей
сах. Следовательно, полные правила образования подтипов дтя сигнатур потоков находятся вне
сферы действия настоящего стандарта. Ограничения на образование подтипов сигнатур потоков
приведены в приложении А. Для типов интерфейсов потоков, которые не определены рекурсивно,
сводка ограничений приведена ниже.
Интерфейс потоков X является подтипом сигнатуры интерфейса потоков Y. если для всех
потоков с идентичными именами выполнены следующие условия:
- если причинность —производитель, то информационный тип в X является подтипом инфор
мационного типа в Y;
- если причинность —потребитель, то информационный тип в Y является подтипом инфор
мационного типа в X.
7.2.4.3 Привила образования подтипов сигнатур для инте/н/>ейсов операций
Определение подтипов сигнатур интерфейсов операций приведено в приложении Л. Дтя типов
интерфейсов, которые не определены рекурсивно, сводка правил приведена ниже.
Интерфейс операций X является подтипом сигнатуры интерфейса операций Y, если выполнены
следующие условия:
14