|
Work item:
|
Z.100 Annex F1
|
|
Subject/title:
|
Specification and Description Language - Overview of SDL-2010 - SDL formal definition: General overview
|
|
Status:
|
Approved on 2019-10-14
|
|
Approval process:
|
AAP
|
|
Type of work item:
|
Recommendation
|
|
Version:
|
Rev.
|
|
Equivalent number:
|
-
|
|
Timing:
|
-
|
|
Liaison:
|
SDL Forum Society
|
|
Supporting members:
|
-
|
|
Summary:
|
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
|
|
Comment:
|
-
|
|
Reference(s):
|
|
|
Historic references:
|
|
Contact(s):
|
|
| ITU-T A.5 justification(s): |
|
|
|
|
First registration in the WP:
2019-02-01 14:14:08
|
|
Last update:
2019-10-22 17:30:54
|
