• 现行
  • 正在执行有效
  • 1998-12-20 颁布
©正版授权
注:本标准为国际组织发行的正版标准,下载后为完整内容;本图片为程序生成,仅供参考,介绍内容如有偏差,以实际下载内容为准
【正版授权】 ISO/IEC 10165-4:1992/AMD3:1998 EN Amendment 3 - Information technology - Open Systems Interconnection - Structure of management information - Part 4: Guidelines for the d_第1页
全文预览已结束

下载本文档

基本信息:

  • 标准号:ISO/IEC 10165-4:1992/AMD3:1998 EN
  • 标准名称:修正案3-信息技术-开放系统互连-管理信息结构-第4部分:定义管理对象的准则-使用Z正式化管理对象行为的准则
  • 英文名称:Amendment 3 - Information technology -- Open Systems Interconnection -- Structure of management information -- Part 4: Guidelines for the definition of managed objects - Guidelines for the use of Z in formalizing the behaviour of managed objects
  • 标准状态:现行
  • 发布日期:1998-12-20

文档简介

一、基本概念

管理对象是描述系统状态和系统行为的信息单元。它们被组织成一系列的类别,每个类别都有其特定的属性和行为。

二、Z的用途

Z是一种用于描述管理对象行为的符号系统。它提供了一种形式化的方式来描述管理对象的操作和事件,这些操作和事件可以以一种可重复和可验证的方式进行描述。

三、Z的规则和约定

为了使用Z来正式描述管理对象的行为,需要遵循一些规则和约定。这些规则和约定包括但不限于:

1.对象必须具有明确定义的属性,这些属性描述了对象的当前状态和历史。

2.对象必须具有可以执行的操作和事件,这些操作和事件可以改变对象的属性或引发其他事件。

3.操作和事件必须以一种可预测的方式影响对象的状态,并且必须以一种可重复和可验证的方式进行描述。

四、使用Z的指南

使用Z进行管理对象的正式描述需要遵循一些特定的步骤和技巧。这些包括但不限于:

1.确定对象的属性和操作,并定义它们的行为和影响。

2.使用Z语法来描述这些行为和影响,包括操作和事件的触发条件、操作过程和结果。

3.验证描述的正确性和准确性,以确保它可以被理解和执行。

4.记录和管理描述,以便于其他人理解和使用。

ISO/IEC10165-4:1992/AMD3:1998ENAmendment3为定义和管理对象提供了框架和工具,包括Z符号系统,以帮助组织和理解系统的行为。

温馨提示

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

评论

0/150

提交评论