CSA ISO/IEC 10746-4 : 2001 : INC : AMD 1 : 2003 : R2014
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
INFORMATION TECHNOLOGY - OPEN DISTRIBUTED PROCESSING - REFERENCE MODEL: ARCHITECTURAL SEMANTICS
Hardcopy , PDF
13-11-2019
English, French
01-01-2014
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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 |
75
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Superseded
|
| SupersededBy | |
| Supersedes |
| 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 |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.