Z.100 Annex F1: Specification and Description Language - Overview of SDL-2010 - SDL formal definition: General overview
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. Updated with changes to support the revised Z.100AnnexF2. Final version for SDL 2010
AAP Current Status
Step # | Action |
Start / End |
Status | Announcement | Related documents | Comments / Resolution logs |
---|