TR 101 034 : 1.1.1

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

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.