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