ITU-T Recommendation database

Search by number:

Others:

Study Groups tree view

ITU-T Z.100 Annex F1 (10/2019)

Lenguaje de especificación y descripción – Visión general de SDL-2010 – Definición formal de SDL: Visión general
El Anexo F1 proporciona la motivación y los principales objetivos de la definición de una semántica formal para SDL-2010. Ofrece una visión general de la estructura de la semántica formal así como una introducción al formalismo de la máquina de estados abstractos (ASM) utilizada para definir la semántica de SDL-2010.

Citation:	https://handle.itu.int/11.1002/1000/14049
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:	2019-10-14
Approval process:	AAP
Status:	In force
Maintenance responsibility:	ITU-T Study Group 17
Further details:	Patent statement(s) Development history

Ed.	ITU-T Recommendation	Status	Summary	Table of Contents	Download
11.3	Z.100 Annex F3 (06/2021)	In force	here	here	here
11.2	Z.100 Annex F2 (06/2021)	In force	here	here	here
11.1	Z.100 Annex F1 (10/2019)	In force	here	here	here
11	Z.100 (06/2021)	In force	here	here	here
10.3	Z.100 Annex F3 (10/2019)	Superseded	here	here	here
10.2	Z.100 Annex F2 (10/2019)	Superseded	here	here	here
10	Z.100 (10/2019)	Superseded	here	here	here
9.6	Z.100 Annex F3 (11/2018)	Superseded	here	here	here
9.5	Z.100 Annex F2 (11/2018)	Superseded	here	here	here
9.4	Z.100 Annex F1 (11/2018)	Superseded	here	here	here
9.3	Z.100 Annex F3 (10/2016)	Superseded	here	here	here
9.2	Z.100 Annex F2 (10/2016)	Superseded	here	here	here
9.1	Z.100 Annex F1 (10/2016)	Superseded	here	here	here
9	Z.100 (04/2016)	Superseded	here	here	here
8.6	Z.100 Annex F3 (01/2015)	Superseded	here	here	here
8.5	Z.100 Annex F2 (01/2015)	Superseded	here	here	here
8.4	Z.100 Annex F1 (01/2015)	Superseded	here	here	here
8.3	Z.100 Annex F3 (11/2000)	Superseded	here	here	here
8.2	Z.100 Annex F2 (11/2000)	Superseded	-	-	here
8.1	Z.100 Annex F1 (11/2000)	Superseded	here	here	here
8	Z.100 (12/2011)	Superseded	here	here	here
7	Z.100 (11/2007)	Superseded	here	here	here
6.2	Z.100 (2002) Cor. 1 (08/2004)	Superseded	here	here	here
6.1	Z.100 (2002) Amd. 1 (10/2003)	Superseded	here	here	here
6	Z.100 (08/2002)	Superseded	here	here	here
5.1	Z.100 (1999) Cor. 1 (10/2001)	Superseded	here	here	here
5	Z.100 (11/1999)	Superseded	here	here	here
4.1	Z.100 (1993) Add. 1 (10/1996)	Superseded	here	here	here
4	Z.100 (03/1993)	Superseded	-	-	here
3.7	Z.100 App. II (03/1993)	Superseded	-	-	here
3.6	Z.100 App. I (03/1993)	Superseded	-	-	here
3.5	Z.100 Annex F3 (03/1993)	Superseded	-	here	here
3.4	Z.100 Annex F2 (03/1993)	Superseded	-	here	here
3.3	Z.100 Annex F1 (03/1993)	Superseded	-	-	here
3.2	Z.100 Annex D (03/1993)	Superseded	-	-	here
3.1	Z.100 Annex C (03/1993)	Superseded	-	-	here
3	Z.100 (11/1988)	Superseded	-	here	here
2.9	Z.100 Annex F3 (11/1988)	Superseded	-	-	Not available
2.8	Z.100 Annex F2 (11/1988)	Superseded	-	-	Not available
2.7	Z.100 Annex F1 (11/1988)	Superseded	-	here	here
2.6	Z.100 Annex E (11/1988)	Superseded	-	here	here
2.5	Z.100 Annex D (11/1988)	Superseded	-	here	here
2.4	Z.100 Annex C2 (11/1988)	Superseded	-	here	here
2.3	Z.100 Annex C1 (11/1988)	Superseded	-	here	here
2.2	Z.100 Annex B (11/1988)	Superseded	-	here	here
2.1	Z.100 Annex A (11/1988)	Superseded	-	here	here
2	Z.100 (09/1987)	Superseded	-	-	Not available
1.5	Z.100 Annex D (10/1984)	Superseded	-	-	Not available
1.4	Z.100 Annex C2 (10/1984)	Superseded	-	-	Not available
1.3	Z.100 Annex C1 (10/1984)	Superseded	-	-	Not available
1.2	Z.100 Annex B (10/1984)	Superseded	-	-	Not available
1.1	Z.100 Annex A (10/1984)	Superseded	-	-	Not available
1	Z.100 (10/1984)	Superseded	-	-	Not available


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

Committed to connecting the world

ITU-T Recommendations

ITU-T Z.100 Annex F1 (10/2019)