1 Conditions not Applied in Types
2
Abstract Syntax Representing Concrete Syntax
3
Internal Domains
3.1 Description of Descriptordict
3.1.1 Description of Entity attributes
3.1.2 Alias Quals
3.2 Description of Commondict
3.3 Description of Localdict
3.4 Other Domains
4
Main Functions
5
Transformations
5.1 Forming AS0
5.2 Replacing Definition References
5.3 Normalizing the Graphs
5.4 Inclusion of Predefined Package
5.5 Transformation of Generic Systems
5.6 Package Inclusion
5.7 Auxiliary Transformations 1
5.8 Full Qualifiers
5.8.1 Main Function
5.8.2 Building the Scope
5.8.3 Packages
5.8.4 Transforming Scopeunits
5.8.4.1 Main Functions
5.8.4.2 System Definition
5.8.4.3 Block Definition
5.8.4.4 Process Definition
5.8.4.5 Service Definition
5.8.4.6 System Type
5.8.4.7 Block Type
5.8.4.8 Process Type
5.8.4.9 Service Type
5.8.4.10 Procedure
5.8.4.11 Gate Definitions
5.8.4.12 Deriving Formal
Parameters
5.8.4.13 Formal Context Parameters
5.8.4.14 Specialization
5.8.4.15 Virtual Definitions
5.8.5 Transforming Non-scopeunits
5.8.5.1 Main Function
5.8.5.2 Extending the Scope According to Formal
Constraints
5.8.5.3 Sort Generators
5.8.5.4 Ordering
5.8.5.5 Data
5.8.5.6 Synonyms
5.8.5.7 Remote Variables
5.8.5.8 Remote Procedures
5.8.5.9 Variables
5.8.5.10 Timer Definitions
5.8.5.11 Signals
5.8.5.12 Signal Lists
5.8.5.13 Signal Routes
5.8.5.14 Channels
5.8.5.15 Non-definitions
5.8.5.15.1 Imported
Variable specifications
5.8.5.15.2 Imported
Procedure Specifications
5.8.5.15.3 Connections
5.8.6
Transformation of Expressions
5.8.6.1 Identifiers
5.8.6.2 operators
5.8.6.3 Conditional
Expressions
5.8.6.4 Other Expressions
5.8.7 Elaboration of Operator, Procedure,
Service and Process Graph
5.8.7.1 Elaboration of States
5.8.7.2 Transformation of
Action Statements
5.8.7.2.1 Elaboration of
Output Nodes
5.8.7.2.2 Elaboration of
Create Nodes
5.8.7.2.3 Elaboration of Call
Nodes
5.8.7.2.4 Elaboration of Decision Nodes
5.9 Implicit Specialization of Global Procedures
5.10 Instances
5.11 Removal of Types
5.12 Move of Definitions in Packages to the system level
5.13 Expansion of Channel Substructures
5.14 Removal of Asterisk
5.15 Insertion of Implicit Transitions
5.16 Transformation of Via All
5.17 Removal of Free actions
5.18 Expansion of Dash Nextstate
5.19 Insertion of nil Parameters
5.20 Removal of Synonyms
5.21 Removal of Priority Input
5.22 Expansion of Continuous Signal
5.23 Expansion of Enabling Condition
5.24 Generation of Atomic Actions
5.25 Transformation of Import/Export
6
Global Functions
7
AS0 to AS1 transformation
7.1 Basic SDL
7.2 Structural Decomposition Concepts in SDL
7.3 Data in SDL
7.4 Auxiliary Functions
8
Generation of Auxiliary Information
9
Informal Functions
10 Tree Modification function