ГОСТ Р ИСО/МЭК 10746-3-2001
Каждый вид имени, определенный в вычислительном языке, имеет соответствующий контекст,
а именно:
- имя сигнала в сигнатуре интерфейса сигналов яатяется идентификатором в контексте этой
сигнатуры;
- имя потока в сигнатуре интерфейса потоков является идентификатором в контексте этой
сигнатуры;
- имя вызова в сигнатуре интерфейса операций является идентификатором в контексте этой
сигнатуры;
- имя завершения в сигнатуре интерфейса операций является идентификатором в контексте
шаблона операции, в котором оно появилось;
- имя параметра в шаблоне сигнала яатяется идентификатором в контексте этого шаблона;
- имя параметра в шаблоне вызова в сигнатуре интерфейса операций яатяется идентификато
ром в контексте этого шаблона;
- имя параметра в шаблоне завершения в сигнатуре интерфейса операций является идентифи
катором в контексте этого шаблона;
- имя параметра в шаблоне сигнала в сигнату ре интерфейса сигналов яатяется идентификато
ром в контексте этого шаблона.
П р и м е ч а н и е ! —Таким образом, имена сигналов различны влюбойсигнатуре интерфейса сигналов,
но Сигналы в разных сигнатурах могут иметь одинаковые имена, и т. д.
Идентификатор вычислительного интерфейса яатяется недвусмысленным в пределах своего
контекста (т. е. не может быть связан с более чем одним вычислительным интерфейсом в этом
контексте). Выбор контекстов для идентификаторов вычислительных интерфейсов яатяется вопро
сом языка проектирования и, следовательно, находится вне области применения настоящей базовой
модели. Таким образом, базовая модель не устанавливает ограничений на области действия кон
текстов для идентификаторов вычислительных интерфейсов. Следовательно, нельзя надеяться на:
- областьдействия контекстов наименования для идентификаторов вычислительных интерфей
сов (например, какие-либо предположения о них связаны с такими структурами инженерного языка,
как узлы или области коммуникации);
- единственность идентификаторов вычислительных интерфейсов (т. е. допустимы синонимы);
- то, что идентификатор вычислительного интерфейса обозначает один и тот же вычислитель
ный интерфейс всюду, где он появляется (т. е. имена не обязательно яатяются «глобальными»).
Пр именам и с2 —Конкретная вычислительная Испании может ме иметь явных терминов, обознача
ющих вычислительные идентификаторы; следовательно, в такой нотации идентификаторы вычислительных
интерфейсов являются неявными; однако они подчиняются приведенным выше правилам.
7.2.2 П р а в и л ав з а и м о д е й с т в и я
Каждое взаимодействие вычислительного объекта происходит через один из его вычислитель
ных интерфейсов. Вычислительный язык устанавливает ограничения на поведение, допустимое в
вычислительном интерфейсе. Взаимодействие в несвязанном интерфейсе отвергается. Правила
связывания (см. 7.2.3) устанавливают ограничения на то, как должен связываться интерфейс.
Описывающая взаимодействия часть вычислительною языка поддерживает три модели взаи
модействия. каждая из которых имеет соответствующий вид вычислительного интерфейса:
- сигналы и интерфейсы сигналов:
- потоки и интерфейсы потоков;
- операции и интерфейсы операций.
В дополнение к различным видам поддерживаемых интерфейсов модели взаимодействий
различаются свойствами относительноотказов. Стороны, участвующие в потоке или операции, могут
иметь несогласованные точки зрения на взаимодействие в разные моменты времени, особенно если
имел место отказ. В противоположность потокам и операциям, нет понятия частичного отказа
сигнала: сигнал одинаково удачен или неудачен для обоих участников взаимодействия.
7.2.2.1 Правила взаимодействия для сигналов
Вычислительный объект, предоставляющий интерфейс сигналов данного типа:
- инициирует сигналы, которые имеют инициирующую причинность в сигнатуре интерфейса;
- отвечает на сигналы, которые имеют ответную причинность в сигнатуре интерфейса.
12.2.2 Правила взаимодействия для потоков
Вычислительный объект, предоставляющий интерфейс потоков:
- инициирует потоки, которые имеют причинность производителя в сигнатуре шггерфейса;
п