1 SDL Abstract Syntax Summary
1.1 Basic SDL
1.2 Structural Decomposition Concepts in SDL
1.3 Data in SDL
2
Domains for the Meta-Process Communication
2.1 SDL Process
Creation and Stopping
2.2 SDL Signal Communication
2.3 SDL Service Handling
2.4 SDL Timer Handling
2.5 Time Handling
2.6 Revealed Variable Handling
2.7 Common Domains
3
Domains for the Entity Information
3.1 The Type Descriptor
3.2 The Sort Descriptor
3.3 The Operator and Literal Descriptor
3.4 The Variable Descriptor
3.5 The View Descriptor
3.6 The Signal
Descriptor
3.7 The Process Descriptor
3.8 The Service Descriptor
3.9 The Procedure Descriptor
4
The Underlying System
4.1 System Processor
4.1.1 The Processor
4.1.2
Auxiliary Functions
4.2 View Processor
4.2.1 The Processor
4.3 Timer Processor
4.4 Informal Tick Processor
4.5 Path Processor
4.5.1 The Processor
4.6 Process Set Administrating Processor
4.7 Input-Port Processor
4.7.1 The Processor
4.7.2 Input Port Queue Auxiliary Functions
5
The SDL-Process and SDL-Service
5.1 The sdl-process Processor
5.2 The sdl-service Processor
5.3 Interpretation of a Procedure
5.4 Storage Handling
5.5 Interpretation of a Process, Service or Procedure Graph
5.6 Expression Evaluation
5.6.1 Ground Expression Evaluation
5.6.2 Active Expression Evaluation
5.7 Range Check and Range Condition Evaluation
6
Construction of Entity-dict and
Handling of Abstract Data Types
6.1 Construction of
Descriptors for Simple Objects
6.2 Handling of Abstract Data Types
6.2.1 Entry Functions
6.2.2 Equation Collection
6.2.3 Equivalence Class Generation and Equation
Evaluation
6.2.4 Term Reduction Map Generation
6.2.5 Wellformedness Checks
6.3 Selection of Consistent Subset
6.3.1 Removal of Non-Selected Substructures and
Processes
6.3.2 Subsignal Propagation
6.4 Construction of Communication Paths
6.4.1 Reachability Construction
6.4.2 Construction of Partial Reachabilities
6.4.3 Extraction of Input Signal Sets
6.4.4 Update of Descriptors with Reachabilities
6.5 Simple Information Extraction from Channels/Signal Routes
6.5.1 Information from All Channels/Signal
Routes
6.5.2 Information
from Non-Internal Channels/Signal Routes
7
General-Purpose Auxiliary Functions
7.1 Simple Identifier Handling
7.2 Selection of Definitions from Definition Sets
7.3 Simple Decomposition of Behaviour Graphs