|
Work item:
|
Z.100 Annex F1
|
|
Subject/title:
|
Specification and Description Language - Overview of SDL-2010 - Annex F1 - SDL-2010 formal definition: General overview
|
|
Status:
|
Approved on 2015-01-13 [Issued from previous study period]
|
|
Approval process:
|
AAP
|
|
Type of work item:
|
Recommendation
|
|
Version:
|
Rev.
|
|
Equivalent number:
|
-
|
|
Timing:
|
-
|
|
Liaison:
|
-
|
|
Supporting members:
|
-
|
|
Summary:
|
Annex F1 provides motivation, gives an overview of the structure of the formal semantics, and contains an introduction to the Abstract State Machine (ASM) formalism, which is used to define the SDL-2010 semantics.
|
|
Comment:
|
-
|
|
Reference(s):
|
|
|
Historic references:
|
|
Contact(s):
|
|
| ITU-T A.5 justification(s): |
|
|
|
|
First registration in the WP:
2012-05-01 14:30:04
|
|
Last update:
2015-01-16 16:06:35
|
