Table of Contents

Intellectual Property Rights
1 Scope
2 References
3 Definitions and abbreviations
  3.1 Definitions
  3.2 Abbreviations
4 The standard description
5 The validation model
  5.1 Starting point
  5.2 Defining the validation model
  5.3 Processes formalizing
  5.4 Simplifying and improving the validation model
6 The validation procedure
  6.1 The validation method
7 The validation results
8 Conclusions
  8.1 Lessons to learn
Annex A: ANF-CTMI informal SDL taken from ETS 300 696
Annex B: First formal model of ANF-CTMI
Annex C: The formal model of ANF-CTMI after validation
History

Abstract

Describes the validation process and results. The objectives of the experiment are as follows: - to demonstrate that a validation model can be constructed for a supplementary service where the basic service is not specified in the original informal SDL; - to produce formal SDL that can be validated by automated tools but which is also understandable by readers who are not experts in SDL.

General Product Information

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