Nächste Seite: Literatur Vorige Seite: F.2 Spezifikation der Syntax

F.3 Spezifikation der Syntax für die Änderungsnachrichten

 

Die folgende Grammatik beschreibt die Terme, die die
"Anderungsoperationen spezifizieren. Die Terminalsymbole stimmen mit den der Telos-Syntax überein.

  <updateMsg>      -->  [ <termlist>  ]

  <termlist>       -->  <updateterm>

                     |  <updateterm>  , <termlist>

  <updateterm>     -->  plus( <term>  )

                     |  minus( <term>  )

  <term>           -->  <viewterm>

                     |  <attributeterm>

  <viewterm>       -->  <label>  ( <objectname>  )

  <attributeterm>  -->  <label> _ <label> ( <objectname>  , <label>  , <objectname>  )

  <objectname>     -->  <label>

                     |  select( <objectname>  , <selector>  , <objectname>  )

                     |  derive( <label>  , <deriveExpList>  )

  <selector>       -->  SELECTOR1

                     |  SELECTOR2

  <deriveExpList>  -->  [ <substList>  ]

  <substList>      -->  <substitution>

                     |  <substitution>  , <substList>

  <substitution>   -->  substitute( <objectname>  , <label>  )

  <label>          -->  ALPHANUM

                     |  LABEL

                     |  NUMBER