Lenguaje de especificación y descripción – Visión general de SDL-2010 – Definición formal de SDL: Visión general |
En el Anexo F1 se exponen los motivos y principales objetivos de una definición semántica formal de SDL-2010. Se resume la estructura de la semántica formal y se presenta una introducción al formalismo de la máquina de estados abstractos (ASM), que se utiliza para definir la semántica SDL-2010. |
|
Citation: |
https://handle.itu.int/11.1002/1000/12354 |
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: |
2015-01-13 |
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
|
|