F2.1 General information for the static semantics
F2.1.1 Definitions used from Annex F1
F2.2 Static semantics
F2.2.1 General definitions
F2.2.2 Visibility rules, names and identifiers
F2.2.3 Informal text
F2.2.4 General framework
F2.2.5 Structural concepts
F2.2.6 Agents
F2.2.7 Communication
F2.2.8 Behaviour
F2.2.9 Data
F2.3 Transformation of SDL‑2010 shorthands