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