ISO/IEC 10165-4:1992/Amd 3:1998 PDF

Information technology — Open Systems Interconnection — Structure of management information — Part 4: Guidelines for the definition of managed objects — Amendment 3: Guidelines for the use of Z in formalizing the behaviour of managed objects

First page of standard ISO/IEC 10165-4:1992/Amd 3:1998

Open preview (PDF)

Title (English):

ISO/IEC 10165-4:1992/Amd 3:1998

Document status:: Active
Format:: Electronic (PDF)
Number of pages:: 19
Publication date:: December 20, 1998
Edition:: ISO/IEC IS 10165 edition 1 version 1
ICS:: 35.100.70

Delivery type:

Full version21 €Read online 24h10 €Read online 72h15 €

Document language:

enru

Delivery time:Immediate download

Price:21 €

Technical details

Technical committee: ISO/IEC JTC 1 - Information technology
SKU: ISO/IEC 10165-4:1992/Amd 3:1998

Abstract

Overview

ISO/IEC 10165-4:1992/Amd 3:1998 is an international standard focused on Information Technology within the Open Systems Interconnection (OSI) framework. Specifically, it deals with the structure of management information and offers guidelines for defining managed objects. This amendment introduces guidelines for using the Z formal specification language to formalize the behavior of managed objects. It enhances clarity, precision, and consistency in managed object specifications by applying formal methods.

The amendment provides an informative, not normative, annex that explains how to employ the Z language with managed objects specified via GDMO (Guidelines for the Definition of Managed Objects) templates. The formalization efforts help eliminate ambiguities often present in natural language specifications and foster interoperability among OSI systems management.

Key Topics

Managed Objects Behavior Formalization The standard guides the translation of managed object behavior from informal GDMO templates into formal Z specifications. It supports improved specification clarity by detailing the state and operations of managed objects.
Z Language Application Z language, based on set theory and predicate calculus, is recommended for modeling the state and operations of managed objects. It supports precise definition of attributes and operations but does not inherently support encapsulation or inheritance-these are addressed through established Z techniques such as schema inclusion.
Mapping ASN.1 to Z ASN.1 data types, which are part of the GDMO templates, are mapped to corresponding Z types (sets, sequences, tuples) to bridge syntax and semantic gaps between management information definition and formal specification.
Inheritance and Compatibility The document discusses the limitations of Z in modeling inheritance fully, noting that Z's schema inclusion simulates but doesn’t fully express subtyping or substitutability in managed object hierarchies.
Managed Object Operations Operations such as Get, GetAll, Replace, Notifications, and Actions are modeled as Z operation schemas. Notifications are represented as operation outputs comprising sets of notification events.

Abstract

Overview

Key Topics

Managed Objects Behavior Formalization The standard guides the translation of managed object behavior from informal GDMO templates into formal Z specifications. It supports improved specification clarity by detailing the state and operations of managed objects.
Z Language Application Z language, based on set theory and predicate calculus, is recommended for modeling the state and operations of managed objects. It supports precise definition of attributes and operations but does not inherently support encapsulation or inheritance-these are addressed through established Z techniques such as schema inclusion.
Mapping ASN.1 to Z ASN.1 data types, which are part of the GDMO templates, are mapped to corresponding Z types (sets, sequences, tuples) to bridge syntax and semantic gaps between management information definition and formal specification.
Inheritance and Compatibility The document discusses the limitations of Z in modeling inheritance fully, noting that Z's schema inclusion simulates but doesn’t fully express subtyping or substitutability in managed object hierarchies.
Managed Object Operations Operations such as Get, GetAll, Replace, Notifications, and Actions are modeled as Z operation schemas. Notifications are represented as operation outputs comprising sets of notification events.

ISO/IEC 10165-4:1992/Amd 3:1998 PDF

Technical details

Abstract

Overview

Key Topics

Abstract

Overview

Key Topics

Applications

Related Standards

Related standards

Information technology — Open Systems Interconnection — Structure of management information — Part 4: Guideli…

Information technology. Z formal specification notation. Syntax, type system and semantics.

Systems and software engineering — Software life cycle processes

Asset management — Vocabulary, overview and principles

Asset management — Asset management system — Requirements

Information technology — Radio frequency identification device conformance test methods — Part 2: Test method…

Information technology — Multimedia framework (MPEG-21) — Part 22: User Description

Milk — Determination of the lactoperoxidase activity — Photometric method (Reference method)