Specification and Description Language – Overview of SDL 2010Annex F3: SDL-2010 formal definition: Dynamic semantics
Summary
History
FOREWORD
Table of Contents
Annex F3  SDL-2010 formal definition: Dynamic semantics
     F3.1 General information
          F3.1.1 Definitions from Annex F1
          F3.1.2 Definitions from Annex F2
          F3.1.3 Function definitions on AS1
          F3.1.4 Status of Annex F3 (this annex)
     F3.2 Behaviour semantics
          F3.2.1 SDL-2010 abstract machine definition (SAM)
               F3.2.1.1 Signal flow model
                    F3.2.1.1.1 Signals
                    F3.2.1.1.2 Gates
                    F3.2.1.1.3 Channels
                    F3.2.1.1.4 Reachability
                    F3.2.1.1.5 Timers
                    F3.2.1.1.6 Exceptions
               F3.2.1.2 SDL-2010 agents
                    F3.2.1.2.1 State machine
                    F3.2.1.2.2 Agent modes
                    F3.2.1.2.3 Agent control block
                    F3.2.1.2.4 Agent connections
                    F3.2.1.2.5 Agent behaviour
               F3.2.1.3 Interface to the data type part
                    F3.2.1.3.1 Functions provided by the data type part
                    F3.2.1.3.2 Functions used by the data type part
               F3.2.1.4 Behaviour primitives
                    F3.2.1.4.1 Action evaluation
                    F3.2.1.4.2 Primitive AnyValue
                    F3.2.1.4.3 Primitive AgentInstPid
                    F3.2.1.4.4 Primitives AssignParameter and AssignSignal, AssignSignalPar, AssignSignalVal
                    F3.2.1.4.5 Primitive Break
                    F3.2.1.4.6 Primitive Call
                    F3.2.1.4.7 Primitive Continue
                    F3.2.1.4.8 Primitive Create
                    F3.2.1.4.9 Primitive Decision
                    F3.2.1.4.10 Primitive EnterStateNode
                    F3.2.1.4.11 Primitive Equality
                    F3.2.1.4.12 Primitive LeaveStateNode
                    F3.2.1.4.13 Primitive OperationApplication
                    F3.2.1.4.14 Primitives Output, OutputX and OutputZ
                    F3.2.1.4.15 Primitive RefFieldAssign
                    F3.2.1.4.16 Primitive Reset
                    F3.2.1.4.17 Primitive Return
                    F3.2.1.4.18 Primitive Scope
                    F3.2.1.4.19 Primitive Set
                    F3.2.1.4.20 Primitive SetRangeCheckLabel
                    F3.2.1.4.21 Primitive Skip
                    F3.2.1.4.22 Primitive Stop
                    F3.2.1.4.23 Primitive SystemValue
                    F3.2.1.4.24 Primitive Task
                    F3.2.1.4.25 Primitive TimerActive
                    F3.2.1.4.26 Primitive TimerRemaining
                    F3.2.1.4.27 Primitive TypeCheck
                    F3.2.1.4.28 Primitive TypeCoercion
                    F3.2.1.4.29 Primitive Var
                    F3.2.1.4.30 Primitive ZDecoding and ZEncoding (including ZEncodingPar and ZEncodingVal)
                    F3.2.1.4.31 Primitive Raise (SDL-2000 feature)
               F3.2.1.5 Undefined behaviour
          F3.2.2 Compilation function
               F3.2.2.1 States and triggers
               F3.2.2.2 Terminators
               F3.2.2.3 Actions
               F3.2.2.4 Start labels
          F3.2.3 SDL-2010 abstract machine programs
               F3.2.3.1 System initialization
                    F3.2.3.1.1 Pre-initial system state
                    F3.2.3.1.2 Agent set creation, initialization, and removal
                    F3.2.3.1.3 Agent creation, initialization, and removal
                    F3.2.3.1.4 Procedure creation and initialization
                    F3.2.3.1.5 Gate creation
                    F3.2.3.1.6 Channel creation
                    F3.2.3.1.7 Link creation and removal
                    F3.2.3.1.8 Variable creation
                    F3.2.3.1.9 State machine creation and initialization
                    F3.2.3.1.10 Procedure graph creation and initialization
                    F3.2.3.1.11 State node creation
                    F3.2.3.1.12 State partition creation
                    F3.2.3.1.13 Composite state creation
               F3.2.3.2 System execution
                    F3.2.3.2.1 Agent set execution
                    F3.2.3.2.2 Agent execution
                    F3.2.3.2.3 Starting agent execution
                    F3.2.3.2.4 Transition selection
                    F3.2.3.2.5 Starting selection of transitions
                    F3.2.3.2.6 Start transition selection
                    F3.2.3.2.7 Exit transition selection
                    F3.2.3.2.8 Free action selection
                    F3.2.3.2.9 Priority input selection
                    F3.2.3.2.10 Input selection
                    F3.2.3.2.11 Continuous signal selection
                    F3.2.3.2.12 Spontaneous transition selection
                    F3.2.3.2.13 Transition firing
                    F3.2.3.2.14 Firing of actions
                    F3.2.3.2.15 Entering of state nodes
                    F3.2.3.2.16 Leaving of state nodes
                    F3.2.3.2.17 Exiting of composite states
                    F3.2.3.2.18 Stopping agent execution
               F3.2.3.3 Interface between execution and compilation
     F3.3 Data semantics
          F3.3.1 Predefined data
               F3.3.1.1 Predefined Data Types, Exceptions and Boolean Operations
               F3.3.1.2 Boolean
               F3.3.1.3 Integer
               F3.3.1.4 Character
               F3.3.1.5 Real
               F3.3.1.6 Duration
               F3.3.1.7 Time
               F3.3.1.8 String
               F3.3.1.9 Charstring
               F3.3.1.10 Array
               F3.3.1.11 Vector
               F3.3.1.12 Powerset
               F3.3.1.13 Bag
               F3.3.1.14 Bit
               F3.3.1.15 Bitstring
               F3.3.1.16 Octet and Octetstring
          F3.3.2 Pid types
          F3.3.3 Constructed types
               F3.3.3.1 Literals
               F3.3.3.2 Structures
               F3.3.3.3 Choice
          F3.3.4 Variables and other items with Aggregation-kind REF
          F3.3.5 State access
          F3.3.6 Specialization
          F3.3.7 Operators and methods
          F3.3.8 Syntypes
Appendix I  to Annex F3  List of abstract syntax grammar rules used