| Struktur der Spezifikation |
|
|
|
|
|
|
|
|
|
|
|
| u | Spezifikation
enthält |
|||||||||
| – | Deklarationen von
Nachrichten: |
|||||||||
| <message>
... </message> |
||||||||||
| – | Deklarationen von
Datenfeldern: |
|||||||||
| <argdecl>
... </argdecl> |
||||||||||
| u | Jede Deklaration
muss einen Namen und |
|||||||||
| kann eine
Beschreibung enthalten. |
||||||||||