ГОСТ Р ИСО/МЭК 10021-3-98
IMPORTS
- - Пример объектных идентификаторов
id-pt-y-use
FROM ExampleObjcctIdentifiers {joint-iso-ccitt
mhs-rnotis(6) asdc(2) example! 1) modulcs(O)
object-idcntilicis(O)}
- - Нотация абстрактных услуг
ABSTRACT-BIND. ABSTRACT-ERROR. ABSTRACT-OPERATION. PORT
FROM AbstractScrviccNotation {joint-iso-ccill
mhs-motis(6) asdc(2) moduks(O) notation! I) };
- - Тип порта
yellow-use PORT
CONSUMER INVOKES {
Yellow-operation-1 ,... >
::» id-pt-y-use
- - Операция абстрактной связки
Credentials :: = SET (
name fO] IA5String,
password (I| lASString}
YellowBind :: - ABSTRACT-BIND
TO {yellow-usclSJ}
BIND
ARGUMENT credentials Credentials
BIND-ERROR ENUMERATED {
namc-or-password-invalid(O) }
- - Операция абстрактной развязки
YclIowUnbind :: - ABSTRACT-UN BIND
FROM {yellow-usejS| }
- - Абстрактные операции
Yellow-operation-1 ::ABSTRACT-OPERATION
ARGUMENT .. .
RESULT. . .
ERRORS{
yellow-error-1,. . . }
- - Абстрактные ошибки
yellow-error-1ABSTRACT-ERROR
PARAMETER .. .
END - - Конец абстрактной услуги желтой среды
А.4 Уточнение зеленой среды
Зеленая среда, изображенная на рисунке А.2. формально уточняется с использованием макрокоманд
OBJECT и REFINE.
Как показывает рисунок А.2 и подтверждает спецификация ACH.I, зеленая среда может моделироваться
в виде объекта, который можно разбить на один центральный объект —зеленую систему, любое количество
других периферийных объектов —пользователей зеленойсистемы илюбое количество дополнительных объектов
- диспетчеров зеленой системы. Зеленая система взаимодействует с пользователями и диспетчерами зеленой
системы посредством ее портов использования зеленой системы и с (одними) диспетчерами зеленой системы
посредством се портов управлении зеленой системой.
15