�1���� General information
������� 1.1���� Overview of the
dynamic semantics
������� 1.2���� Definitions from
Annex F1
������� 1.3���� Definitions from
Annex F2
�2���� Behaviour semantics
������� 2.1���� SDL Abstract
Machine definition
��������� ��������2.1.1���� Signal flow model
����������������� 2.1.2���� SDL agents
����������������� 2.1.3���� Interface to the Data Type Part
����������������� 2.1.4���� Behaviour primitives
����������������� 2.1.5���� Undefined Behaviour
������� 2.2���� Compilation
Function
����������������� 2.2.1���� States and Triggers
����������������� 2.2.2���� Terminators
����������������� 2.2.3���� Actions
����������������� 2.2.4���� Start Labels
������� 2.3���� SDL Abstract
Machine Programs
����������������� 2.3.1����System Initialisation
����������������� 2.3.2���� System Execution
����������������� 2.3.3���� Interface between Execution and Compilation
�3���� Data semantics
������� 3.1���� Predefined Data
����������������� 3.1.1���� Well-known definitions
������� ����������3.1.2���� Boolean
����������������� 3.1.3���� Integer
����������������� 3.1.4���� Character
����������������� 3.1.5���� Real
����������������� 3.1.6���� Duration
����������������� 3.1.7���� Time
����������������� 3.1.8���� String
��������������� ��3.1.9���� Array
���������������� 3.1.10���� Powerset
���������������� 3.1.11���� Bag
������� 3.2���� Pid Types
������� 3.3���� Constructed Types
����������������� 3.3.1���� Structures
����������������� 3.3.2���� Literals
������� 3.4���� Object Types
��� ����3.5���� State Access
������� 3.6���� Specialisation
������� 3.7���� Operators and
Methods
������� 3.8���� Syntypes
�4���� Example
������� 4.1���� SDL Example
Specification
������� 4.2���� AST of the
Example Specification
������� 4.3���� Initialisation of
the Example
������� 4.4���� Compilation of
the Example
APPENDIX� I � Collected abstract syntax
APPENDIX� II � Index
������ II.1���� Functions
������ II.2���� Domains
������ II.3���� AS1 Nonterminals
������ II.4���� Macros
������ II.5���� Programs