CONTENTS

�1���� Scope�
������� 1.1���� � Objective�
������� 1.2���� � Application����������
������� 1.3���� � System specification���������
������� 1.4���� � Differences between SDL-88 and SDL-92�����������
������� 1.5���� � Differences between SDL-92 and SDL‑2000�������
�2���� References�
�3���� Definitions��
�4���� Abbreviations���
�5���� Conventions�����
������� 5.1���� � SDL grammars����
������� 5.2���� � Basic definitions���
������� 5.3���� � Presentation style�
������� 5.4���� � Metalanguages�����
�6���� General rules����
������� 6.1���� Lexical rules���������
�� �����6.2���� � Macro��
������� 6.3���� � Visibility rules, names and identifiers���������
������� 6.4���� � Informal text��������
������� 6.5���� � Drawing rules�������
������� 6.6���� Partitioning of drawings����
������� 6.7���� � Comment�
������� 6.8���� � Text extension������
������� 6.9���� � Text symbol���������
�7���� Organization of SDL specifications�����������
������� 7.1���� Framework����������
������� 7.2���� � Package��
������� 7.3���� � Referenced definition��������
�8���� Structural concepts����������
������� 8.1���� � Types, instances and gates�����������
������� 8.2���� � Context parameters����������
������� 8.3���� � Specialization�������
������� 8.4���� Type references���
������� 8.5���� � Associations��������
�9���� Agents
������� 9.1���� � System�
������� 9.2���� � Block���
������� 9.3���� Process
������� 9.4���� Agent and composite state reference��������
��� ����9.5���� � Procedure
10���� Communication
������ 10.1���� Channel�
������ 10.2���� Connection�����������
������ 10.3���� Signal����
������ 10.4���� Signal list definition
������ 10.5���� Remote procedures����������
������ 10.6���� Remote variables��
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���
����� 11.16���� Exception
12���� Data���
������ 12.1���� Data definitions�����
������ 12.2���� Passive use of data�����������
������ 12.3���� Active use of data�
13���� Generic system definition�
������ 13.1���� Optional definition�
������ 13.2���� Optional transition string����
Annex A � Index of non-terminals����
Annex B � Backwards compatibility����
������� B.1���� Background����������
������� B.2���� Lexical rules����������
������� B.3���� Macro���
������� B.4���� Context parameters�����������
����������������� B.4.1���� Agent context parameter��
����������������� B.4.2���� Procedure context parameter��������
����������������� B.4.3���� Sort context parameter�����
������� B.5���� Agents���
������� B.6���� Procedure�
������� B.7���� Remote variables���
������� B.8���� Specialization of data types
������� B.9���� Behaviour of operations�����
������ B.10���� Optional definition
������ B.11���� Data definition������
������ B.12���� Data type definition����������
����������������� B.12.1���� Generators���������
����������������� B.12.2���� Operator signatures��������
������ B.13���� Syntypes��
������ B.14���� Task�����
Annex C � Compliance to this Recommendation����
������� C.1���� Definitions of valid tools����
������� C.2���� Conformance��������
Annex D � SDL Predefined data����
������� D.1���� Introduction����������
������� D.2���� Notation
����������������� D.2.1���� Axioms����
����������������� D.2.2���� Conditional equations�������
����������������� D.2.3���� Equality���
����������������� D.2.4���� Boolean axioms���
����������������� D.2.5���� Conditional term��
����������������� D.2.6���� Error term
����������������� D.2.7���� Unordered literals
����������������� D.2.8���� Literal equations���
������� D.3���� Package Predefined����������
����������������� D.3.1���� Boolean sort��������
����������������� D.3.2���� Character sort������
����������������� D.3.3���� String sort
����������������� D.3.4���� Charstring sort�����
����������������� D.3.5���� Integer sort����������
����������������� D.3.6���� Natural syntype����
����������������� D.3.7���� Real sort��
����������������� D.3.8���� Array sort
����������������� D.3.9���� Vector�����
����������������� D.3.10���� Powerset sort����
����������������� D.3.11��� �Duration sort������
����������������� D.3.12���� Time sort�����������
����������������� D.3.13���� Bag sort�
����������������� D.3.14���� ASN.1 Bit and Bitstring sorts�����
����������������� D.3.15���� ASN.1 Octet and Octetstring sorts���������
����������������� D.3.16���� Predefined Exceptions����
Annex E � Reserved for examples����
Annex F � SDL formal definition����
Appendix I � Status of Z.100, related documents and Recommendations����
Appendix II � Guidelines for the maintenance of SDL����
������ II.1���� Maintenance of SDL����������
����������������� II.1.1���� Terminology���������
����������������� II.1.2���� Rules for maintenance�������
����������������� II.1.3���� Change request procedure
Appendix III � Systematic conversion of SDL-92 to SDL-2000����