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