ETR 071 : 20001

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

Ensuring correct mapping between the TTCN and SDL notations.