CONTENTS

 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