Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics

Edel Sherratt; Rick Reed; Andreas Prinz; Martin v. Löwis; Michael Piefel; Reinhard Gotzhein; Robert Eschbach; Uwe Glässer; Ying Wang; Yuhong Zhao; Weilei Zhang; Bo Ai

Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics

Edel Sherratt
, Rick Reed
, Andreas Prinz
, Martin v. Löwis
, Michael Piefel
, Reinhard Gotzhein
, Robert Eschbach
, Uwe Glässer
, Ying Wang
, Yuhong Zhao
, Weilei Zhang
, Bo Ai

Adran Cyfrifiadureg

Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Beijing University of Posts and Telecommunications
SRH University Berlin
Digital Media Systems GmbH
Engineering Software Steyr (Austria)
Paderborn University

Allbwn ymchwil: Cyfraniad arall

Crynodeb

Annex F2 describes the static semantic constraints of SDL-2010, the mapping to the abstract grammar and the transformations identified by the 'Model' clauses of Recommendations ITU-T Z.101, Z.102, Z.103, Z.104, Z.105 and Z.107, that are included by reference in Recommendation ITU-T Z.100.

Iaith wreiddiol	Saesneg
Math	ITU-T recommendation
Cyfrwng allbwn	Text
Cyhoeddwr	International Telecommunication Union Telecommunication Standardization Sector
Nifer y tudalennau	349
Statws	Derbyniwyd/Yn y wasg - 28 Gorff 2021

Mynediad at Ddogfen

https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14702&lang=en

Cysylltiad parhaol

Dolen barhaus

Dyfynnu hyn

Sherratt, E., Reed, R., Prinz, A., v. Löwis, M., Piefel, M., Gotzhein, R., Eschbach, R., Glässer, U., Wang, Y., Zhao, Y., Zhang, W., & Ai, B. (2021, Gorff 28). Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics. International Telecommunication Union Telecommunication Standardization Sector. https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14702&lang=en

@misc{259155ad3de64d9197656d8ca4e39bd9,

title = "Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics",

abstract = "Annex F2 describes the static semantic constraints of SDL-2010, the mapping to the abstract grammar and the transformations identified by the 'Model' clauses of Recommendations ITU-T Z.101, Z.102, Z.103, Z.104, Z.105 and Z.107, that are included by reference in Recommendation ITU-T Z.100. ",

author = "Edel Sherratt and Rick Reed and Andreas Prinz and \{v. L{\"o}wis\}, Martin and Michael Piefel and Reinhard Gotzhein and Robert Eschbach and Uwe Gl{\"a}sser and Ying Wang and Yuhong Zhao and Weilei Zhang and Bo Ai",

note = "Rick Reed and Edel Sherratt are responsible for the 2015, 2016, 2018, 2019 and 2021 versions of this document which also includes contributions by the authors listed above and by other authors over many years.",

year = "2021",

month = jul,

day = "28",

language = "English",

publisher = "International Telecommunication Union Telecommunication Standardization Sector",

type = "Other",

}

Sherratt, E, Reed, R, Prinz, A, v. Löwis, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Zhao, Y, Zhang, W & Ai, B 2021, Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics. International Telecommunication Union Telecommunication Standardization Sector. <https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14702&lang=en>

TY - GEN

T1 - Recommendation Z.100 Annex F2 (06/21)

T2 - Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics

AU - Sherratt, Edel

AU - Reed, Rick

AU - Prinz, Andreas

AU - v. Löwis, Martin

AU - Piefel, Michael

AU - Gotzhein, Reinhard

AU - Eschbach, Robert

AU - Glässer, Uwe

AU - Wang, Ying

AU - Zhao, Yuhong

AU - Zhang, Weilei

AU - Ai, Bo

N1 - Rick Reed and Edel Sherratt are responsible for the 2015, 2016, 2018, 2019 and 2021 versions of this document which also includes contributions by the authors listed above and by other authors over many years.

PY - 2021/7/28

Y1 - 2021/7/28

N2 - Annex F2 describes the static semantic constraints of SDL-2010, the mapping to the abstract grammar and the transformations identified by the 'Model' clauses of Recommendations ITU-T Z.101, Z.102, Z.103, Z.104, Z.105 and Z.107, that are included by reference in Recommendation ITU-T Z.100.

AB - Annex F2 describes the static semantic constraints of SDL-2010, the mapping to the abstract grammar and the transformations identified by the 'Model' clauses of Recommendations ITU-T Z.101, Z.102, Z.103, Z.104, Z.105 and Z.107, that are included by reference in Recommendation ITU-T Z.100.

M3 - Other contribution

PB - International Telecommunication Union Telecommunication Standardization Sector

ER -

Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics

Crynodeb

Mynediad at Ddogfen

Cysylltiad parhaol

Ôl bys

Dyfynnu hyn