Committed to connecting the world

  •  
wtisd

ITU-T Recommendations

Search by number:
Others:
Skip Navigation Links
Content search
Advanced search
Provisional name
Equivalent number
Formal description
Study Groups tree viewExpand Study Groups tree view

ITU-T Z.100 Annex F3 (11/2000)

عربي | 中文 | English | Español | Français | Русский
SDL formal definition: Dynamic semantics
Scope-objectiveThis Recommendation defines SDL (Specification and Description Language) intended for unambiguous specification and description of telecommunication systems. The scope of SDL is elaborated in clause 1. This Recommendation is a reference manual for the language.CoverageSDL has concepts for behaviour, data description and (particularly for larger systems) structuring. The basis of behaviour description is extended finite state machines communicating by messages. Data description is based on data types for values and objects. The basis for structuring is hierarchical decomposition and type hierarchies. These foundations of SDL are elaborated in the respective main clauses of this Recommendation. A distinctive feature of SDL is the graphical representation.ApplicationsSDL is applicable within standard bodies and industry. The main applications areas for which SDL has been designed are stated in 1.2, but SDL is generally suitable for describing reactive systems. The range of application is from requirement description to implementation.Status/StabilityThis Recommendation is the complete language reference manual supported by guidelines for its usage in Supplement 1. Annex F gives a formal definition of SDL semantics. The main text of this Recommendation is stable and needs to be issued immediately to meet market needs, but further study is required to complete Annex F. Appendix I records the status of ITU-T Rec.Z.100, and should be updated as further studies are completed. Although further language extensions are anticipated in the future, SDL-2000 as defined in this Recommendation should meet most user needs for some years. The current version is based on wide user experience of SDL and recent additional user needs.The main text is accompanied by annexes:? Annex A Index of non-terminals? Annex B Reserved for future use (Annex B (03/93) is no longer valid)? Annex C Reserved for future use (Annex C (03/93) is no longer in force)? Annex D SDL predefined data? Annex E Reserved for examples? Annex F SDL Formal Definition (published separately)? Appendix I Status of ITU-T Rec. Z.100, related documents and Recommendations? Appendix II Guidelines for the maintenance of SDL? Appendix III Systematic conversion of SDL-92 to SDL-2000ITU-T Rec. Z.100 has also an independently published supplement:? Z.100 Supplement 1 SDL+ methodology: use of MSC and SDL (with ASN.1)Associated workOne method for SDL usage within standards is described in ITU-T Rec. Q.65. A recommended strategy for introducing a formal description technique like SDL in standards is available in ITU-T Rec. Z.110. For references to additional material on SDL, and information on industrial usage of SDL, see http://www.sdl-forum.org.
Citation: https://handle.itu.int/11.1002/1000/5577
Series title: Z series: Languages and general software aspects for telecommunication systems
  Z.100-Z.199: Formal description techniques (FDT)
  Z.100-Z.109: Specification and Description Language (SDL)
Approval date: 2000-11-24
Approval process:TAP
Status: Superseded
Observation:Published in English only
Maintenance responsibility: ITU-T Study Group 17
Further details: Patent statement(s)