ITU-T Z 100-2016 Specification and Description Language C Overview of SDL-2010 (Study Group 17)《规范描述语言–SDL概述-2010(研究组17)》.pdf

《ITU-T Z 100-2016 Specification and Description Language C Overview of SDL-2010 (Study Group 17)《规范描述语言–SDL概述-2010(研究组17)》.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 100-2016 Specification and Description Language C Overview of SDL-2010 (Study Group 17)《规范描述语言–SDL概述-2010(研究组17)》.pdf（68页珍藏版）》请在麦多课文档分享上搜索。

1、 I n t e r n a t i o n a l T e l e c o m m u n i c a t i o n U n i o n ITU-T Z.100 TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU (04/2016) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) Specification and Description Language (SDL)

2、 Specification and Description Language Overview of SDL-2010 Recommendation ITU-T Z.100 ITU-T Z-SERIES RECOMMENDATIONS LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS FORMAL DESCRIPTION TECHNIQUES (FDT) Specification and Description Language (SDL) Z.100Z.109 Application of forma

3、l description techniques Z.110Z.119 Message Sequence Chart (MSC) Z.120Z.129 User Requirements Notation (URN) Z.150Z.159 Testing and Test Control Notation (TTCN) Z.160Z.179 PROGRAMMING LANGUAGES CHILL: The ITU-T high level language Z.200Z.209 MAN-MACHINE LANGUAGE General principles Z.300Z.309 Basic s

4、yntax and dialogue procedures Z.310Z.319 Extended MML for visual display terminals Z.320Z.329 Specification of the man-machine interface Z.330Z.349 Data-oriented human-machine interfaces Z.350Z.359 Human-machine interfaces for the management of telecommunications networks Z.360Z.379 QUALITY Quality

5、of telecommunication software Z.400Z.409 Quality aspects of protocol-related Recommendations Z.450Z.459 METHODS Methods for validation and testing Z.500Z.519 MIDDLEWARE Processing environment architectures Z.600Z.609 For further details, please refer to the list of ITU-T Recommendations. Rec. ITU-T

6、Z.100 (04/2016) i Recommendation ITU-T Z.100 Specification and Description Language Overview of SDL-2010 Summary Recommendation ITU-T Z.100 introduces the Specification and Description Language, intended for unambiguous specification and description of telecommunication systems. The scope of the Spe

7、cification and Description Language is elaborated in clause 1. The ITU-T Z.100 series for SDL-2010 together form a reference manual for the language. The objective of this Recommendation is to provide an introductory overview to the language and the rest of the reference manual contained in the ITU-

8、T Z.100 series for SDL-2010. The language introduced in this document is more fully defined in other Recommendations in the ITU-T Z.100 series for SDL-2010. Coverage The Specification and Description Language has concepts for behaviour, data description and (particularly for larger systems) structur

9、ing. 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 the Specification and Description La

10、nguage are elaborated in the respective main clauses of Recommendations ITU-T Z.101 to ITU-T Z.105 and ITU-T Z.107. A distinctive feature of the Specification and Description Language is the graphical representation. This Recommendation covers the conventions used to define the Specification and Des

11、cription Language in the ITU-T Z.100 series, rules for conformance and guidance for maintenance of the language. Applications Specification and Description Language is applicable within standard bodies and industry. The main application areas for which the Specification and Description Language has

12、been designed are stated in clause 1.2, but the Specification and Description Language is generally suitable for describing reactive systems. The range of application is from requirement description to implementation. History Edition Recommendation Approval Study Group Unique ID* 1.0 ITU-T Z.100 198

13、4-10-19 11.1002/1000/2222 1.1 ITU-T Z.100 Annex A 1984-10-19 11.1002/1000/6664 1.2 ITU-T Z.100 Annex B 1984-10-19 11.1002/1000/6665 1.3 ITU-T Z.100 Annex C1 1984-10-19 11.1002/1000/6666 1.4 ITU-T Z.100 Annex C2 1984-10-19 11.1002/1000/6667 1.5 ITU-T Z.100 Annex D 1984-10-19 11.1002/1000/6668 2.0 ITU

14、-T Z.100 1987-09-30 X 11.1002/1000/10954 2.1 ITU-T Z.100 Annex A 1988-11-25 11.1002/1000/6669 2.2 ITU-T Z.100 Annex B 1988-11-25 11.1002/1000/6670 2.3 ITU-T Z.100 Annex C1 1988-11-25 11.1002/1000/6671 2.4 ITU-T Z.100 Annex C2 1988-11-25 11.1002/1000/6672 _ * To access the Recommendation, type the UR

15、L http:/handle.itu.int/ in the address field of your web browser, followed by the Recommendations unique ID. For example, http:/handle.itu.int/11.1002/1000/11830-en. ii Rec. ITU-T Z.100 (04/2016) 2.5 ITU-T Z.100 Annex D 1988-11-25 X 11.1002/1000/3646 2.6 ITU-T Z.100 Annex E 1988-11-25 11.1002/1000/6

16、673 2.7 ITU-T Z.100 Annex F1 1988-11-25 X 11.1002/1000/3647 2.8 ITU-T Z.100 Annex F2 1988-11-25 X 11.1002/1000/3648 2.9 ITU-T Z.100 Annex F3 1988-11-25 X 11.1002/1000/3649 3.0 ITU-T Z.100 1988-11-25 11.1002/1000/3153 3.1 ITU-T Z.100 Annex C 1993-03-12 X 11.1002/1000/3155 3.2 ITU-T Z.100 Annex D 1993

17、-03-12 X 11.1002/1000/3156 3.3 ITU-T Z.100 Annex F1 1993-03-12 X 11.1002/1000/3157 3.4 ITU-T Z.100 Annex F2 1993-03-12 X 11.1002/1000/3158 3.5 ITU-T Z.100 Annex F3 1993-03-12 X 11.1002/1000/3159 3.6 ITU-T Z.100 App. I 1993-03-12 X 11.1002/1000/3160 3.7 ITU-T Z.100 App. II 1993-03-12 X 11.1002/1000/3

18、161 4.0 ITU-T Z.100 1993-03-12 X 11.1002/1000/3154 4.1 ITU-T Z.100 (1993) Add. 1 1996-10-18 10 11.1002/1000/3917 5.0 ITU-T Z.100 1999-11-19 10 11.1002/1000/4764 5.1 ITU-T Z.100 (1999) Cor. 1 2001-10-29 17 11.1002/1000/5567 6.0 ITU-T Z.100 2002-08-06 17 11.1002/1000/6029 6.1 ITU-T Z.100 (2002) Amd. 1

19、 2003-10-29 17 11.1002/1000/7091 6.2 ITU-T Z.100 (2002) Cor. 1 2004-08-29 17 11.1002/1000/356 7.0 ITU-T Z.100 2007-11-13 17 11.1002/1000/9262 8.0 ITU-T Z.100 2011-12-22 17 11.1002/1000/11387 8.1 ITU-T Z.100 Annex F1 2000-11-24 10 11.1002/1000/5239 8.2 ITU-T Z.100 Annex F2 2000-11-24 10 11.1002/1000/

20、5576 8.3 ITU-T Z.100 Annex F3 2000-11-24 10 11.1002/1000/5577 9.0 ITU-T Z.100 2016-04-29 17 11.1002/1000/12846 9.4 ITU-T Z.100 Annex F1 2015-01-13 17 11.1002/1000/12354 9.5 ITU-T Z.100 Annex F2 2015-01-13 17 11.1002/1000/12355 9.6 ITU-T Z.100 Annex F3 2015-01-13 17 11.1002/1000/12356 Keywords Specif

21、ication and Description Language, SDL-2010, overview, conventions, grammars, type concept, presentation, tool compliance, system behaviour, system data description, system structuring Rec. ITU-T Z.100 (04/2016) iii FOREWORD The International Telecommunication Union (ITU) is the United Nations specia

22、lized agency in the field of telecommunications, information and communication technologies (ICTs). The ITU Telecommunication Standardization Sector (ITU-T) is a permanent organ of ITU. ITU-T is responsible for studying technical, operating and tariff questions and issuing Recommendations on them wi

23、th a view to standardizing telecommunications on a worldwide basis. The World Telecommunication Standardization Assembly (WTSA), which meets every four years, establishes the topics for study by the ITU-T study groups which, in turn, produce Recommendations on these topics. The approval of ITU-T Rec

24、ommendations is covered by the procedure laid down in WTSA Resolution 1. In some areas of information technology which fall within ITU-Ts purview, the necessary standards are prepared on a collaborative basis with ISO and IEC. NOTE In this Recommendation, the expression “Administration“ is used for

25、conciseness to indicate both a telecommunication administration and a recognized operating agency. Compliance with this Recommendation is voluntary. However, the Recommendation may contain certain mandatory provisions (to ensure, e.g., interoperability or applicability) and compliance with the Recom

26、mendation is achieved when all of these mandatory provisions are met. The words “shall“ or some other obligatory language such as “must“ and the negative equivalents are used to express requirements. The use of such words does not suggest that compliance with the Recommendation is required of any pa

27、rty. INTELLECTUAL PROPERTY RIGHTSITU draws attention to the possibility that the practice or implementation of this Recommendation may involve the use of a claimed Intellectual Property Right. ITU takes no position concerning the evidence, validity or applicability of claimed Intellectual Property R

28、ights, whether asserted by ITU members or others outside of the Recommendation development process. As of the date of approval of this Recommendation, ITU had not received notice of intellectual property, protected by patents, which may be required to implement this Recommendation. However, implemen

29、ters are cautioned that this may not represent the latest information and are therefore strongly urged to consult the TSB patent database at http:/www.itu.int/ITU-T/ipr/. ITU 2016 All rights reserved. No part of this publication may be reproduced, by any means whatsoever, without the prior written p

30、ermission of ITU. iv Rec. ITU-T Z.100 (04/2016) Table of Contents Page 1 Scope . 1 1.1 Objective . 1 1.2 Application . 1 1.3 System specification . 2 2 References . 2 3 Definitions 3 4 Abbreviations and acronyms 4 5 Conventions 5 5.1 Specification and Description Language grammars . 5 5.2 Basic defi

31、nitions . 5 5.3 Presentation style 7 5.4 Choice of grammar rules and rule names . 8 6 Tool compliance . 8 6.1 Definitions of valid tools 8 6.2 Conformance 9 7 Allocation of features of SDL-2010 to Recommendations 9 7.1 Basic SDL-2010 ITU-T Z.101 9 7.2 Comprehensive SDL-2010 ITU-T Z.102 9 7.3 Shortha

32、nd notation and annotation in SDL-2010 ITU-T Z.103 . 9 7.4 Data and action language in SDL-2010 ITU-T Z.104 10 7.5 SDL-2010 combined with ASN.1 modules ITU-T Z.105 10 7.6 Common Interchange Format for SDL-2010 ITU-T Z.106 10 7.7 Object-oriented data in SDL-2010 ITU-T Z.107 10 Annex A Abstract syntax

33、 index 11 Annex B BNF syntax index 17 Annex C Compatibility . 35 Annex D Data defined in the package Predefined 36 D.1 Rules for “=“ (equal), “/=“ (not equal), comparison, data signatures and literals . 36 D.2 Package Predefined overview . 36 Annex E Reserved for examples . 45 Annex F Formal definit

34、ion 46 Appendix I Status of ITU-T Z.100, related documents and Recommendations . 47 Appendix II Guidelines for the maintenance of SDL-2010 48 II.1 Maintenance of SDL-2010 . 48 Rec. ITU-T Z.100 (04/2016) v Page Appendix III Evolution of the Specification and Description Language 51 III.1 Versions of

35、the Specification and Description Language 51 III.2 Differences between SDL-88 and SDL-92 . 51 III.3 Differences between SDL-92 and SDL-2000 . 52 III.4 Differences between SDL-2000 and SDL-2010 . 54 Bibliography. 56 vi Rec. ITU-T Z.100 (04/2016) Introduction Status/Stability This Recommendation is a

36、n introduction to the ITU-T Z.100 series of Recommendations for SDL-2010 that give the complete language reference manual for SDL-2010. The main text of this Recommendation is stable. Appendix I records the status of the Recommendation series, and should be updated as further studies are completed.

37、The current language definition is based on wide user experience, recent additional user needs, clarifications and corrections. SDL-2010 as defined in this series of Recommendations should meet most user needs, and is based on a previous version called SDL-2000. SDL-2000 contained a reference data t

38、ype (object type) feature, but these had a number of complexities including dynamic binding, and tool support for these was lacking. It was therefore decided that this feature should be removed and further study took place leading to a further Recommendation in 2012 plus updates to other Recommendat

39、ions in the ITU-T Z.100 series for a revised object-oriented data in SDL-2010 using a reference data type feature. The main text is accompanied by appendices and annexes: Appendix I Status of ITU-T Z.100, related documents and Recommendations; Appendix II Guidelines for the maintenance of SDL-2010;

40、Appendix III Evolution of the Specification and Description Language; Annex A Abstract syntax index; Annex B BNF syntax index; Annex C Compatibility; Annex D Data defined in the package Predefined; Annex E Reserved for examples. The following Annex is published separately: Annex F Formal definition.

41、 Annex F is the formal definition for the language and provides a more formal definition for SDL-2010 that provides more detail on issues not covered by the rest of the ITU-T Z.100 series for SDL-2010. If there is an inconsistency between Annex F and ITU-T Z.100 or other parts of the ITU-T Z.100 ser

42、ies for SDL-2010, there is an error in the ITU-T Z.100 series Recommendations and further study is needed to determine the correction. The ITU-T Z.100 series has also an independently published supplement: ITU-T Z.Sup1: ITU-T Z.100 series - Supplement on SDL+ methodology: Use of ITU System Design La

43、nguages. ITU-T Z.Sup1 is based on a methodology for an earlier version of the language. The methodology is still applicable because the earlier language features that are used all exist in SDL-2010. The current language has some additional features that are not fully exploited by ITU-T Z.Sup1. Assoc

44、iated work One method for usage within standards is described in Recommendation ITU-T Q.65. A recommended strategy for introducing a formal description technique like the Specification and Description Language in standards is available in Recommendation ITU-T Z.110. The use of the Specification and

45、Description Language is also recommended in Recommendation ITU-T Z.450, Quality aspects of protocol-related Recommendations. For references to additional material on the Specification and Description Language, and information on industrial usage, see http:/www.sdl-forum.org. Rec. ITU-T Z.100 (04/201

46、6) vii Background Different versions of the Specification and Description Language have been recommended by ITU-T since 1976. The SDL-2010 version is a revision of SDL-2000, the last edition of which was published in 2007. SDL-2000 was initially published in Recommendation ITU-T Z.100 (1999) as a re

47、vision of Recommendation ITU-T Z.100 (1993) incorporating Addendum 1 to Recommendation ITU-T Z.100 (1996) and parts of Recommendation ITU-T Z.105 (1995). Recommendation ITU-T Z.100 (2002) was a technical update of Recommendation ITU-T Z.100 (1999) that incorporated a number of technical corrections

48、and amendments, and without the textual phrase alternative syntax, which had been moved to Recommendation ITU-T Z.106 (2002). Compared to the Specification and Description Language as defined in 1992, the versions defined in SDL-2000 and SDL-2010 are extended in the areas of object-oriented data, ha

49、rmonization of a number of features to make the language simpler and features to enhance the usability of the Specification and Description Language with other languages such as ASN.1 and UML. Other minor modifications have been included. Though care has been taken not to invalidate existing documents using the Specification and Description Language as defined in 1992, it is possible some changes require some descriptions to be updated to use this version. Det