�1���� Scope and objective��������������
������� 1.1���� Objective��������
������� 1.2���� Application�����
�2���� References
�3���� Definitions�
������� 3.1���� Terms defined elsewhere��������
������� 3.2���� Terms defined in this Recommendation������������
�4���� Abbreviations and acronyms�������������
�5���� Conventions�������������
�6���� General rules�����������
�7���� Organization of Specification and Description Language specifications������������
������� 7.1���� Framework�����
������� 7.2���� Package�����������
������� 7.3���� Referenced definition
�8���� Structural concepts
������� 8.1���� Types, instances and gates������
������� 8.2���� Type references and operation references������
������� 8.3���� Context parameters���
������� 8.4���� Specialization�
�9���� Agents��������
10���� Communication�����
������ 10.1���� Channel����������
������ 10.2� ���Connection���
������ 10.3���� Signal���������������
������ 10.4���� Signal list area��������������
������ 10.5���� Remote procedures��
������ 10.6���� Remote variables�������
������ 10.7���� Communication path encoding rules, encode and decode�������
11���� Behaviour�
������ 11.1���� Start�
�� ����11.2���� State
������ 11.3���� Input
������ 11.4���� Priority input
������ 11.5���� Continuous signal�������
������ 11.6���� Enabling condition������
������ 11.7���� Save�
������ 11.8���� Implicit transition��������
������ 11.9���� Spontaneous transition�����������
����� 11.10���� Label���������������
����� 11.11���� State machine and composite state��
����� 11.12���� Transition�����
����� 11.13���� Action������������
����� 11.14���� Statement list�������������
����� 11.15���� Timer��������������
12���� Data������������
������ 12.1���� Data definitions�����������
������ 12.2���� Use of data���
������ 12.3���� Active use of data������
13���� Generic system definition�
14���� Package Predefined�������������
������ 14.1���� Boolean sort�
������ 14.2���� Character sort��������������
������ 14.3���� String sort������
������ 14.4���� Charstring sort�������������
������ 14.5���� Integer sort���
������ 14.6��� �Natural syntype����������
����������������� 14.6.2���� Usage
������ 14.7���� Real sort���������
������ 14.8���� Array sort�������
������ 14.9���� Vector�������������
����� 14.10���� Powerset sort�������������
����� 14.11���� Duration sort���������������
����� 14.12���� Time sort������
����� 14.13���� Bag sort���������
����� 14.14���� ASN.1 Bit and Bitstring sorts�
����� 14.15���� ASN.1 Octet and Octetstring sorts�����
����� 14.16���� Pid sort����������
����� 14.17���� Encoding sort��������������
����� 14.18���� Support for ASN.1 character, symbol string and NULL types���
����� 14.19���� Predefined exceptions�����������
Annex A � Abstract data types and axioms����
������� A.1���� Introduction��
������� A.2���� Notation���������
Annex B � Specification of the set of text encoding rules����
������� B.1���� Boolean�����������
������� B.2���� Character��������
����� Page
������� B.3���� String
������� B.4���� Charstring, IA5String, NumericString, PrintableString,
VisibleString�������
������� B.5���� Integer�������������
������� B.6���� Natural�������������
������� B.7���� Real���
������� B.8���� Array�
������� B.9���� Vector��������������
������ B.10���� Powerset�������
������ B.11���� Duration���������
������ B.12���� Time
������ B.13���� Bag���
������ B.14���� Bit, Bitstring��
������ B.15���� Octet, Octetstring������
������ B.16���� Pid, pid sorts
������ B.17���� Null��
������ B.18���� Enumerated (literal list)�����������
������ B.19���� Structures�����
������ B.20���� Choice�������������
������ B.21���� Inherits and syntype�
Annex C � Language binding����
������� C.1���� C Language binding�����
Bibliography����