ITU-T Z 103-2016 Specification and Description Language C Shorthand notation and annotation in SDL-2010 (Study Group 17)《规范描述语言–SDL的速记符号和标注-2010(研究组17)》.pdf

《ITU-T Z 103-2016 Specification and Description Language C Shorthand notation and annotation in SDL-2010 (Study Group 17)《规范描述语言–SDL的速记符号和标注-2010(研究组17)》.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 103-2016 Specification and Description Language C Shorthand notation and annotation in SDL-2010 (Study Group 17)《规范描述语言–SDL的速记符号和标注-2010(研究组17)》.pdf（52页珍藏版）》请在麦多课文档分享上搜索。

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.103 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 Shorthand notation and annotation in SDL-2010 Recommendation ITU-T Z.103 ITU-T Z-SERIES RECOMMENDATIONS LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS FORMAL DESCRIPTION TECHNIQUES (FDT) Specification and Description Language (SDL) Z.100Z

3、.109 Application of formal 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 prin

4、ciples Z.300Z.309 Basic 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.

5、360Z.379 QUALITY Quality 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 Rec

6、ommendations. Rec. ITU-T Z.103 (04/2016) i Recommendation ITU-T Z.103 Specification and Description Language Shorthand notation and annotation in SDL-2010 Summary Scope/Objective Recommendation ITU-T Z.103 defines the shorthand and annotation features of the Specification and Description Language. T

7、ogether with Recommendations ITU-T Z.100, ITU-T Z.101, ITU-T Z.102, 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 Recom

8、mendation ITU-T Z.101 or Comprehensive SDL-2010 in Recommendation ITU-T Z.102. Features defined in this Recommendation either do not have their own abstract grammar and are transformed to concrete grammar defined by Recommendations ITU-T Z.101, ITU-T Z.102 and ITU-T Z.104 (and ITU-T Z.107 for object

9、-oriented data), or are annotations with no formal meaning. Coverage The Specification and Description Language has concepts for behaviour, data description and (particularly for larger systems) structuring. The basis of behaviour description is extended finite state machines communicating by messag

10、es. 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 the graphical representation. This Recommendation covers the features of the langua

11、ge such as shorthand and alternative graphical concrete syntax and macros that make SDL-2010 easier and more practical to use. The concrete grammar given is the graphical representation. The alternative textual programming representation is given in Recommendation ITU-T Z.106. This Recommendation do

12、es not provide a canonical syntax, but by applying the Model descriptions given a specification can be transformed to Comprehensive SDL-2010 defined in ITU-T Z.102, or (if no Comprehensive SDL-2010 features are used) to Basic SDL-2010 as defined in SDL-2010. It should be noted that in both Basic and

13、 Comprehensive SDL-2010 the details of expressions, data definitions and action language, are defined in Recommendation ITU-T Z.104 (and ITU-T Z.107 for object-oriented data). Applications The Specification and Description Language is applicable within standard bodies and industry. The main applicat

14、ion 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 range of application is from requirement description to implementation. The features of the language defined in Reco

15、mmendation ITU-T Z.103 are cumulative with, and rely on, the features defined in Recommendations ITU-T Z.101, ITU-T Z.102 and ITU-T Z.104 (plus ITU-T Z.107 for object-oriented data). Therefore the language defined in Recommendation ITU-T Z.103 is practical for application to all kinds of real time s

16、ystems (except if ASN.1 is also required in which case features defined in Recommendation ITU-T Z.105 should also be used, or if the specification needs to be in text only or interchange format in which case features defined in Recommendation ITU-T Z.106 should also be used) History Edition Recommen

17、dation Approval Study Group Unique ID* 1.0 ITU-T Z.103 2011-12-22 17 11.1002/1000/11390 2.0 ITU-T Z.103 2016-04-29 17 11.1002/1000/12857 Keywords Specification and Description Language, SDL-2010, shorthand notation, annotation, macros _ * To access the Recommendation, type the URL http:/handle.itu.i

18、nt/ 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.103 (04/2016) FOREWORD The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommun

19、ications, 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 with a view to standardizing telecommunic

20、ations 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 Recommendations is covered by the procedur

21、e 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 conciseness to indicate both a telecomm

22、unication 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 Recommendation is achieved when all of these

23、 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 party. INTELLECTUAL PROPERTY RIGHTSITU dr

24、aws 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 Rights, whether asserted by ITU members

25、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, implementers are cautioned that this may not re

26、present 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 permission of ITU. Rec. ITU-T Z.103 (04/

27、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 and acronyms 2 5 Conventions 2 6 General rules . 3 6.1 Lexical rules text in a comme

28、nt area . 3 6.2 End terminator, comment and comment area . 3 6.3 Text extension 4 6.4 Solid association symbol 5 6.5 The metasymbol is followed by and flow line symbol without arrowhead 5 6.6 Names and identifiers, name resolution and visibility additional diagrams . 6 6.7 Macro 6 6.8 Informal text

29、. 6 6.9 Text symbol 6 6.10 Frame symbol, page numbers and multiple page diagrams . 6 6.11 Drawing rules . 7 7 Organization of Specification and Description Language specifications . 8 7.1 Framework 8 7.2 Package . 8 7.3 Referenced definition . 10 8 Structural concepts 11 8.1 Types, instances and gat

30、es 11 8.2 Type references and operation references 13 8.3 Context parameters . 15 8.4 Specialization . 15 9 Agents . 15 9.1 System 19 9.2 Block . 19 9.3 Process 19 9.4 Procedure 20 9.5 Agent and composite state reference 21 10 Communication . 23 iv Rec. ITU-T Z.103 (04/2016) Page 10.1 Channel . 23 1

31、0.2 Connection 25 10.3 Signal 26 10.4 Signal list area 26 11 Behaviour 26 11.1 Start . 26 11.2 State 26 11.3 Input 27 11.4 Priority input . 29 11.5 Continuous signal . 30 11.6 Enabling condition 30 11.7 Save 30 11.8 Implicit transition . 30 11.9 Spontaneous transition 31 11.10 Label (connector name)

32、 31 11.11 State machine and composite state . 31 11.12 Transition 34 11.13 Action . 36 11.14 Statement lists . 38 11.15 Timer 40 12 Data . 40 12.1 Data definitions 41 12.2 Use of data 41 12.3 Active use of data . 41 13 Generic system definition . 41 13.1 Optional definition 41 Rec. ITU-T Z.103 (04/2

33、016) v Introduction This Recommendation is part of the ITU-T Z.100 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.103 (04/2016) 1 Recommen

34、dation ITU-T Z.103 Specification and Description Language Shorthand notation and annotation in SDL-2010 1 Scope and objective This Recommendation defines features of the Specification and Description Language that make the language practical to use. The features defined in this document cover the sh

35、orthand notation and annotation for the language, which is defined further in the other Recommendations of the ITU-T Z.100 series. Together with Recommendations ITU-T Z.100, ITU-T Z.101, ITU-T Z.102, ITU-T Z.104, ITU-T Z.105, ITU-T Z.106 and ITU-T Z.107, this Recommendation forms a reference manual

36、for the language. 1.1 Objective The objective of this Recommendation is to define the features of the Specification and Description Language that are written using shorthand notation or are used to add annotation. The features defined in this Recommendation add to SDL-2010 features defined for Basic

37、 SDL-2010 or Comprehensive SDL-2010 or the data and action language in SDL-2010. The features do not rely on features defined for using ASN.1 or the use of the common interchange format. Shorthand notation is a concrete grammar that is transformed by a model into further concrete grammar before the

38、representation as abstract grammar is considered. The use of shorthand notation is important to make the use of the language practical, because the shorthand is easy to read, write and understand as well as being concise. A construct written using the concrete grammar defined by this Recommendation

39、is allowed to contain more than one shorthand; in some cases a shorthand is transformed through one (or more) other shorthand forms before a concrete grammar that does not contain any shorthand is obtained from which the abstract grammar is determined. Where the order of transformation is important,

40、 this is defined. An annotation adds information to a specification in the language that does not change the formal meaning of the specification. While such information does not change the formal meaning as far as the Specification and Description Language is concerned, annotations are important to

41、aid understanding of the purpose and intention of a specification or how an SDL-2010 specification interacts with or is interpreted by another language (such as the Message Sequence Chart language). 1.2 Application This Recommendation is part of the reference manual for the Specification and Descrip

42、tion Language. The part of the language defined by this Recommendation includes additional concrete syntax for shorthand notations and Model sections for the shorthand. It also includes the concrete syntax for additional annotation not included Basic SDL-2010 or Comprehensive SDL-2010 or the data an

43、d action language in SDL-2010. The part of the language defined in this Recommendation is required to make the use of the language practical. 2 References The following ITU-T Recommendations and other references contain provisions which, through reference in this text, constitute provisions of this

44、Recommendation. At the time of publication, the editions indicated were valid. All Recommendations and other references 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 r

45、eferences listed below. A list of the currently valid ITU-T Recommendations is regularly published. The reference to a document within this Recommendation does not give it, as a stand-alone document, the status of a Recommendation. 2 Rec. ITU-T Z.103 (04/2016) ITU-T Z.100 Recommendation ITU-T Z.100

46、(2016), Specification and Description Language Overview of SDL-2010. ITU-T Z.101 Recommendation ITU-T Z.101 (2016), Specification and Description Language Basic SDL-2010. ITU-T Z.102 Recommendation ITU-T Z.102 (2016), Specification and Description Language Comprehensive SDL-2010. ITU-T Z.104 Recomme

47、ndation 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 Language SDL-2010 combined with ASN.1 modules. ITU-T Z.106 Recommendation ITU-T Z.106 (2016), Specification and Descri

48、ption 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 Recommendation ITU-T Z.111 (2016), Notations and guidelines for the definition of ITU-T languages. 3 Definitions

49、3.1 Terms defined elsewhere This Recommendation uses the following terms defined elsewhere: the 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 Recommendation ITU-T Z.100 apply. 5 Conventions The conventions defined in ITU-T Z.100 apply, which includes the conventions defined in ITU-T Z.1