ITU-T Z.100 ANNEX F1
Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview
active, Most Current
Buy Now
| Organization: | ITU-T |
| Publication Date: | 1 January 2015 |
| Status: | active |
| Page Count: | 36 |
scope:
Preface
The formal definition of SDL-2010 provided in this annex is a precise language definition which supplements the definition given in the Recommendation text. It is for use by those requiring a very precise definition of SDL-2010, such as maintainers of the SDL-2010 language, designers of SDL-2010 tools and users of the SDL-2010 language.
The formal definition consists of three annexes:
Annex F1 This annex 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 contains an introduction to the Abstract State Machine (ASM) formalism, which is used to define the SDL-2010 semantics.
Annex F2 This annex describes the static semantic constraints of SDL-2010, as well as the transformations identified by the 'Model' sections of the ITU-T Z.100 series for SDL-2010.
Annex F3 This annex defines the dynamic semantics of SDL-2010.
Document History
June 1, 2021
(Pre-Published) Specification and Description Language – Overview of SDL-2010
The purpose of recommending the Specification and Description Language is to provide a language for unambiguous specification and description of the behaviour of telecommunication systems. The...
June 1, 2021
Specification and Description Language – Overview of SDL-2010 Annex F2: SDL-2010 formal definition: Static semantics
A description is not available for this item.
June 1, 2021
Specification and Description Language – Overview of SDL-2010 Annex F3: SDL-2010 formal definition: Dynamic semantics
A description is not available for this item.
October 1, 2019
(Pre-Published) Specification and Description Language – Overview of SDL 2010
The purpose of recommending the Specification and Description Language is to provide a language for unambiguous specification and description of the behaviour of telecommunication systems. The...
October 1, 2019
Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview
A description is not available for this item.
October 1, 2019
Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics
A description is not available for this item.
October 1, 2019
Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics
A description is not available for this item.
November 1, 2018
Specification and Description Language – Overview of SDL-2010 Annex F3: SDL-2010 formal definition: Dynamic semantics
FOREWORD
The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The ITU...
November 1, 2018
Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview
FOREWORD
The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The ITU...
November 1, 2018
Specification and Description Language – Overview of SDL-2010 Annex F2: SDL-2010 formal definition: Static semantics
FOREWORD
The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The ITU...
October 1, 2016
Specification and Description Language - Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview
Preface
The formal definition of SDL-2010 provided in this annex is a precise language definition, which supplements the definition given in the Recommendation text. It is for use by those requiring...
October 1, 2016
Specification and Description Language –Overview of SDL-2010 Annex F2: SDL-2010 formal definition: Static semantics
The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The ITU...
October 1, 2016
Specification and Description Language – Overview of SDL-2010 Annex F3: SDL-2010 formal definition: Dynamic semantics
FOREWORD
The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The ITU...
April 1, 2016
Specification and Description Language – Overview of SDL-2010
The purpose of recommending the Specification and Description Language is to provide a language for unambiguous specification and description of the behaviour of telecommunication systems. The...
April 1, 2015
Specification and Description Language implementer's guide – Version 2.0.2
The Guide records the resolution of defects and maintenance in the following categories as described in Rec. ITU-T Z.100 Appendix II Guidelines for maintenance of the Specification and Description...
January 1, 2015
Specification and Description Language – Overview of SDL-2010 Annex F3: SDL-2010 formal definition: Dynamic semantics
A description is not available for this item.
ITU-T Z.100 ANNEX F1
January 1, 2015
Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview
Preface
The formal definition of SDL-2010 provided in this annex is a precise language definition which supplements the definition given in the Recommendation text. It is for use by those requiring...
September 1, 2013
Specification and Description Language implementer's guide – Version 2.0.1
A description is not available for this item.
December 1, 2011
Specification and Description Language – Overview of SDL-2010
The purpose of recommending the Specification and Description Language is to provide a language for unambiguous specification and description of the behaviour of telecommunication systems. The...
November 1, 2007
Specification and Description Language (SDL)
A description is not available for this item.
August 1, 2004
Specification and Description Language (SDL) Corrigendum 1: SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Specification and Description Language (SDL)
A description is not available for this item.
October 1, 2003
Specification and Description Language (SDL) Amendment 1: Backwards compatibility and compliance SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Specification and Description Language (SDL)
A description is not available for this item.
August 1, 2002
Specification and Description Language (SDL) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Specification and Description Language (SDL)
A description is not available for this item.
October 1, 2001
Specification and Description Language (SDL) Series Z: Languages and General Software Aspects for Telecommunication Systems Formal Description Techniques (FDT) - Specification and Description Language (SDL)
A description is not available for this item.
November 1, 2000
Specification and Description Language (SDL) Annex F2: SDL Formal Definition: Static Semantics Series Z: Languages and General Software Aspects for Telecommunication Systems Formal Description Techniques (FDT) - Specification and Description Language (SDL)
A description is not available for this item.