Langage de description et de spécification – Présentation générale de SDL-2010 – Définition formelle du langage SDL-2010: Sémantique statique |
L'Annexe F2 décrit les contraintes relatives à la sémantique statique du langage SDL-2010, le mappage vers la grammaire abstraite et les transformations identifiées dans les paragraphes relatifs au modèle figurant dans les Recommandations UIT-T Z.101, Z.102, Z.103, Z.104, Z.105 et Z.107, qui font l'objet d'une inclusion par référence dans la Recommandation UIT-T Z.100. |
|
Citation: |
https://handle.itu.int/11.1002/1000/14702 |
Series title: |
Z series: Languages and general software aspects for telecommunication systems Z.100-Z.199: Formal description techniques (FDT) Z.100-Z.109: Specification and Description Language (SDL) |
Approval date: |
2021-06-13 |
Approval process: | AAP |
Status: |
In force |
Maintenance responsibility: |
ITU-T Study Group 17 |
Further details: |
Patent statement(s)
Development history
|
|
|
|
ITU-T Supplement
|
Title
|
Status
|
Summary
|
Table of contents
|
Download
|
Z Suppl. 1 (04/2015)
|
ITU-T Z.100-series – Supplement on SDL+ methodology: Use of ITU System Design Languages
|
In force
|
here
|
here
|
here
|
Title |
Approved on |
Download |
Specification and Description Language implementer's guide - Version 4.0.1
|
2021-04-30
|
here
|
|