ГОСТ Р ИСО/МЭК 10746-3-2001
6.3 Соответствие и опорные точки
Утверждения соответствия в информационных спецификациях требуют, чтобы поведение
системы ОРО соответствовало конкретному набору инвариантных, статических и динамических
схем.
Реализатор, декларирующий соответствие, должен перечислить инженерные опорные точки,
которые дают доступ к системе, и инженерные и вычислительные спецификации, которые в этих
точках применимы. Тем самым идентифицированные опорные точки становятся точками соответ
ствия. Взаимодействия п этих точках соответствия могут быть затем интерпретированы в терминах
информационного языка для проверки того, что они согласуются с инвариантными, статическими и
динамическими схемами.
Информационные спецификации могут применяться для всех четырех классов опорных точек
(программируемых, воспринимаемых, взаимодействия и обмена), идентифицированных в
ГОСТ I’ ИСО/МЭК 10746-2.
7 Вычислительный язык
Вычислительный язык охватывает понятия, правила и структуры для спецификации системы
ОРО с вычислительной точки зрения.
Вычислительная спецификация определяет функциональную декомпозицию системы ОРО на
объекты, взаимодействующие через интерфейсы.
С вычислительной точки зрения приложения и функции ОРО состоят из конфигураций
взаимодействующих вычислительных объектов.
7.1 Понятия
Вычислительный язык содержит понятия ГОСТ Р ИСО/МЭК 10746-2 и понятия настоящего
стандарта, подчиняющиеся правилам 7.2.
7.1.1 Сигнал —элементарное совмеслю используемое действие, приводящее к односторонней
коммуникации от инициирующего объекта к отвечающему.
П р и м е ч а н и е —Сигнал начнется взаимодействием.
7.1.2 Операция —взаимодействие между объектом-клиентом и объектом-сервером, которое
является либо запросом, либо сообщением.
7.1.3 Сообщение —взаимодействие (вызов), инициированное объектом-клиентом: оно приво
дит к передаче от этого объекта-клиента к объекту-серверу информации, запрашивающей выполне
ние функции этим объектом-сервером.
7.1.4 Запрос —взаимодействие, состоящее из:
- первого взаимодействия (вызова), инициированного объектом-клиентом: оно приводит к
передаче от этого объекта-клиеига к объекту-серверу информации, запрашивающей выполнение
функции этим объектом-сервером, за которым следует:
- второго взаимодействия (завершения), инициированного объектом-сервером: оно приводит
к передаче информации от объекта-сервера к объекту-клиенту в ответ на вызов.
П р и м е ч а н и е —В запросах всегда ссгь пара вызов-заиершенне. Сообщение не имеет завершения.
Таким образом, нс возможна операция, состоящая из одного вызова и последовательности завершений.
7.1.5 Поток —абстракция последовательности взаимодействий, приводящих к переносу ин
формации от объекта-произволителя к объекту-потребителю.
П р и м е ч а н и е —Поток может использоваться для абстрагирования, например, от точной структуры
последовательности взаимодействий или от непрерывного взаимодействия, включай специальный случай
аналогового информационного потока.
7.1.6 Интерфейс сигналов — интерфейс, в котором все взаимодействия являются сигналами.
7.1.7 Интерфейс операций —интерфейс, в котором все взаимодействия являются операциями.
7.1.8 Интерфейс потоков —интерфейс, в котором все взаимодействия являются потоками.
7.1.9 Шаблон вычислительного объекта —шаблон объекта, включающий в себя набор шабло
нов вычислительных интерфейсов (которые объект может реализовывать), спецификации поведения
и контракта среды.
7.1.10 Шаблон вычислительного интерфейса —шаблон интерфейса для интерфейса либо сиг
налов, либо потоков, либо операций. Шаблон вычислительного интерфейса включает в себя сигна
туру интерфейса (сигналов, потоков или операций), спецификации поведения и контракт среды.
9