Table of Contents

Foreword
1 Scope
2 References
3 Definitions and abbreviations
  3.1 Definitions
  3.2 Abbreviations
4 Introduction
5 Formalization of SDL (with ASN.1 and MSC)
  5.1 Criteria to start formalization
  5.2 Formalization steps
  5.3 Structure steps (S-steps)
  5.4 Behaviour steps (B-steps)
  5.5 Data steps (D-steps)
  5.6 Results of formalization
  5.7 Criteria for adequate formalization
6 Examples
  6.1 Presentation of the PUMI example
  6.2 PUMI example: the stepwise formalization
Annex A: Overview of ETS 300 414
      A.1 Introduction
      A.2 Normative interfaces
      A.3 Selection of SDL concepts
      A.4 Selection of Message Sequence Chart concepts
      A.5 Selection of ASN.1 concepts
Annex B: Overview of methodology
      B.1 The methodology activities
      B.2 The requirement collection activity
      B.3 The classification activity
      B.4 The draft design activity
      B.5 The formalization activity
      B.6 The derivation of a validation model activity
      B.7 The documentation activity
Annex C (informative): List of rules of ETS 300 414 [1]
Annex D: List of rules in formalization
Annex E: Allowed symbols
Annex F: Bibliography
History

Abstract

Provides guidance to reporters and Project Team experts in applying some methodological steps when developing functional specifications within European Telecommunications Standards (ETSs).

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	European Telecommunications Standards Institute
Pages
ISBN
Committee	MTS