Table of Contents

Foreword
Introduction
1 Scope
2 References
3 Domains, notation, abbreviations
  3.1 Domains
  3.2 Functions and operators
  3.3 Notation
  3.4 Labelled transition systems (LTS)
  3.5 Abbreviations
4 Conceptual models for SDL and TTCN
  4.1 Conceptual model for SDL
  4.2 Conceptual model for TTCN
5 Common Semantics Representation (CSR)
  5.1 Introduction
  5.2 Definitions
  5.3 Basic process
  5.4 Timer process
  5.5 Input port process
  5.6 Process instance
  5.7 Module process
  5.8 Path process
  5.9 System
Annex A: Introduction to the CSR
      A.1 Labelled Transition Systems
      A.2 Use of inference rules
      A.3 Usage of the CSR
Annex B: Definition of the transformations
      B.1 The identification of the range
      B.2 Transformation of SDL
      B.3 Transformation of TTCN
Annex C: Examples
      C.1 Introduction
      C.2 SDL to CSR
      C.3 TTCN to CSR
History

Abstract

Ensuring correct mapping between the TTCN and SDL notations.

General Product Information

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