• 现行
  • 正在执行有效
  • 2002-07-04 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 13568:2002 EN Information technology - Z formal specification notation - Syntax,type system and semantics_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 13568:2002 EN
  • 标准名称：信息技术-Z正式规范符号-语法、类型系统和语义学
  • 英文名称：Information technology -- Z formal specification notation -- Syntax, type system and semantics
  • 标准状态：现行
  • 发布日期：2002-07-04

文档简介

ISO/IEC13568:2002ENInformationtechnology--Zformalspecificationnotation--Syntax,typesystemandsemantics标准是关于信息技术的标准，它详细规定了Z正式规范符号的语法、类型系统和语义。

以下是对该标准的详细解释：

ISO/IEC13568:2002标准定义了一种正式的规范符号系统，称为Z符号系统，用于在信息技术中进行规范的表述和说明。这个标准对Z符号系统中的符号、语法规则、类型系统和语义含义进行了详细的定义和规定。

语法规则：

1.Z符号系统的语法基于词法和语法，使用一系列符号来表示特定的概念和行为。符号包括数据类型、操作符、变量、函数等。

2.符号的组合遵循一定的规则，包括但不限于组合顺序、括号的使用、变量和函数的命名规则等。

类型系统：

1.Z符号系统定义了一组基本的数据类型，包括数值类型、布尔类型、字符串类型等。

2.此外，该标准还定义了一些复合类型，如数组、集合、映射等。

3.类型之间的转换和兼容性也是该标准关注的内容之一。

语义含义：

1.Z符号系统中的符号和表达式具有明确的语义含义，包括数据类型的含义、操作符的优先级和结合性、变量的作用域和生命周期等。

2.该标准还规定了如何通过Z符号系统来描述算法和程序的逻辑结构，以及如何通过Z符号系统来定义和实现接口和协议。

ISO/IEC13568:2002标准为信息技术中的规范表述提供了详

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论