\File{figureB\-17.ry},{01:54},{Jan 26 1990}
\L{\LB{\C{}\-\- application service elements}}
\CE{}\L{\LB{}}
\L{\LB{userElement \K{APPLICATION}\-\K{SERVICE}\-\K{ELEMENT}}}
\L{\LB{    \K{CONSUMER} \K{INVOKES} \{ evalOperation \}}}
\L{\LB{}\Tab{8}{::= \{ iso isode(17) demo(1) eval(8) application\-service\-element(3) \}}}
\L{\LB{}}
\L{\LB{}}
\L{\LB{\C{}\-\- abstract syntaxes}}
\CE{}\L{\LB{}}
\L{\LB{eval\-abstract\-syntax \K{OBJECT} \K{IDENTIFIER} :: =}}
\L{\LB{    \{ iso isode(17) demo(1) eval(8) abstract\-syntax(1) \}}}
\L{\LB{}}
\L{\LB{...}}
\L{\LB{}}