�1���� Context
�2����
Definitions
�3����
The advantage of using SDL with ASN.1 and MSC
������� 3.1���� Understanding an SDL specification
������� 3.2���� The application area of SDL+
������� 3.3���� Relation to implementation
PART� I�
�� THE� FRAMEWORK� METHODOLOGY
�4����
Overview of activities and an outline of the methodology
������� 4.1���� The Requirements Collection part of requirements capture
������� 4.2���� Analysis, Draft Design and Formalization
������� 4.3���� Validation and Testing
��� ����4.4���� Documentation
������� 4.5���� Parallelism of activities
�5����
Analysis activity
������� 5.1���� Starting Analysis
������� 5.2���� Questions during Analysis
������� 5.3���� Modelling approach for Analysis
������� 5.4���� Analysis steps
������� 5.5���� Conclusion of Analysis
�6����
Draft Design
������� 6.1���� Starting Draft Design
������� 6.2���� Draft Design steps
������� 6.3���� Conclusion of Draft Design
�7����
Formalization
������� 7.1���� Starting Formalization
������� 7.2���� Formalization steps
������� 7.3���� Conclusion of Formalization
�8����
Implementation
�9����
Validation
������� 9.1���� Characteristics of a validation model
������� 9.2���� Comparison of the validation model with the formalized model.
������� 9.3���� Issues in defining the validation of a specification
10���� Relationship with other
methodologies and models
������ 10.1���� Relationship with Recommendations I.130/Q.65 (3-stage method)
������ 10.2���� Relationship with OSI Layered modelling
������ 10.3���� Relationship with Q.1200-Series (IN) architecture and SIBs
������ 10.4���� Relationship with X.219 Remote operations (RO and ROSE)
������ 10.5���� Relationship with Recommendation X.722 (GDMO)
11���� Justification of approach
PART� II� �� AN� ELABORATION�
OF� THE� FRAMEWORK� METHODOLOGY
12���� Elaboration of the methodology
for Service Specification
������ 12.1���� Three-stage methodology: Stage 2 (Recommendation Q.65)
13���� Analysis steps
������ 13.1���� Inspection step
������ 13.2���� Classification step for object modelling
������ 13.3���� Classification step for use sequence modelling
14���� Draft Design steps
������ 14.1���� Component relationship modelling
������ 14.2���� Data and control flow modelling
������ 14.3���� Information structure modelling
������ 14.4�� ��Use sequence modelling
������ 14.5���� Process behaviour modelling
������ 14.6���� State overview modelling
15���� Formalization steps
������ 15.1���� Structure steps (S-steps)
������ 15.2���� Behaviour steps (B-steps)
������ 15.3���� Data steps (D-steps)
������ 15.4���� Type steps (T-steps)
������ 15.5���� Localization steps (L-steps)
16���� References