|
Work item:
|
Z.100 Annex F1
|
|
Subject/title:
|
SDL formal definition: General overview
|
|
Status:
|
[Carried to next 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 semantics. This update reflects the latest state of the art, in preparation for updating Z.100 Annex F2 and Z.100 Annex F3 for SDL-2010 instead of SDL-2000.
|
|
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:
2012-10-25 14:13:30
|
