AAP Recommendation

 Work Programme      Back
Z.100 Annex F1: Specification and Description Language - Overview of SDL-2010 - SDL formal definition: General overview

Study Group
17

Study Period
2013-2016

Consent Date
2016-09-07

Approval Date
2016-10-29

Provisional Name
Z.100 (2016) Annex F1

Input used for Consent
TD 2861 Rev.1

Status
A

IPR
Site

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.

AAP Current Status
Step # Action
 Start / End
 Status Announcement Related documents Comments / Resolution logs