---

• CCITT Rec. Z.100 (11/1988) – SPECIFICATION AND DESCRIPTION LANGUAGE (SDL)
• TABLE OF CONTENTS
• 1 Introduction to SDL
  • 1.1 Introduction
  • 1.2 SDL grammars
  • 1.3 Basic definitions
  • 1.4 Presentation style
  • 1.5 Metalanguages
• 2 Basic SDL
  • 2.1 Introduction
  • 2.2 General rules
  • 2.3 Basic data concepts
  • 2.4 System structure
  • 2.5 Communication
  • 2.6 Behaviour
  • 2.7 Action
  • 2.8 Timer
  • 2.9 Examples
• 3 Structural concepts in SDL
  • 3.1 Introduction
  • 3.2 Partitioning
  • 3.3 Refinement
• 4 Additional concepts in SDL
  • 4.1 Introduction
  • 4.2 Macro
  • 4.3 Generic systems
  • 4.4 Asterisk state
  • 4.5 Multiple appearance of state
  • 4.6 Asterisk input
  • 4.7 Asterisk save
  • 4.8 Implicit transition
  • 4.9 Dash nextstate
  • 4.10 Service
  • 4.11 Continuous signal
  • 4.12 Enabling condition
  • 4.13 Imported and Exported value
• 5 Data in SDL
  • 5.1 Introduction
  • 5.2 The data kernel language
  • 5.3 Initial algebra model (informal description)
  • 5.4 Passive use of SDL data
  • 5.5 Use of data with variables
  • 5.6 Predefined data
• Appendix I – Theformal model of non-parameterised data types
  • I.1 Many-sorted algebras
  • I.2 Semantics of data type definitions
  • I.3 Derivation systems
  • I.4 Semantics of algebraic specifications