| ITU-T Z.100-series – Supplement on SDL+ methodology: Use of ITU System Design Languages |
 |
This Supplement is published as a Supplement to the ITU-T 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 and Z.160 to Z.170). This Supplement 1 to the ITU-T Z.100 series of Recommendations 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 will 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, and 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.
|
|
|
|
|
|
|
