ITU-T Z.100-2015 Annex F1: SDL-2010 formal definition: General overview

pdf标准 ITU-T Z.100-2015 Annex F1: SDL-2010 formal definition: General overview

36 页 0 下载 0 浏览 0 评论 0 收藏 3.0分
温馨提示:当前标准最多只能预览 10 页,若标准超出了 10 页,请下载原标准以浏览全部内容。
ITU-T Z.100-2015  Annex F1: SDL-2010 formal definition: General overview 第 1 页 ITU-T Z.100-2015  Annex F1: SDL-2010 formal definition: General overview 第 2 页 ITU-T Z.100-2015  Annex F1: SDL-2010 formal definition: General overview 第 3 页 ITU-T Z.100-2015  Annex F1: SDL-2010 formal definition: General overview 第 4 页 ITU-T Z.100-2015  Annex F1: SDL-2010 formal definition: General overview 第 5 页
下载标准到电脑,方便使用
还有 5 页未阅读,继续阅读
本标准由 5zbz2018-09-16 14:20:29上传分享

国外分类,ITU,ITU-T(电信标准分局),itu,annex,f1,sdl,formal,definition,general,overview

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 ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU U n i o n Z.100 Annex F1 (01/2015) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Specification and Description Language (SDL) Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview Recommendation ITU-T Z.100 – Annex F1 ITU-T Z-SERIES RECOMMENDATIONS LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS FORMAL DESCRIPTION TECHNIQUES (FDT) Specification and Description Language (SDL) Application of formal description techniques Message Sequence Chart (MSC) User Requirements Notation (URN) Testing and Test Control Notation (TTCN) PROGRAMMING LANGUAGES CHILL: The ITU-T high level language MAN-MACHINE LANGUAGE General principles Basic syntax and dialogue procedures Extended MML for visual display terminals Specification of the man-machine interface Data-oriented human-machine interfaces Human-machine interfaces for the management of telecommunications networks QUALITY Quality of telecommunication software Quality aspects of protocol-related Recommendations METHODS Methods for validation and testing MIDDLEWARE Processing environment architectures For further details, please refer to the list of ITU-T Recommendations. Z.100–Z.109 Z.110–Z.119 Z.120–Z.129 Z.150–Z.159 Z.160–Z.179 Z.200–Z.209 Z.300–Z.309 Z.310–Z.319 Z.320–Z.329 Z.330–Z.349 Z.350–Z.359 Z.360–Z.379 Z.400–Z.409 Z.450–Z.459 Z.500–Z.519 Z.600–Z.609 Recommendation ITU-T Z.100 Specification and Description Language – Overview of SDL-2010 Annex F1 SDL-2010 formal definition: General overview Summary Annex F1 provides the motivation for and the main objectives of a formal semantics definition for SDL-2010. It gives an overview of the structure of the formal semantics, and it also contains an introduction to the Abstract State Machine (ASM) formalism, which is used to define the SDL-2010 semantics. History Edition 1.0 Recommendation ITU-T Z.100 Approval Study Group 1984-10-19 1.1 ITU-T Z.100 Annex A 1984-10-19 1.2 ITU-T Z.100 Annex B 1984-10-19 1.3 ITU-T Z.100 Annex C1 1984-10-19 1.4 ITU-T Z.100 Annex C2 1984-10-19 1.5 ITU-T Z.100 Annex D 1984-10-19 2.0 ITU-T Z.100 1987-09-30 X 2.1 ITU-T Z.100 Annex A 1988-11-25 2.2 ITU-T Z.100 Annex B 1988-11-25 2.3 ITU-T Z.100 Annex C1 1988-11-25 2.4 ITU-T Z.100 Annex C2 1988-11-25 2.5 ITU-T Z.100 Annex D 1988-11-25 2.6 ITU-T Z.100 Annex E 1988-11-25 2.7 ITU-T Z.100 Annex F1 1988-11-25 X 2.8 ITU-T Z.100 Annex F2 1988-11-25 X 2.9 ITU-T Z.100 Annex F3 1988-11-25 X 3.0 ITU-T Z.100 X 1988-11-25 3.1 ITU-T Z.100 Annex C 1993-03-12 X 3.2 ITU-T Z.100 Annex D 1993-03-12 X 3.3 ITU-T Z.100 Annex F1 1993-03-12 X 3.4 ITU-T Z.100 Annex F2 1993-03-12 X Unique ID* 11.1002/1000/2222 11.1002/1000/6664 11.1002/1000/6665 11.1002/1000/6666 11.1002/1000/6667 11.1002/1000/6668 11.1002/1000/10954 11.1002/1000/6669 11.1002/1000/6670 11.1002/1000/6671 11.1002/1000/6672 11.1002/1000/3646 11.1002/1000/6673 11.1002/1000/3647 11.1002/1000/3648 11.1002/1000/3649 11.1002/1000/3153 11.1002/1000/3155 11.1002/1000/3156 11.1002/1000/3157 11.1002/1000/3158 ____________________ * To access the Recommendation, type the URL http://handle.itu.int/ in the address field of your web browser, followed by the Recommendation's unique ID. For example, http://handle.itu.int/11.1002/1000/11 830-en. Rec. ITU-T Z.100/Annex F1 (01/2015) i 3.5 ITU-T Z.100 Annex F3 1993-03-12 X 3.6 ITU-T Z.100 App. I 1993-03-12 X 3.7 ITU-T Z.100 App. II 1993-03-12 X 1993-03-12 X 1996-10-18 10 1999-11-19 10 2001-10-29 17 2002-08-06 17 4.0 4.1 5.0 5.1 6.0 ITU-T Z.100 ITU-T Z.100 (1993) Add. 1 ITU-T Z.100 ITU-T Z.100 (1999) Cor. 1 ITU-T Z.100 6.1 ITU-T Z.100 (2002) Amd. 1 2003-10-29 17 6.2 ITU-T Z.100 (2002) Cor. 1 2004-08-29 17 7.0 ITU-T Z.100 2007-11-13 17 8.0 ITU-T Z.100 2011-12-22 17 8.1 2000-11-24 10 8.2 ITU-T Z.100 Annex F2 2000-11-24 10 8.3 ITU-T Z.100 Annex F3 2000-11-24 10 8.4 ITU-T Z.100 Annex F1 2015-01-13 17 8.5 ITU-T Z.100 Annex F2 2015-01-13 17 8.6 ii ITU-T Z.100 Annex F1 ITU-T Z.100 Annex F3 2015-01-13 17 Rec. ITU-T Z.100/Annex F1 (01/2015) 11.1002/1000/3159 11.1002/1000/3160 11.1002/1000/3161 11.1002/1000/3154 11.1002/1000/3917 11.1002/1000/4764 11.1002/1000/5567 11.1002/1000/6029 11.1002/1000/7091 11.1002/1000/356 11.1002/1000/9262 11.1002/1000/11387 11.1002/1000/5239 11.1002/1000/5576 11.1002/1000/5577 11.1002/1000/12354 11.1002/1000/12355 11.1002/1000/12356 FOREWORD The International Telecommunication Union (ITU) is the United Nations specialized agency in the field of

给标准打分
您好可以输入 255 个字符
本站的中文名字叫什么( 答案:找标准 )
评论列表
  • 暂时还没有评论,期待您的金玉良言