ITU-T Z 104-2016 Specification and Description Language C Data and action language in SDL-2010 (Study Group 17)《规范描述语言–SDL的数据和动作语言-2010(研究组17)》.pdf

《ITU-T Z 104-2016 Specification and Description Language C Data and action language in SDL-2010 (Study Group 17)《规范描述语言–SDL的数据和动作语言-2010(研究组17)》.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 104-2016 Specification and Description Language C Data and action language in SDL-2010 (Study Group 17)《规范描述语言–SDL的数据和动作语言-2010(研究组17)》.pdf（158页珍藏版）》请在麦多课文档分享上搜索。

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.104 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 Data and action language in SDL-2010 Recommendation ITU-T Z.104 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 Appl

3、ication 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 principles Z.

4、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.360Z.379

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

6、ons. Rec. ITU-T Z.104 (04/2016) i Recommendation ITU-T Z.104 Specification and Description Language Data and action language in SDL-2010 Summary Scope/Objective Recommendation ITU-T Z.104 defines the data features of the Specification and Description Language so that data definitions and expressions

7、 are well defined. Together with Recommendations ITU-T Z.100, ITU-T Z.101, ITU-T Z.102, ITU-T Z.103, 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 Recommendation partially overlaps features of the language i

8、ncluded in Basic SDL-2010 in Recommendation ITU-T Z.101 and used in Comprehensive SDL-2010 in Recommendation ITU-T Z.102 and the features of Recommendation ITU-T Z.103. Coverage The Specification and Description Language has concepts for behaviour, data description and (particularly for larger syste

9、ms) structuring. The basis of behaviour description is extended finite state machines communicating by messages. Data description is based on data types for values. The basis for structuring is hierarchical decomposition and type hierarchies. Though a distinctive feature of the Specification and Des

10、cription Language is the graphical representation, the data and expression language is textual. This Recommendation covers the features of the language used to encode and decode data communicated by channels, define data types with values and operations and variables (including parameters) based on

11、data types and expression actions that use the data types. This Recommendation does not always provide a canonical syntax, but by applying the Model descriptions given, a specification is transformed to Basic SDL-2010 defined in ITU-T Z.101 except in those cases where additional abstract syntax is a

12、dded in this Recommendation. Object-oriented data in ITU-T Z.107 is an extension to this Recommendation. Applications The Specification and Description Language is applicable within standards bodies and industry. The main application areas for which the Specification and Description Language has bee

13、n designed are stated in Recommendation ITU-T Z.100, but the language is generally suitable for describing reactive systems. The range of applications is from requirement description to implementation. The features of the language defined in Recommendation ITU-T Z.104 are essential for the data with

14、in a system. History Edition Recommendation Approval Study Group Unique ID* 1.0 ITU-T Z.104 2004-10-07 17 11.1002/1000/2203 2.0 ITU-T Z.104 2011-12-22 17 11.1002/1000/11391 2.1 ITU-T Z.104 (2011) Amd. 1 2012-10-14 17 11.1002/1000/11758 3.0 ITU-T Z.104 2016-04-29 17 11.1002/1000/12858 Keywords Abstra

15、ct data types, action language, C programming language binding, data, data types, encoding rules, Predefined package, SDL-2010, Specification and Description Language. _ * To access the Recommendation, type the URL http:/handle.itu.int/ in the address field of your web browser, followed by the Recom

16、mendations unique ID. For example, http:/handle.itu.int/11.1002/1000/11830-en. ii Rec. ITU-T Z.104 (04/2016) FOREWORD The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of telecommunications, information and communication technologies (ICTs). The IT

17、U 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 telecommunications on a worldwide basis. The World Telecommunication Standardiz

18、ation 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 procedure laid down in WTSA Resolution 1. In some areas of information tech

19、nology 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 telecommunication administration and a recognized operating agency. Complia

20、nce 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 mandatory provisions are met. The words “shall“ or some other obli

21、gatory 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 draws attention to the possibility that the practice or implementatio

22、n 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 or others outside of the Recommendation development process. As of

23、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 represent the latest information and are therefore strongly urged to

24、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.104 (04/2016) iii Table of Contents Page 1 Scope and objective 1 1.1 Object

25、ive . 1 1.2 Application . 1 2 References . 2 3 Definitions 3 3.1 Terms defined elsewhere 3 3.2 Terms defined in this Recommendation . 3 4 Abbreviations and acronyms 3 5 Conventions 3 6 General rules . 4 7 Organization of Specification and Description Language specifications . 4 7.1 Framework 4 7.2 P

26、ackage . 4 7.3 Referenced definition . 5 8 Structural concepts 5 8.1 Types, instances and gates 5 8.2 Type references and operation references 7 8.3 Context parameters . 7 8.4 Specialization . 7 9 Agents . 7 10 Communication . 8 10.1 Channel . 8 10.2 Connection 9 10.3 Signal 9 10.4 Signal list area

27、10 10.5 Remote procedures . 10 10.6 Remote variables 10 10.7 Communication path encoding rules, encode and decode 10 11 Behaviour 14 11.1 Start . 14 11.2 State 15 11.3 Input 15 11.4 Priority input . 16 11.5 Continuous signal . 16 11.6 Enabling condition 16 11.7 Save 17 11.8 Implicit transition . 17

28、iv Rec. ITU-T Z.104 (04/2016) Page 11.9 Spontaneous transition 17 11.10 Label . 17 11.11 State machine and composite state . 17 11.12 Transition 17 11.13 Action . 17 11.14 Statement list 19 11.15 Timer 19 12 Data . 19 12.1 Data definitions 20 12.2 Use of data 37 12.3 Active use of data . 41 13 Gener

29、ic system definition . 47 14 Package Predefined . 47 14.1 Boolean sort 47 14.2 Character sort 48 14.3 String sort . 49 14.4 Charstring sort 50 14.5 Integer sort 50 14.6 Natural syntype . 52 14.6.2 Usage 52 14.7 Real sort 52 14.8 Array sort 54 14.9 Vector . 54 14.10 Powerset sort 54 14.11 Duration so

30、rt . 55 14.12 Time sort . 56 14.13 Bag sort . 57 14.14 ASN.1 Bit and Bitstring sorts . 58 14.15 ASN.1 Octet and Octetstring sorts . 61 14.16 Pid sort 61 14.17 Encoding sort 61 14.18 Support for ASN.1 character, symbol string and NULL types 62 14.19 Predefined exceptions . 66 Annex A Abstract data ty

31、pes and axioms . 67 A.1 Introduction 67 A.2 Notation 67 Annex B Specification of the set of text encoding rules . 75 B.1 Boolean . 75 B.2 Character . 75 Rec. ITU-T Z.104 (04/2016) v Page B.3 String 75 B.4 Charstring, IA5String, NumericString, PrintableString, VisibleString 75 B.5 Integer . 76 B.6 Na

32、tural 76 B.7 Real . 76 B.8 Array . 77 B.9 Vector . 77 B.10 Powerset . 78 B.11 Duration 78 B.12 Time 78 B.13 Bag 79 B.14 Bit, Bitstring . 79 B.15 Octet, Octetstring 79 B.16 Pid, pid sorts . 80 B.17 Null . 80 B.18 Enumerated (literal list) 80 B.19 Structures 81 B.20 Choice . 81 B.21 Inherits and synty

33、pe 81 Annex C Language binding 82 C.1 C Language binding . 82 Bibliography. 147 vi Rec. ITU-T Z.104 (04/2016) Introduction Status/Stability 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

34、of this Recommendation is stable. For more details see Recommendation ITU-T Z.100. Rec. ITU-T Z.104 (04/2016) 1 Recommendation ITU-T Z.104 Specification and Description Language Data and action language in SDL-2010 1 Scope and objective This Recommendation defines the data and action language featur

35、es of the Specification and Description Language. The features defined in this document include: encoding and decoding of data communicated over channels, the definition of data types (including interfaces), the definition of variables (including parameters), the definition and application of operat

36、ions, the evaluation of expressions and assignment of values to variables. Without these features the language would be of limited use. For this reason, even very simple specifications in the Specification and Description Language use ITU-T Z.104 features. Together with ITU-T Z.100, ITU-T Z.101, ITU

37、-T Z.102, ITU-T Z.103, ITU-T Z.105, ITU-T Z.106 and ITU-T Z.107, this Recommendation forms a reference manual for the language. 1.1 Objective The objective of this Recommendation is to fully define the data related features of the Specification and Description Language (except ITU-T Z.105 and ITU-T

38、Z.107 features). Some of the ITU-T Z.104 material is also in ITU-T Z.100 and ITU-T Z.101. These definitions should be entirely consistent. The difference between the descriptions in ITU-T Z.100 and ITU-T Z.101 and the definition in Recommendation ITU-T Z.104 is that the former descriptions are overv

39、iews to enable data to be used with other features of SDL-2010, whereas the ITU-T Z.104 definition is intended to be complete (with the exception of definition of data types in ASN.1 modules and object-oriented see ITU-T Z.105 and ITU-T Z.107 respectively). Recommendation ITU-T Z.104 also includes a

40、 mechanism for binding data definitions and actions expressed in the concrete syntax from other notations as described in Annex C to the abstract grammar and semantics of SDL-2010 and data binding in clause 7.2. By default the concrete grammar is as given in the main body of ITU-T Z.104 or ITU-T Z.1

41、01, ITU-T Z.102, ITU-T Z.103, ITU-T Z.105, ITU-T Z.106 and ITU-T Z.107. 1.2 Application This Recommendation is part of the reference manual for the Specification and Description Language. The use of data is so fundamental, that even the simplest specifications need some data language features. There

42、fore, it is almost certain that some features defined in Recommendation ITU-T Z.104 will appear in any specification in SDL-2010. 2 Rec. ITU-T Z.104 (04/2016) 2 References The following ITU-T Recommendations and other references contain provisions which, through reference in this text, constitute pr

43、ovisions of this 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 Recommenda

44、tions and other references 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. ITU-T T.50 Recommendation ITU-T T.50 (1992), Intern

45、ational Reference Alphabet (IRA) (Formerly International Alphabet No. 5 or IA5) Information technology 7-bit coded character set for information interchange. ITU-T X.680 Recommendation ITU-T X.680 (2015) | ISO/IEC 8824-1:2015, Information technology Abstract Syntax Notation One (ASN.1): Specificatio

46、n of basic notation. ITU-T X.681 Recommendation ITU-T X.681 (2015) | ISO/IEC 8824-2:2015, Information technology Abstract Syntax Notation One (ASN.1): Information object specification. ITU-T X.682 Recommendation ITU-T X.682 (2015) | ISO/IEC 8824-3:2015, Information technology Abstract Syntax Notatio

47、n One (ASN.1): Constraint specification. ITU-T X.683 Recommendation ITU-T X.683 (2015) | ISO/IEC 8824-4:2015, Information technology Abstract Syntax Notation One (ASN.1): Parameterization of ASN.1 specifications. ITU-T X.690 Recommendation ITU-T X.690 (2015) | ISO/IEC 8825-1:2015, Information techno

48、logy ASN.1 encoding rules: Specification of Basic Encoding Rules (BER), Canonical Encoding Rules (CER) and Distinguished Encoding Rules (DER). ITU-T X.691 Recommendation ITU-T X.691 (2015) | ISO/IEC 8825-2:2015, Information technology ASN.1 encoding rules: Specification of Packed Encoding Rules (PER

49、). ITU-T X.693 Recommendation ITU-T X.693 (2015) | ISO/IEC 8825-4:2015, Information technology ASN.1 encoding rules: XML Encoding Rules (XER). ITU-T X.696 Recommendation ITU-T X.696 (2015) | ISO/IEC 8825-7:2015, Information technology ASN.1 encoding rules: Specification of Octet Encoding Rules (OER). ITU-T Z.100 Recommendation ITU-T Z.100 (2016), Specification and Description Language 2008 Overview of SD