�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