ГОСТ Р ИСО/МЭК 10746-3-2001

6.3 Соответствие и опорные точки

Утверждения соответствия в информационных спецификациях требуют, чтобы поведение системы ОРО соответствовало конкретному набору инвариантных, статических и динамических схем.

Реализатор, декларирующий соответствие, должен перечислить инженерные опорные точки, которые дают доступ к системе, и инженерные и вычислительные спецификации, которые в этих точках применимы. Тем самым идентифицированные опорные точки становятся точками соответствия. Взаимодействия в этих точках соответствия могут быть затем интерпретированы в терминах информационного языка для проверки того, что они согласуются с инвариантными, статическими и динамическими схемами.

Информационные спецификации могут применяться для всех четырех классов опорных точек (программируемых, воспринимаемых, взаимодействия и обмена), идентифицированных в ГОСТ Р ИСО/МЭК 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