ОСГ Р ИСО/МЭК 10021-3-98
CONSUMER INVOKES \
Grccn-usc-opcration-1}
::=• id-pt-g-use
green-management PORT
CONSUMER INVOKES {
Grcen-managcmcnt-opcration-I. ... )
id-pt-g-management
- - Операции абстрактной связки
CredentialsSET {
name |0) lASString,
password 11J IA5String}
AuthenticateUscrABSTRACT-BIND
ARGUMENT credentials Credentials
BIND-ERROR ENUMERATED |
namc-or-password-invalid(O) }
AuthenticateManager ::■=ABSTRAC’T-BIND
ARGUMENT credentials Credentials
BIND-ERROR ENUMERATED {
name-or-password-invalid (0),
not-a-manager(l)>
- - Абстрактные операции
Green-uscr-opcration-lABSTRACT-OPERATION
ARGUMENT ...
RESULT...
ERRORS|
green-error-1, ...}
Green-management-operation-1ABSTRACT-OPERATION
ARGUMENT ...
RESULT ...
ERRORS{
green-error-1, ...|
- - Абстрактные ошибки
green-error-1ABSTRACT-ERROR
PARAMETER ...
END - - Коней абстрактной услуги зеленой среды
А6 Уточнение желтой системы
Желтая система, изображенная на рисунке А.З. формально уточняется при использовании макрокоманд
OBJECT и REFINE.
Как показано на рисунке А.З и подтверждено спецификацией ACH.I, желтая система, при ближайшем
рассмотрении, имеет компоненты. Вчастности. Желтая система включает в себя зеленую систему, диспетчера
зеленой системы, дополненного разнообразными объектами, и агентов.Агентявляется промежуточным звеном
между зеленой системой и пользователем желтой системы. Он как бы прибавляет значимость зеленой системе.
Влюбом случае это поставщик порта испольювания-жслтой-системы и потребитель порта использованпи-эе-
леиой-системы.
YellowSystemRefinement \ joint-iso-ccitt mhs-motis{6) asdc<2)
example! I) modules!,It) ys-refmement(5) )
DEFINITIONS IMPLICIT TAGS
BEGIN
IS