|
Summary:
|
This Supplement is published as a Supplement to the Z.100 Series for ITU System Design Languages (that is, Recommendations ITU-T Z.100 to Z.107, Z.109, Z.110, Z.120, Z.121, Z.150, Z.151, Z.160 to Z.170). It outlines a methodology (called SDL+) for the use of these languages in combination, in particular where the ITU Specification and Description Language is used.
This Supplement covers the following topics:
1) Terminology definitions and background material on the use and application of the ITU Specification and Description Language and related ITU System Design Languages;
2) An overview of the methodology (clause 4);
3) More detailed descriptions of:
a) Analysis of the requirements (clause 5);
b) Draft Design and investigation of the application (clause 6);
c) Formalization of the application into a model of how an application behaves (clause 7);
d) Implementation issues (clause 8);
e) Validation (clause 9);
4) Relationship with other languages and techniques;
5) An elaboration of the methodology for service specification.
This Supplement is not exhaustive. The intention is that users of SDL+ incorporate it in their overall methodologies, and tailor it for their application systems and specific needs. In particular, this Supplement does not cover the issues of derivation of an implementation from the specification or the testing of systems in detail. In the case of testing, it is expected that this be covered by a methodology dealing with the generation of tests for standards or products based on SDL+.
The methodology is a framework to be elaborated for the context of actual use. This Supplement has two parts. In Part I the framework is explained as an overview in clause 4, with a more detailed description of the main parts in clauses 5, 6 and 7. The general framework is then specialized for the case of services specification in Part II starting at clause 12. The parts from clauses 5, 6 and 7 are elaborated in clauses 13, 14 and 15. In this specialization some choices of approach have been made. Many of the details given in clauses 13, 14 and 15 can be used when the general framework is elaborated for other contexts and other choices.
|
