ITU-T Recommendation database

Search by number:

Others:

Study Groups tree view

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

Specification and Description Language - Overview of SDL-2010

Annex F1 provides the motivation for and the main objectives of a formal semantics definition for SDL-2010. It gives an overview of the structure of the formal semantics, and it also contains an introduction to the Abstract State Machine (ASM) formalism, which is used to define the SDL‑2010 semantics.

Keywords

Abstract State Machines, ASM, formal definition, overview, overview of semantics, SDL‑2010, Specification and Description Language.

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

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/2016)