ГОСТ I» ИСО/МЭК 10746-3-2001
с S2 для проверки, например, поведенческой совместимости якобы эквивалентных объектов или
конфигураций объектов.
10.1 Соответствие вычислительной и информационной спецификаций
Настоящая ба зовая модель не предписывает точного соответствия информационных и вычис
лительных объектов. В частности, не все состояния вычислительной спецификации обязательно
должны соответствовать состояниям информационной спецификации. Могут существовать пере
ходные вычислительные состояния с фрагментами вычислительного поведения, которые абстраги
рованы как элементарные переходы в информационной спецификации.
Когда информационный объект соответствует набору вычислительных объектов, статическая
и инвариантная схемы информационного объекта соответствуют возможным состояниям вычисли
тельных объектов. Каждое изменение в состоянии информационного объекта соответствует
либо некоторому набору взаимодействий между вычислительными объектами, либо внутреннему
дейст вию вычислительного объекта. Инвариантная и динамическая схемы информационного
объекта соответствуют поведению и контракту среды вычислительных объектов.
П р и м е ч а н и е — Если в информационной спецификации используют понятие информационною
интерфейса, то нс обязательно должно быть соответствие между информационным интерфейсом и каким-либо
вычислитс.т ьным интерфейсом.
10.2 Соответствие инженерной и вычислительной спецификаций
Каждый вычислительный объект, который не является связующим, соответствует набору из
одного или нескольких базовых инженерных объектов (и любых связывающих их каналов). Вес
базовые инженерные объекты в наборе соответствуют только этому вычислительному объекту.
За исключением случаев, когда участвуют прозрачности, дублирующие объекты, каждый вы
числительный интерфейс соответствует только одному инженерному интерфейсу, а этот инженер
ный интерфейс соответствует только этому вычислительному интерфейсу.
П р и м е ч а н и е I - Инженерный интерфейс поддерживается одним из базовых инженерных объектов,
который соответствует вычислительному объекту, поддерживающему вычислительный интерфейс.
Когда участвуют прозрачности, дублирующие объекты, каждый вычислительный интерфейс
дублируемого объекта соответствует набору инженерных интерфейсов, по одному на каждый базо
вый инженерный объект, получившийся при дублировании. Каждый из этих инженерных интер
фейсов соответствует только исходному вычислительному интерфейсу.
Каждый вычислительный интерфейс идентифицируется любым членом набора из одного или
нескольких идентификаторов вычислительных интерфейсов. Каждый инженерный интерфейс иден
тифицируется любым членом набора из одного или нескольких указателей инженерных интерфей
сов. Следовательно, так как вычислительный интерфейс соответствует инженерному интерфейсу,
идентификатор вычнелзгтельного интерфейса может быть недвусмысленно представлен указателем
инженерного интерфейса из соответствующего набора.
Каждое вычислительное связывания (элементарное или составное с соответствующими связую
щими объектами) соответствуетлибо инженерномулокальномусвязыванию, либо инженерному каналу.
Это инженерное локальное связывание или инженерный канал соответствуют только этому вычисли
тельному связыванию. Если вычислительное связывание обеспечивает операции, то инженерное ло
кальное связывание или инженерный канал должны обеспечивать, по крайней мере, обмен:
- именами вычислительных сигнатур;
- именами вычислительных операций;
- именами вычислительных завершений:
- параметрами вызовов и завершений (включая идентификаторы и сигнатуры вычислительных
интерфейсов).
За исключением случаев, когда участвуют прозрачности, дублирующие объекты, каждый уп
равляющий интерфейс вычислительного связующего объекта имеет соответствующий инженерный
интерфейс и существует цепочка инженерных взаимодействий, связывающая этот интерфейс с
некоторыми заглушками, связниками, протокольными объектами или пересечениями, которыми
нужно управлять для обеспечения вычислительного связывания.
П р и м е ч а н и е 2 —Набор участвующих управляющих интерфейсов зависит от типа связующего объ
екта.
Каждое вычислительное взаимодействие соответствует некоторой цепочке инженерных взаи
модействий, начинающейся и заканчивающейся взаимодействием, которое вовлекает один или
30