ОСГ Р ИСО/МЭК 10021-3-98
GreenEnvironmentRefincmcnt {joint-iso-ccitt mhs-motis<6> asdc(2)
example) 1) modules)))) ge-refinemcni(.3) )
DEFINITIONS IMPLICIT TAGS :: =
BEGIN
- - Пролог
EXPORTS
green-environment, grcen-cnvironmcnt-rcfinemcnt,
green-manager. green-system. green-user;
IMPORTS
- - Абстрактная услуга зеленой среды
green-use, green-management
FROM GrecnAbstractService {joint-iso-ccitt
mhs-motis(6) asdc(2) cxample(l) modulcs(O)
g-abstract-service(4)}
- - Пример объектных идентификаторов
id-ot-g-environment. id-ot-g-manager, id-ot-g-system,
id-ot-g-uscr. id-ref-g-environment
FROM ExampIcObjcctldcntificrs ( joint-iso-ccitt
mhs-motis(6) asdc(2) example)1) modulcs<0>
object-identifiers)))) J
- - Нотации абстрактных услуг
OBJECT, REFINE
FROM AbstractServiccNotation {joint-iso-ccitt
mhs-motis<6) asdc(2) modules(O) notation) I) };
- - Зеленая среда
green-environment OBJECT
:: = id-ot-g-environment
- - Уточнение зеленой среды
green-environment-refinement REFINE green-environment AS
green-userRECURRING
green-manager RECURRING
green-system
16