ГОС! Р ИСО МЭК
9072
-
1-93
ТУРЕ NOTATION
VALUE NOTATION
Binding
ROelcucnts
SymmetricAses
AsvminciricAses
Awl.ill
Aw?ID
AbstractSyntax
END
Рисунок A.I (Лист 2) — Формализованное описание СЭП
и типов данных прикдааного-коигекста
В набор ссрвнсяых-гмемев ов-прикладкого-уровня входят.
А.2 Прикладные контексты
В контексте данного приложения прикладной контекст в явном виде иден
тифицирует:
а) операпию-свяэкн.
б) опера цию-раэвязки и
в) набор ссрвисных-улемснтоо-прикладиого-уровня
и требует наличии единого или
т
весколъхих абстрактных-сиитаксисов.
а) элементы СЭП, не использующие УО-нотацкю, т. с. СЭУА, факультативно
СЭНП н другие.
б) факультативно СЭУО и СЭП — оользователи-СЗУО.
Если прикладной контекст содержи? СЭП — пользователсй-СЭУО с асиммет
ричным протоколом, то данная нотация обеспечивает спецификацию независимо
от того, кто является потребителем такого СЭП: ниицнатор-зссоииации или от-
встчнк-ассоцнации.
Идентификация операций связки, операцкй-раэвязки, сервисных элементов-
прикладного-урония и абстрактных синтаксисов может быть выражена формаль
ной нотацией, специфицирующей прикладиоА-коитскс-т.
*)» AseList «
•
• - продолжение расширения нотации удаленных операций
-макроопределения прикладного контекста
APPLlCATlON-CONTcXT MACRO : =
BEGIN
— NonROe laments Binding ROelements
AbstraciSvntaxes
•: r- value (VALUE OBJECT IDENTIFIER)
NonROrlcinenfs
— «APPLICATION SERVICE ELEMENTS»
}»
: : — «BIND* type • - должен указать тин опера-
-- нин-свяэн
«UNBIND» lypc -- должен указать тип one-
- - рэиии-ризаязки
■: - «REMOTE OPERATIONS» «}» AsclD *}»
- - определение СЭУО
SymmetrtcAses A&ymnietrlcAses | empty
: = «OPERATIONS OF* *}» AscList «)» I empty
— Init iatorConsumo fOf ResponJvrConsumerOf
lni’.lalorConsumcrOI
:: — «INITIATOR CONSUMER OF» «I» AaeL.st
«}• I empty
*}» | empt
SyntaxlJat
AbstractS
RespondcrConsuntcrOI
. : — «RESPONDER CONSUMER OF* «{»AseList
y
Ab$troct$y»taxe*
: - «ABSTRACT SYNTAXES* «}> Abstract-
«I*
.: ■■ASt-ID t AscLtal «.* AsclD
: - value (APPLICATION-SERVICE-ELEMENT)
Abs‘.ractSyntaxL»t
-: — AbstractSymax I Abs’.rac’SyntaxList ».*
yntax
■. — value <OBJECT IDENTIFIER) - идетнфи-
- - кзаия абстрактного синтаксиса
END
• конец расширения нотации удаленных операций
43