ОСГ Р ИСО/МЭК 10021-3-98
grecn-usc |S| PAIRED WITH agent, green-manager
green-management [S| PAIRED WITH green-manager
::=•id-ref-y-system
- - Тип объекта компонента
agent OBJECT
PORTS{
yellow-use (S|.
green-use |C)}
id-ot-agent
END - - Конец уточнении желтой среды
А.7 Реализация желтой системы
Ниже приведена формальная реализация абстрактной услуги желтой системы посредством СУО. с
использованиеммакрокомандAPPLICATION-CONTEXTиAPPLICATION-SERVICE-ELEMENT
ГОСТ Р ИСО/МЭК 9072-1.
Как указывает спецификация ACH.I, абстрактная услуга, обеспечиваемая желтой системой, реализуется
как единичный СЭП-испольювания-же.тгой-снстсмы и соответствующий ПК-нспольювания-жслтой-систсмы.
Каждая операция абстрактной связки, абстрактная операция или абстрактная ошибка в абстрактной услуге
имеет соответствующую и эквивалентную операцию связки, операцию или ошибку, соответственно, в ее
реализации, основанной на СУО.
Заметим, что операциям присваиваются целочисленные значения; соответствующие абстрактные опера
ции не требуют и нс получили таких значений.
YcHowSystemRcalizalion (jomt-iso-ccitt mhs-motis(6) asdc(2)
example! I) modules(0) ys-realization(6) }
DEFINITIONS IMPLICIT TAGS :: -
BEGIN
- - Пролог
EXPORTS
ycllow-use-AC. yellow-use-ASE;
IMPORTS
- - Абстрактная услуга желтой среды
Yellow-operation-1. ... yellow-use. YclIowBind, YellowUnbind
FROM YellowAbstractService {joint-iso-ccitl
mlis-motis(6) asdc(2) example!1) modulcs<0)
y-abstract-servicc(2) \
- - Пример обьсктных идентификаторов
id-ас-у-use. id-as-y-use. id-ase-y-use
FROM ExamplcObjcctIdentifiers (joint-iso-ccitt
mhs-motis(6) asdc(2) example!1) modules(O)
objcct-identifiers(0) \
- - ПБДП удаленных операций
rOSE
FROM Rcmotc-Opcratioas-APDUs (joint-iso-ccitt
rcmotc-operalions(4) apdus(l)}
- - Управление ассоциацией
aCSE
FROM Remotc-Opcrations-Notation-cxtension {joint-iso-ccitt
rcmotc-opcrations(4) notation-extension(2)}
- - Расширение нотации удаленных операций
APPLICATION-CONTEXT. APPLICATION-SERVICE-ELEMENT
20