�1����
Scope�
�2����
References
�3����
Abbreviations�
�4����
Introduction�����
�5����
Conventions����
������� 5.1���� Syntactic metanotation������
������� 5.2���� Specification text�
������� 5.3���� Proformas�
������� 5.4���� Core language������
������� 5.5� ���General mapping rules�����
�6���� Proformas�
������� 6.1���� Test Suite Control
������� 6.2���� Test Suite Parameters�������
������� 6.3���� Module Imports����
������� 6.4���� Simple Types�������
������� 6.5���� Structured Type����
������� 6.6���� SequenceOf Types
������� 6.7���� Enumerated Type�
������� 6.8���� Port Types
������� 6.9���� Component Types�
������ 6.10����
Constants�
������ 6.11����
Signature Definition��������
������ 6.12����
Simple Templates
������ 6.13���� Structured Template��������
������ 6.14���� Function
������ 6.15���� Altstep��
������ 6.16���� Testcase��
�7����
BNF productions���� �����