ETR 298 : 20001
Current
The latest, up-to-date edition.
METHODS FOR TESTING AND SPECIFICATION (MTS) - SPECIFICATION OF PROTOCOLS AND SERVICES - HANDBOOK FOR SDL ASN.1 AND MSC DEVELOPMENT
Hardcopy , PDF
English
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
Provides guidance to reporters and Project Team experts in applying some methodological steps when developing functional specifications within European Telecommunications Standards (ETSs).
Committee |
MTS
|
DocumentType |
Standard
|
Pages |
77
|
PublisherName |
European Telecommunications Standards Institute
|
Status |
Current
|
EG 201 383 : 1.1.1 | METHODS FOR TESTING AND SPECIFICATION (MTS) - USE OF SDL IN ETSI DELIVERABLES - GUIDELINES FOR FACILITATING VALIDATION AND THE DEVELOPMENT OF CONFORMANCE TESTS |
EG 201 014 : 1.1.1 | METHODS FOR TESTING AND SPECIFICATION (MTS); ETSI STANDARDS-MAKING; TECHNICAL QUALITY CRITERIA FOR TELECOMMUNICATIONS STANDARDS |
TR 101 301 : 3.1.1 | TELECOMMUNICATIONS AND INTERNET PROTOCOL HARMONIZATION OVER NETWORKS (TIPHON) RELEASE 4; RELEASE DEFINITION; TIPHON RELEASE 4 DEFINITION |
TR 101 081 : 1.1.1 | METHODS FOR TESTING AND SPECIFICATION (MTS); STRATEGY FOR THE USE OF FORMAL SDL FOR DESCRIPTIVE PURPOSES IN ETSI PRODUCTS |
EG 202 107 : 1.1.1 | METHODS FOR TESTING AND SPECIFICATION (MTS) - PLANNING FOR VALIDATION AND TESTING IN THE STANDARDS-MAKING PROCESS |
TR 101 023-2 : 1.1.1 | METHODS FOR TESTING AND SPECIFICATION (MTS); APPLICATION OF OBJECT-ORIENTED SDL FEATURES IN B-ISDN SPECIFICATIONS |
EG 201 872 : 1.2.1 | METHODS FOR TESTING AND SPECIFICATIONS; METHODOLOGICAL APPROACH TO THE USE OF OBJECT-ORIENTATION DESIGN IN THE STANDARDS MAKING PROCESS |
ETS 300 414 : 20001 | METHODS FOR TESTING AND SPECIFICATION (MTS) - USE OF SDL IN EUROPEAN TELECOMMUNICATION STANDARDS RULES FOR TESTABILITY AND FACILITATING VALIDATION |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.