INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS

Available format(s)

Hardcopy , PDF

Superseded date

10-16-2019

Language(s)

English

Published date

01-01-2014

Publisher

Canadian Standards Association

Foreword
Introduction
1 Scope
2 Normative references
3 Definitions
4 Interpretation of modelling concepts
Annex A - Computational Formalization

Specifies an architectural semantics for ODP.

DevelopmentNote	Amendment 1 is available separately, See record CSA ISO/IEC 10746-4A. (08/2003)
DocumentType	Standard
Pages	38
ProductNote	Reconfirmed EN
PublisherName	Canadian Standards Association
Status	Superseded
SupersededBy	CSA ISO/IEC 10746-4:01 (R2019)
Supersedes	CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003 : R2014 CSA ISO/IEC 10746-4 : 2003

Standards	Relationship
ISO/IEC 10746-4:1998	Identical

ISO 9074:1989	Information processing systems — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model
ISO/IEC 13568:2002	Information technology Z formal specification notation Syntax, type system and semantics
ISO 8807:1989	Information processing systems Open Systems Interconnection LOTOS A formal description technique based on the temporal ordering of observational behaviour
ISO/IEC TR 10167:1991	Information technology — Open Systems Interconnection — Guidelines for the application of Estelle, LOTOS and SDL

US$135.00

Excluding Tax where applicable

Product format

I agree to the DRM document license rules apply against the PDF selection made.

Please confirm that you agree to the document license rules for this document.

I agree to the document license rules .

Please confirm that you agree to the document license rules for this document.

Features

Table of Contents

Abstract