ITU-T Z 102-2016 Specification and Description Language C Comprehensive SDL-2010 (Study Group 17)《规范描述语言–综合SDL-2010(研究组17)》.pdf

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

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.102 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 Comprehensive SDL-2010 Recommendation ITU-T Z.102 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 for

3、mal 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

4、 syntax 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 Qualit

5、y 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-

6、T Z.102 (04/2016) i Recommendation ITU-T Z.102 Specification and Description Language Comprehensive SDL-2010 Summary Scope/Objective Recommendation ITU-T Z.102 defines the comprehensive features of the Specification and Description Language. Together with Recommendations ITU-T Z.100, ITU-T Z.101, IT

7、U-T Z.103, ITU-T Z.104, ITU-T Z.105, ITU-T Z.106 and ITU-T Z.107, this Recommendation is part of a reference manual for the language. The language defined in this document covers features of the language not included in Basic SDL-2010 in Recommendation ITU-T Z.101. These features provide comprehensi

8、ve coverage of abstract grammar of the language except some data features covered in ITU-T Z.104 (and ITU-T Z.107 for object-oriented data). Coverage The Specification and Description Language has concepts for behaviour, data description and (particularly for larger systems) structuring. The basis o

9、f 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. A distinctive feature of the Specification and Description Language is th

10、e graphical representation. This Recommendation covers additional features to Recommendation ITU-T Z.101. The concrete grammar given is the graphical representation. The alternative textual programming representation is given in Recommendation ITU-T Z.106. The concrete grammar in this Recommendation

11、 with Recommendations ITU-T Z.101 and ITU-T Z.104 (and ITU-T Z.107 for object-oriented data) gives a canonical syntax, which is extended in ITU-T Z.103 to a syntax that is easier to use. The features of the language defined in Recommendation ITU-T Z.102 make the language more comprehensive. Applicat

12、ions The Specification and Description Language is applicable within standard bodies and industry. The main application areas for which the Specification and Description Language has been designed are stated in ITU-T Z.100, but the language is generally suitable for describing reactive systems. The

13、range of applications is from requirement description to implementation. The features of the language defined in Recommendation ITU-T Z.102 allow more complex models to be defined than is practical with ITU-T Z.101, but without the features of Recommendation ITU-T Z.103 that make the language more c

14、oncise and informative. This Recommendation provides a basis for the features defined in Recommendation ITU-T Z.103, which (with ITU-T Z.104 for data and ITU-T Z.107 for object-oriented data) completes the main language feature set. History Edition Recommendation Approval Study Group Unique ID* 1.0

15、ITU-T Z.102 2011-12-22 17 11.1002/1000/11389 2.0 ITU-T Z.102 2016-04-29 17 11.1002/1000/12856 Keywords Specification and Description Language, SDL-2010, Comprehensive SDL-2010, canonical syntax, specialization, inheritance, context parameters, remote procedures, remote variables, state aggregation,

16、generic systems. _ * To access the Recommendation, type the URL 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.102 (04/2016) FOREWORD The International Telecommunicati

17、on Union (ITU) is the United Nations specialized 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 quest

18、ions and issuing Recommendations on them with 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

19、 on these topics. The approval of ITU-T Recommendations 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, t

20、he expression “Administration“ is used for 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 a

21、pplicability) and compliance with the Recommendation 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 wi

22、th the Recommendation is required of any party. 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 appli

23、cability of claimed Intellectual Property Rights, 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 imple

24、ment this Recommendation. However, implementers 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 me

25、ans whatsoever, without the prior written permission of ITU. Rec. ITU-T Z.102 (04/2016) iii Table of Contents Page 1 Scope and objective 1 1.1 Objective . 1 1.2 Application . 1 2 References . 1 3 Definitions 2 3.1 Terms defined elsewhere 2 3.2 Term defined in this Recommendation 2 4 Abbreviations an

26、d acronyms 2 5 Conventions 2 6 General rules . 2 6.1 Lexical rules UCS extended character set . 2 6.2 End terminator and comment . 3 6.3 Empty clause 3 6.4 Solid association symbol 3 6.5 The metasymbol is followed by and flow line symbols . 3 6.6 Visibility rules, names and identifiers additional sc

27、ope units . 3 6.7 Macro 3 7 Organization of Specification and Description Language specifications . 5 7.1 Framework 5 7.2 Package . 6 8 Structural concepts 7 8.1 Types, instances and gates 7 8.2 Type references and operation references 12 8.3 Context parameters . 12 8.4 Specialization . 18 9 Agents

28、. 23 9.1 System 24 9.2 Block . 24 9.3 Process 25 9.4 Procedure 25 10 Communication . 26 10.1 Channel . 26 10.2 Connection 26 10.3 Signal 26 10.4 Signal list area 27 10.5 Remote procedure . 27 10.6 Remote variable 31 iv Rec. ITU-T Z.102 (04/2016) Page 11 Behaviour 34 11.1 Start . 34 11.2 State 34 11.

29、3 Input 36 11.4 Priority Input 37 11.5 Continuous signal . 38 11.6 Enabling condition 39 11.7 Save 39 11.8 Spontaneous transition 39 11.9 Label (connector name) 40 11.10 Empty clause 40 11.11 State machine and composite state . 40 11.12 Transition 47 11.13 Action . 49 11.14 Statement lists . 51 11.1

30、5 Timer 59 12 Data . 60 12.1 Data definitions 60 12.2 Use of data 60 12.3 Active use of data . 60 13 Generic system definition . 61 13.1 Optional definition 62 13.2 Optional transition string 63 Rec. ITU-T Z.102 (04/2016) v Introduction Status/Stability This Recommendation is part of the ITU-T Z.100

31、 to ITU-T Z.107 series of Recommendations that give the complete language reference manual for SDL-2010. The text of this Recommendation is stable. For more details see Recommendation ITU-T Z.100. Rec. ITU-T Z.102 (04/2016) 1 Recommendation ITU-T Z.102 Specification and Description Language Comprehe

32、nsive SDL-2010 1 Scope and objective This Recommendation defines features of the Specification and Description Language that extend the features of the Basic Specification and Description Language defined in ITU-T Z.101 to comprehensively cover the abstract grammar of the language. A canonical concr

33、ete syntax is given to cover the abstract grammar. The abstract grammar defined in this document with the abstract grammar of the Basic Specification and Description Language comprehensively defines properties of the language except the details of data and expressions. This Recommendation also inclu

34、des features for inheritance of types, generic systems, macros and the handling of the Universal Multiple-Octet Coded Character Set. Together with ITU-T Z.100, ITU-T Z.101, ITU-T Z.103, ITU-T Z.104, ITU-T Z.105, ITU-T Z.106 and ITU-T Z.107, this Recommendation forms a reference manual for the langua

35、ge. 1.1 Objective The objective of this Recommendation is to define features of the Specification and Description Language additional to those features defined for Basic SDL-2010 so that the abstract grammar of all SDL-2010 except data and expressions is defined. As well as completing the abstract g

36、rammar, the features for the inheritance of types is added. The defined concrete syntax is a canonical form that closely matches the abstract grammar. While this makes it possible to use each of the features, a separate Recommendation on shorthand notation provides additional concrete grammar that m

37、akes SDL-2010 more practical to use. 1.2 Application This Recommendation is part of the reference manual for the Specification and Description Language. The part of the language defined by this Recommendation does not usually include shorthand notation or Model sections, so that a model written usin

38、g only Comprehensive SDL-2010 or Basic SDL-2010 is not as concise or as readable as one using the full language. Shorthand notation or Model sections in Comprehensive SDL-2010 are transformed into the canonical concrete syntax given for Comprehensive SDL-2010 or Basic SDL-2010 or the data and action

39、 language in SDL-2010. 2 References The following ITU-T Recommendations and other references contain provisions which, through reference in this text, constitute provisions of this Recommendation. At the time of publication, the editions indicated were valid. All Recommendations and other references

40、 are subject to revision; users of this Recommendation are therefore encouraged to investigate the possibility of applying the most recent edition of the Recommendations and other references listed below. A list of the currently valid ITU-T Recommendations is regularly published. The reference to a

41、document within this Recommendation does not give it, as a stand-alone document, the status of a Recommendation. ITU-T T.50 Recommendation ITU-T T.50 (1992), International Reference Alphabet (IRA) (Formerly International Alphabet No. 5 or IA5) Information technology 7-bit coded character set for inf

42、ormation interchange. ITU-T Z.100 Recommendation ITU-T Z.100 (2016), Specification and Description Language Overview of SDL-2010. 2 Rec. ITU-T Z.102 (04/2016) ITU-T Z.101 Recommendation ITU-T Z.101 (2016), Specification and Description Language Basic SDL-2010. ITU-T Z.103 Recommendation ITU-T Z.103

43、(2016), Specification and Description Language Shorthand notation and annotation in SDL-2010. ITU-T Z.104 Recommendation ITU-T Z.104 (2016), Specification and Description Language Data and action language in SDL-2010. ITU-T Z.105 Recommendation ITU-T Z.105 (2016), Specification and Description Langu

44、age SDL-2010 combined with ASN.1 modules. ITU-T Z.106 Recommendation ITU-T Z.106 (2016), Specification and Description Language Common interchange format for SDL-2010. ITU-T Z.107 Recommendation ITU-T Z.107 (2016), Specification and Description Language Object-oriented data in SDL-2010. ITU-T Z.111

45、Recommendation ITU-T Z.111 (2016), Notations and guidelines for the definition of ITU-T languages. ISO/IEC 10646 ISO/IEC 10646:2012, Information technology Universal Coded Character Set (UCS). 3 Definitions 3.1 Terms defined elsewhere This Recommendation uses the following terms defined elsewhere: t

46、he definitions of ITU-T Z.100 apply. 3.2 Term defined in this Recommendation None. 4 Abbreviations and acronyms This Recommendation uses the following abbreviations and acronyms: the abbreviations and acronyms defined in ITU-T Z.100 apply. 5 Conventions The conventions defined in ITU-T Z.100 apply,

47、which includes the conventions defined in ITU-T Z.111. Where an abstract or concrete syntax rule is defined in this Recommendation with the same name as a rule in ITU-T Z.101 the rule given here replaces the rule in ITU-T Z.101. Any Abstract grammar or Concrete grammar conditions, Semantics and Mode

48、l defined on a named rule in ITU-T Z.101 apply to the redefined rule, unless specifically defined otherwise in this Recommendation. Any contradiction between ITU-T Z.101 and this Recommendation is an error in the definition of SDL-2010 that needs to be resolved by further study. 6 General rules 6.1

49、Lexical rules UCS extended character set The use of the extended character set of UCS (see ISO/IEC 10646) is allowed. UCS includes the International Reference Version (IRV) characters (see ITU-T T.50 and ITU-T Z.101) as a subset. Rec. ITU-T Z.102 (04/2016) 3 If the UCS extended character set is used, the printing characters that are not defined by IRV are permitted to appear freely in a in a or within a . A printing character