M00042755
New product
METHODS FOR TESTING AND SPECIFICATION (MTS); GUIDELINES FOR THE USE OF FORMAL SDL AS A DESCRIPTIVE TOOL
European Telecommunications Standards Institute
In stock
Warning: Last items in stock!
Availability date: 11/06/2021
Intellectual Property Rights
Foreword
1 Scope
2 References
3 Definitions and abbreviations
3.1 Definitions
3.2 Abbreviations
4 Introduction
5 Using specification languages in protocol standards
5.1 Introduction
5.2 Layered protocols
5.3 Developing a protocol specification
6 Naming conventions
6.1 General
6.2 SDL and MSC
6.3 Data types
7 Presentation and layout of diagrams
7.1 The general flow of behaviour across a page
7.2 Behaviour covering more than one page
7.3 Text extension symbols
7.4 Alignment and orientation of symbols
7.5 Structuring behaviour descriptions
8 Using procedures, operations and macros
8.1 Procedures
8.2 Operations
8.3 Using macros
9 Using decisions
9.1 Decisions
9.2 Use of options rather than decisions
9.3 Flow control statements
10 System structure, communication and addressing
10.1 System structure
10.2 Minimising the SDL model
10.3 Avoiding repetition by using SDL types
10.4 Interfaces
10.5 Diagrams showing relationships
10.6 Structure diagrams using interfaces between agents
10.7 Communication and Addressing
10.8 Gates and implicit channels
10.9 Other structuring mechanisms
11 Specification and use of data
11.1 Specifying messages
11.2 Specifying data that is internal to the SDL model
12 Using Message Sequence Charts (MSC)
12.1 Introduction
12.2 Relationship between MSC and SDL
12.3 Presentation and layout
12.4 Naming and scope
12.5 MSC document
12.6 Structuring
12.7 Data
12.8 Message
12.9 Condition
12.10 Action
12.11 Timer
12.12 Control Flow
12.13 Time
12.14 General ordering and coregion
12.15 Relationship between MSC and UML Sequence Diagrams
Annex A (informative): Reserved words
A.1 SDL
A.2 MSC
A.3 ASN.1
A.4 UML
Annex B (informative): Summary of guidelines
Annex C (informative): Bibliography
History
Ascertains a set of guidelines for the formal use of Specification and Description Language (SDL) for descriptive, rather than detailed design, purposes. It also contains some guidance on the use of Message Sequence Charts (MSC), Abstract Syntax Notation 1 (ASN.1) and the Unified Modeling Language (UML) when used in conjunction with SDL.
Published | |
Document Type | Standard |
Status | Current |
Publisher | European Telecommunications Standards Institute |
Pages | |
ISBN | |
Committee | MTS |