ITU-T Recommendation database

Search by number:

Others:

Study Groups tree view

ITU-T Z.100 Annex F1 (11/2000)

SDL formal definition: General overview
This Annex F1 provides motivation, gives an overview of the structure of the formal semantics, and contains an introduction to the Abstract State Machine (ASM) formalism, which is used to define the SDL semantics.

Citation:	https://handle.itu.int/11.1002/1000/5239
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:	2000-11-24
Approval process:	TAP
Status:	Superseded
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 (11/2000)