ГОСТ I* ИСО/МЭК 10746-3-2001
не обязательно должен происходитьдля всех участников, а может случаться в разное время с разными
параметрами для каждого отказавшего участника.
П р и м е ч а н и е —Примерами отказов взаимодействия являются отказы безопасности, коммуникации
и ресурса.
Для операций отказ вычислений сервера для ответа на вызов или для инициирования завер
шения может быть наблюдаем участвующим вычислительным объектом-клиентом.
Реализация шаблона объекта или шаблона вычислительного интерфейса приводит к отказу,
если не может быть удовлетворен контракт среды. Связывающее действие может привести к
отказу, если не может быть удовлетворен какой-либо из контрактов среды в связываемых
интерфейсах.
7.2.7 П р а в и л ап е р е н о с и м о с т и
Стандарты по переносимости в системах ОРО специфицируют шаблоны действий, описанных
в 7.2.5.1. Спецификация таких шаблонов зависит от языка проектирования и. следовательно,
находится вне сферы действия данной базовой модели. В дополнение к синтаксическим понятиям
стандарты по переносимости должны охватывать специфические семантические вопросы,
включая:
- правила композиции для шаблонов действий, включая шаблоны дзя разветвляющих и объ
единяющих действий, для того, чтобы допускать параллельность и синхронизацию;
- термины, применяемые в спецификациях шаблонов объектов и интерфейсов, и правила их
композиции;
- упорядочение и гарантии доставки для сообщений.
Стандарт по переносимости может представлять допустимые действия непосредственно (на
пример. как библиотечные функции) или косвенно через синтаксические структуры. М о т суще
ствовать альтернативные стандарты по переносимости как п терминах стиля (например, модели
обработки, основанной на событиях, и модели, основанной на связках), так и содержания (напри
мер. но числу поддерживаемых вычислительных действий). В данной модели идентифицированы
два вида таких стандартов.
Базовым по переносимости яатяется такой стандарт, который содержит по крайней мере:
- опроси;
- неявное связывание;
- реализацию вычислительного объекта;
- реализацию вычислительного интерфейса;
- доступ и изменение состояния;
- поддержку связок с порождающими, разветвляющими и объединяющими действиями;
- получение идентификатора для вычислительною интерфейса, при котором обеспечивается
функция торга (допускающая последующее связывание и использование функций);
- проверку подтипа сигнатуры интерфейса.
Расширенным по переносимости является такой стандарт, который содержит все действия,
описанные в 7.2.5.1.
7.3 Соответствие и опорные точки
В вычислительном языке существуют опорные точки для любою интерфейса объекта.
Каждая опорная точка может стать программируемой, воспринимаемой точкой соответствия,
точкой соответствия взаимодействия или обмена в зависимости от требований, установленных
при назначении опорной точки в качестве точки соответствия конкретным стандартом или
спецификацией системы.
В вычислительном языке эти требования задаются в терминах шаблонов интерфейсов и
объектов, которые определяют интерфейс соответствующего объекта.
Реализатор, заяатяюший о соответствии вычислительной спецификации, должен перечислить
инженерные опорные точки, которые соответствуют требуемым вычислительным опорным точкам, и
констатировать, какие в них применены прозрачности и инженерные структуры. Тем самым
идентифицированные опорные точки становятся точками соответствия. Набор взаимодействий в
этих опорных точках может быть интерпретирован в терминах вычислительного языка для опреде
ления того, что вычислительная спецификация не нарушена.
Соответствие объекта в программируемой точке соответствия может быть проверено в терминах
стандартизированного языка спецификаций интерфейса и связывающего языка, который удовле
творяет правилам переносимости. Соответствие объекта в точке соответствия взаимодействия может
быть проверено в терминах видимых взаимодействий в коммуникационных протоколах.
16