�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