Rec. ITU-T Z.100 Annex F2 (06/2021) Specification and Description Language – Overview of SDL-2010Annex F2: SDL-2010 formal definition: Static semantics
Summary
History
FOREWORD
Table of Contents
Annex F2  SDL-2010 formal definition: Static semantics
     F2.1 General information for the static semantics
          F2.1.1 Definitions used from Annex F1
          F2.1.3 Status of Annex F2 (this annex)
     F2.2 Static semantics
          F2.2.1 General definitions
               F2.2.1.1 Division of text
               F2.2.1.2 Abstraction of the concrete grammar (AS0)
               F2.2.1.3 Static conditions on the concrete syntax (AS0)
               F2.2.1.4 Transformation rules
               F2.2.1.5 Mapping rules
               F2.2.1.6 Predefinition
                    F2.2.1.6.1 General functions
                    F2.2.1.6.2 Domain definitions for AS1
                    F2.2.1.6.3 Domain definitions for AS0
                    F2.2.1.6.4 Function definitions on AS1
                    F2.2.1.6.5 Function definitions on AS0
                    F2.2.1.6.6 Lexis
          F2.2.2 Visibility rules, names and identifiers
               F2.2.2.1 Name
               F2.2.2.2 Identifier
               F2.2.2.3 Path item
          F2.2.3 Informal text
          F2.2.4 General framework
               F2.2.4.1 SDL-2010 specification
               F2.2.4.2 Package
               F2.2.4.3 Referenced definition
               F2.2.4.4 Select definition
               F2.2.4.5 Transition option
          F2.2.5 Structural concepts
               F2.2.5.1 Structural type definitions
                    F2.2.5.1.1 Agent types
                    F2.2.5.1.2 System type
                    F2.2.5.1.3 Block type
                    F2.2.5.1.4 Process type
                    F2.2.5.1.5 Composite state type
               F2.2.5.2 Type expression
               F2.2.5.3 Definitions based on types
                    F2.2.5.3.1 System definition based on system type
                    F2.2.5.3.2 Block definition based on block type
                    F2.2.5.3.3 Process definition based on process type
                    F2.2.5.3.4 Composite state definition based on composite state type
               F2.2.5.4 Abstract type
               F2.2.5.5 Type reference
               F2.2.5.6 Gate
               F2.2.5.7 Context parameters
                    F2.2.5.7.1 Agent type context parameter
                    F2.2.5.7.2 Agent context parameter
                    F2.2.5.7.3 Procedure context parameter
                    F2.2.5.7.4 Remote procedure context parameter
                    F2.2.5.7.5 Signal context parameter
                    F2.2.5.7.6 Variable context parameter
                    F2.2.5.7.7 Remote variable context parameter
                    F2.2.5.7.8 Timer context parameter
                    F2.2.5.7.9 Synonym context parameter
                    F2.2.5.7.10 Sort context parameter
                    F2.2.5.7.11 Composite state context parameter
                    F2.2.5.7.12 Gate context parameter
                    F2.2.5.7.13 Interface context parameter
               F2.2.5.8 Specialization
                    F2.2.5.8.1 Adding properties
                    F2.2.5.8.2 Virtual type
                    F2.2.5.8.3 Virtual transitions/save
                    F2.2.5.8.4 Virtual method
          F2.2.6 Agents
               F2.2.6.1 System
               F2.2.6.2 Block
               F2.2.6.3 Process
               F2.2.6.4 Procedure
          F2.2.7 Communication
               F2.2.7.1 Channel definition
               F2.2.7.2 Connections
               F2.2.7.3 Signal
               F2.2.7.4 Signal list definition
               F2.2.7.5 Remote procedures
               F2.2.7.6 Remote variable
               F2.2.7.7 Communication path encoding rules, encode and decode
          F2.2.8 Behaviour
               F2.2.8.1 Start
               F2.2.8.2 State
               F2.2.8.3 Input
               F2.2.8.4 Priority input
               F2.2.8.5 Continuous signal
               F2.2.8.6 Enabling condition
               F2.2.8.7 Save
               F2.2.8.8 Implicit transition
               F2.2.8.9 Spontaneous transition
               F2.2.8.10 Label
               F2.2.8.11 State machine and composite state
                    F2.2.8.11.1 Composite state graph
                    F2.2.8.11.2 State aggregation
                    F2.2.8.11.3 State connection point
                    F2.2.8.11.4 Connect
               F2.2.8.12 Transition
                    F2.2.8.12.1 Transition body
                    F2.2.8.12.2 Nextstate
                    F2.2.8.12.3 Join
                    F2.2.8.12.4 Stop
                    F2.2.8.12.5 Return
               F2.2.8.13 Action
                    F2.2.8.13.1 Task
                    F2.2.8.13.2 Create
                    F2.2.8.13.3 Procedure call
                    F2.2.8.13.4 Output
                    F2.2.8.13.5 Decision
               F2.2.8.14 Statement lists
                    F2.2.8.14.1 Compound statement
                    F2.2.8.14.2 Transition actions and terminators as statements
                    F2.2.8.14.3 Expressions as statements
                    F2.2.8.14.4 If statements
                    F2.2.8.14.5 Decision statements
                    F2.2.8.14.6 Loop statements
                    F2.2.8.14.7 Break statement
               F2.2.8.15 Timer
          F2.2.9 Data
               F2.2.9.1 Data definitions
               F2.2.9.2 Data type definition
               F2.2.9.3 Interface type
               F2.2.9.4 Specialization of data types
               F2.2.9.5 Operations
               F2.2.9.6 Data type constructors
                    F2.2.9.6.1 Literals
                    F2.2.9.6.2 Structure data types
                    F2.2.9.6.3 Choice data types
               F2.2.9.7 Behaviour of operations
               F2.2.9.8 Additional data definition constructs
                    F2.2.9.8.1 Name class mapping
                    F2.2.9.8.2 Restricted visibility
                    F2.2.9.8.3 Syntypes
                    F2.2.9.8.4 Constraint
                    F2.2.9.8.5 Synonym definition
               F2.2.9.9 Use of data
                    F2.2.9.9.1 Expressions and expressions as actual parameters
                    F2.2.9.9.2 Literal
                    F2.2.9.9.3 Synonym
                    F2.2.9.9.4 Extended primary
                    F2.2.9.9.5 Equality expression
                    F2.2.9.9.6 Conditional expression
                    F2.2.9.9.7 Operation application
                    F2.2.9.9.8 Range check expression
                    F2.2.9.9.9 Variable definition
                    F2.2.9.9.10 Variable access
                    F2.2.9.9.11 Assignment
                    F2.2.9.9.12 Extended variable
                    F2.2.9.9.13 Default initialization
                    F2.2.9.9.14 Now expression
                    F2.2.9.9.15 Import expression
                    F2.2.9.9.16 Pid expression
                    F2.2.9.9.17 Timer active expression and timer remaining duration
                    F2.2.9.9.18 Active agents expression
                    F2.2.9.9.19 Any expression
                    F2.2.9.9.20 State expression
                    F2.2.9.9.21 Signal expression
                    F2.2.9.9.22 Signallist expression
                    F2.2.9.9.23 Value returning procedure call
                    F2.2.9.9.24 Type coercion
                    F2.2.10 Computing constants
     F2.3 Transformation of SDL-2010 shorthands
<\pre>