Specification and Description Language – Overview of SDL-2010 SDL-2010 formal definition: General overview ITU-T Z.100ITU-T Z.100-EZ.1002018-11-01 International Telecommunication Union International Telecommunication Union en

Annex F1 provides the motivation for and the main objectives of a formal semantics definition for SDL-2010. It gives an overview of the structure of the formal semantics, and it also contains an introduction to the Abstract State Machine (ASM) formalism, which is used to define the SDL-2010 semantics.

in-force2018 International Telecommunication Union Z: Languages and General Software Aspects for Telecommunication Systems Formal description techniques (FDT) Specification and Description Language (SDL) ASMSDL-2010abstract state machinesformal definitionoverviewoverview of semanticsspecification and description languagerecommendation-annexTfalseTZ.100F1