ГОСТ Р ИСО/МЭК 10021-3-98
Испопьювгни*Использование
- - Пролог
EXPORTS
agent, yellow-system-retincmcnt:
IMPORTS
- - Уточнение желтой среды
yellow-system, yellow-use
PROM Yellow-EnvironmentRefinement {joint-iso-ccitt
mhs-motis(6> asdc(2) example! I) modulcs(O)
yr-rcfincmcnt(l) >
- - Уточнение зеленой среды
green-management, green-manager, green-system, green-use
FROM Green EnvironmentRefinement {joint-iso-ccitt
mhs-motis(6) asdc(2) example! 1) modulcs(O)
gc-rcfmcmcnt(3) [
- - Пример обьектных идентификаторов
id-ot-agent. id-ref-y-system
FROM ExampleObjcctIdentifiers (jomt-iso-ccitt
mhs-motis(6) asdc(2) example!!) modulcs(O)
object-idcnlificis(O)}
- - Нотация абстрактной
услуги
OBJECT. REFINE
FROM AbstractScrviceNotation (joint-iso-ccitt
mhs-motis<6) asdc(2) imxlules(O) notation! 1) J;
- - Уточнение желтой среды
yellow-system-refinement REFINE yellow-system AS
agent RECURRING
yellow-use |SJ VISIBLE
green-manager RECURRING
green-system
19