---

• UNION INTERNATIONALE DES TÉLÉCOMMUNICATIONS Z.100 Annex F1 (11/1988) ANNEX F1 TO RECOMMENDATION Z.100: SDL FORMAL DEFINITION
• CONTENTS OF FASCICLE X.3 OF THE BLUE BOOK
• Contents
• 1 Preface
• 2 Motivation
  • 2.1 The Meta Language
• 3 Modelling Technique
  • 3.1 Static Semantics
  • 3.2 The Dynamic Semantics
  • 3.3 Example
  • 3.4 Physical Structure of The Formal Definition
• 4 How to Use the Formal Definition
  • 4.1 The SDL Users
  • 4.2 The Implementors
• 5 Introduction to Meta-IV
  • 5.1 General Structure
  • 5.2 Function Definitions
  • 5.3 Variable Definitions
  • 5.4 Domains
  • 5.4.1 Synonyms
  • 5.4.2 Unnamed Trees
  • 5.4.3 Branching Constructs
  • 5.4.4 Elementary domains
  • 5.4.5 Set Domains
  • 5.4.6 List Domains
  • 5.4.7 Map Domains
  • 5.4.8 Pid Domains
  • 5.4.9 Reference Domains
  • 5.4.10 Optional Domains
  • 5.5 The let and def Constructs
  • 5.7 Auxiliary Statements
  • 5.8 Deviations from the notation used in the Formal Definition of CHILL
  • 5.9 Example: Demon game specified in Meta-IV