ГОСТ Р ИСО/МЭК 10021-3-98
- - Типы моргов
id-pt-y-use
id-pt-g-usc
id-pt-g-management
ID{id-pi 0}
ID ::- {id-pi 1)
ID ::= jid-pt 2|
- - Уточнения
id-rcf-y-environment
id-rcf-g-environment
id-rcf-y-system
ID::- (id-ref0)
ID::- (id-ref 1}
ID ::= (id-ref2J
- - Прикладные контексты
id-ac-y-useID::- (id-ac 0}
id-ac-g-useID ::- (id-ac 1)
id-ac-g-managementID(id-ac 2}
- - Сервисные элементы прикладного уров
id-ase-y-uscID::- (id-asc 0)
id-asc-g-usc1D::- (id-asc 1)
id-asc-g-managcmentID::» (id-asc 2}
- - Абстрактные синтаксисы
id-as-y-usc ID ::- (id-as 0)
id-as-g-usc ID ::- (id-as 1}
id-as-g-management ID ::- (id-as 2}
END - - Конем примера объектных идентификаторов
А.2 Уточнение желтой среды
Желтая среда, изображенная на рисунке А.1.формально уточняется ниже с использованием макрокоманд
OBJECT и REFINE.
Как показано на рисунке A.I и подтверждено ниже спецификацией ACH.I. желтая среда может
моделироваться как объект, который может быть разложен на один центральный объект —желтую систему и
любое количество других периферийных объектов —пользователей желтой системы. Желтая система взаимо
действует со своими пользователями посредством ее портов использования желтой системы.
YcltowEnvironmenlRefinement {joinl-iso-ccitt mhs-motis{6) asdc<2)
example! 1) modules!!!) ye-refincment(l))
DEFINITIONS IMPLICIT TAGS :: -
BEGIN
- - Пролог
EXPORTS
yellow-environment, yellow-environmcnt-rcfincmcnt.
13