�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����