ImageVerifierCode 换一换
格式:PDF , 页数:158 ,大小:1.45MB ,
资源ID:806572      下载积分:10000 积分
快捷下载
登录下载
邮箱/手机:
温馨提示:
如需开发票,请勿充值!快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。
如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝扫码支付 微信扫码支付   
注意:如需开发票,请勿充值!
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【http://www.mydoc123.com/d-806572.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(ITU-T Z 104-2016 Specification and Description Language C Data and action language in SDL-2010 (Study Group 17)《规范描述语言–SDL的数据和动作语言-2010(研究组17)》.pdf)为本站会员(李朗)主动上传,麦多课文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知麦多课文库(发送邮件至master@mydoc123.com或直接QQ联系客服),我们立即给予删除!

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

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

copyright@ 2008-2019 麦多课文库(www.mydoc123.com)网站版权所有
备案/许可证编号:苏ICP备17064731号-1