Langage de description et de spécification - Présentation générale de SDL-2010 |
L'Annexe F1 donne la justification et les principaux objectifs de la définition d'une sémantique formelle pour le langage SDL-2010. Elle donne un aperçu de la structure de la sémantique formelle, et contient aussi une introduction au formalisme de l'automate abstrait à états finis qui est utilisé pour définir la sémantique du langage SDL-2010. Mots clés. Automates abstraits à états finis, ASM, définition formelle, aperçu, aperçu de la sémantique, SDL-2010, langage de spécification et de description. |
|
Citation: |
https://handle.itu.int/11.1002/1000/13040 |
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: |
2016-10-29 |
Approval process: | AAP |
Status: |
Superseded |
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
|
|