ITU-T Recommendation database

Search by number:

Others:

Study Groups tree view

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

Язык спецификации и описания − Анализ SDL-2010

В Приложении F1 приводится обоснование и главные задачи определения формальной семантики для SDL-2010. В нем приведен обзор структуры формальной семантики, а также содержится введение в формализм машины абстрактных состояний (ASM), который используется для определения семантики SDL-2010.
Ключевые слова
Машины абстрактных состояний, ASM, формальное определение, обзор, обзор семантики, SDL-2010, язык спецификации и описания.

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)