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

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

Ещё ГОСТы из 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 (Настоящий стандарт распространяется на протезы голени и бедра. Настоящий стандарт устанавливает требования к:. - типам моделей;. - отбору образцов;. - подготовке образца;. - установке образца;. - ответственности сторон за подготовку испытаний)

Страница 21

Страница 1

Untitled document

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

green-use|S| PAIRED WITH grccn-uscr, green-manager

green-management (S| PAIRED WITH green-manager

:: = id-rcf-g-environment

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

green-user OBJECT

PORTS{

grccn-usc |C| }

:: = id-ot-g-user

green-manager OBJECT

PORTS {

green-use|C|,

green-management [C| }

:: = id-ot-g-manager

green-system OBJECT

PORTS {

grccn-usc|S],

green-management |Sj }

:: = id-ot-g-system

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

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

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

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

ERROR.

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

себя порты двух видов: использованис-зслсной-системы и управление-зелсной-системой. Порт любого из этих

видов охватывает некоторое число абстрактныхопераций, которые всовокупности уведомляют об абстрактных

Ошибках. Зеленая система защищает свои порты посредством операций абстрактной связки Authcnticateljscr и

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

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

ния взаимодействия нс требуется никакого зтапа завершения, нс определяются.

GrcenAbstractServisc {joint-iso-ccitt mhs-motis<6) asdc(2)

cxamplc(i) modulesjO) g-abstracl-service(4))

DEFINITIONS IMPLICIT TAGS :: ■=

BEGIN

- - Пролог

EXPORTS

AuthcnticatcManagcr. AuthenticateUser, green-management,

Grccn-managemcnt-opcration-l, . . . grccn-usc,

grccn-use-operatK>n-l. .. . :

IMPORTS

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

id- p<-g-use. id-pi -g-management

FROM ExampIcObjcctIdentifiers {joint-iso-ccitt

mhs-motis(6) asdc(2) examplc(l( modules(0)

objcct-idcnlificrslB))

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

PORT. ABSTRACT-BIND. ABSTRACT-OPERATION, ABSTRACT-ERROR

FROM AbstractScrviccNotation {joint-iso-ccitt

mhs-motis(6) asdc<2) niodulcs(O) notation(l)

- - Типы портов

green-use PORT