Table of Contents

1)���� 7.2.2 Constraints��������
2)���� 7.4.2 Constraints��������
3)���� 8.5.2 Constraints��������
4)���� 8.5.3 Semantics����������
5)���� Bibliography���������������
6)���� Appendix I��
Appendix I � Example language specification����
������� I.1���� ������������� Conventions��������
������� I.2���� ������������� Lexical rules and names���
������� I.3���� ������������� Organization��������
������� I.4���� ������������� Basic concepts����
������� I.5���� ������������� Structure���������������
������� I.6���� ������������� Communication�
������� I.7���� ������������� State machine�����
������� I.8���� ������������� Sequential behaviour���������
������� I.9���� ������������� Data������
������ I.10� ���Exceptions��������
������ I.11���� Generic system definition��������������
Bibliography����