ГОСТ Р ИСО/МЭК 10021-3-98; Страница 18

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р 51239-98 Соки фруктовые и овощные. Метод определения L-яблочной кислоты Fruit and vegetable juices. Determination of L-malic acid content (Настоящий стандарт распространяется на фруктовые и овощные соки, нектары и сокосодержащие напитки и устанавливает метод определения массовой концентрации L-яблочной кислоты в виде свободной кислоты или соли) ГОСТ Р 51158-98 Вина игристые. Общие технические условия Sparkling wines. General specifications (Настоящий стандарт распространяется на игристые вина, полученные методом шампанизации из подслащенных обработанных сухих и десертных виноматериалов, недобродов, мистелей или виноградного сока путем сбраживания в герметичных сосудах под давлением образующейся при брожении двуокиси углерода и обладающие игристыми свойствами) ГОСТ Р ИСО 10328-2-98 Протезирование. Испытания конструкции протезов нижних конечностей. Часть 2. Образцы для испытаний Prosthetics. Structural testing of lower-limb prostheses. Part 2. Test samples (Настоящий стандарт распространяется на протезы голени и бедра. Настоящий стандарт устанавливает требования к:. - типам моделей;. - отбору образцов;. - подготовке образца;. - установке образца;. - ответственности сторон за подготовку испытаний)

Страница 18

Страница 1

Untitled document

ОСГ Р ИСО/МЭК 10021-3-98

vcllow-svstcm. yellow-user.

IMPORTS

- - Абстрактная услуга желтой среды

yellow-use

FROM YellowAhstnictServicc {joinl-iso-Ccitt

mhs-motis(6) asdc(2) example! I) modules(O)

y-abstract-scrvicc(2) }

- - Пример объектных идентификаторов

id-ot-y-environment. id-ot-y-system. id-ot-y-user,

id-ref-y-environment

FROM ExainplcObjcctIdentifiers | joint-iso-ccilt

mhs-motis(6) asdc(2) example! 1) modules(O)

object-identifiers!!)))

- - Нотация абстрактной услуги

OBJFCT. REFINE

FROM AbstractScrviccNotation {joint-iso-ccitt

mhs-motis(6) asdc<2) modulcs<0) notation! I)J ;

- - Желтая среда

yellow-environment OBJECT

:: «=»id-ot-y-environment

- - Уточнение желтой среды

vcllow-cnvironment-refinement REFINE vellow-environment AS

yellow-user-RECURRING

yellow-system

yellow-use |S| PAIRED WITH yellow-user

:: = id-ref-y-environment

- - Тины объектов компонентов

yellow-user OBJECT

PORTS {

yellow-use |C|)

::id-ot-y-user

yellow-system OBJECT

PORTS (

yellow-use |S)}

:: = id-ot-y-system

END - - Коней уточнения желтой среды

А.З Опрсдс.теннс абстрактной услуги желтой системы

Ниже приведено формальное определение абстрактной услуги, обеспечиваемой желтой системой ее

пользователям, с использованием макрокоманд PORT и ABSTRACT-BIND. -OPERATION, -ERROR.

Как указывает спецификация ACH.I, абстрактная услуга, обеспечиваемая желтой системой, включает в

себя порты одного типа: использование-желтой-среды. Каждый порт охватывает некоторое число абстрактных

операций, которые всовокупности уведомляют обабстрактных ошибках. Желтаясистема защищает свои порты

посредством операции абстрактной связки —YclIowBind. требующей, чтобы пользователи удобным образом

идентифицировали себя перед последующим взаимодействием. Операция абстрактной развязки —VcllowUn-

bind, составляющая этап завершения, необходима для завершения взаимодействия.

YellowAbstractService {joint-iso-ccitt mhs-motis(6) asdc(2) example! 1)

modules(O) v-abstract-scrvice(2) )

DEFINITIONS IMPLICIT TAGS :: ■=

BEGIN

- - Пролог

EXPORTS

Aulhcnticatellscr. Yellow-operation-1,. . . yellow-use;