Lenguaje de especificación y descripción – Visión general de SDL-2010 – Definición formal de SDL-2010: Semántica estática |
El Anexo F2 describe las limitaciones de la semántica estática del SDL-2010, la correspondencia con la gramática abstracta y las transformaciones identificadas en las cláusulas "Model" de las Recomendaciones Z.101, Z.102, Z.103, Z.104, Z.105 y Z.107, que se incluyen como referencia en la Recomendación 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
|
|