UNLIMITED FREE ACCESS TO THE WORLD'S BEST IDEAS

close

CSA ISO/IEC 10746-4:01 AMD 1

Information technology — Open Distributed Processing — Reference Model: Architectural semantics AMENDMENT 1: Computational formalization

active, Most Current
Organization: CSA
Publication Date: 1 January 2003
Status: active
Page Count: 40
ICS Code (Software): 35.080
scope:

ITU-T Rec. X.904 | ISO/IEC 10746-4: Architectural Semantics: contains a formalisation of the ODP modelling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2, clauses 8 and 9, and a formalisation of the viewpoint languages of ITU-T Rec. X.903 | ISO/IEC 10746-3. The formalisation is achieved by interpreting each concept in terms of the constructs of the different standardised formal description techniques. This text is normative.

with

ITU-T Rec. X.904 | ISO/IEC 10746-4: Architectural Semantics: contains a formalization of the ODP modelling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2, clauses 8 and 9, and a formalization of the computational viewpoint language of ITU-T Rec. X.903 | ISO/IEC 10746-3. The formalization is achieved by interpreting each concept in terms of the constructs of the different standardized formal description techniques. This text is normative.

The purpose of this Recommendation | International Standard is to provide an architectural semantics for ODP. This essentially takes the form of an interpretation of the basic modelling and specification concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2 and the viewpoint languages of ITU-T Rec. X.903 | ISO/IEC 10746-3, using the various features of different formal specification languages. An architectural semantics is developed in four different formal specification languages: LOTOS, ESTELLE, SDL and Z. The result is a formalisation of ODP's architecture. Through a process of iterative development and feedback, this has improved the consistency of ITU-T Rec. X.902 | ISO/IEC 10746-2 and ITU-T Rec. X.903 | ISO/IEC 10746-3.

with

The purpose of this Recommendation | International Standard is to provide an architectural semantics for ODP. This essentially takes the form of an interpretation of the basic modelling and specification concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2 and the computational viewpoint language of ITU-T Rec. X.903 | ISO/IEC 10746-3, using the various features of different formal specification languages. An architectural semantics is developed in four different formal specification languages: LOTOS, ESTELLE, SDL and Z. The result is a formalization of ODP's architecture. Through a process of iterative development and feedback, this has improved the consistency of ITU-T Rec. X.902 | ISO/IEC 10746-2 and ITU-T Rec. X.903 | ISO/IEC 10746-3.

Annex A shows one way in which the computational viewpoint language of ITU-T Rec. X.903 | ISO/IEC 10746-3 can be represented in the formal languages LOTOS, SDL, Z and Estelle. This Recommendation | International Standard also makes use of the concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2.

Document History

Information Technology - Open Distributed Processing - Reference Model: Architectural Semantics
Foreword ISO (the lnternational Organization for Standardization) and IEC (the lnternational Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies...
Information technology - Open Distributed Processing - Reference Model: Architectural semantics AMENDMENT 1: Computational formalization
Foreword ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form the specialized system for worldwide standardization. National bodies...
CSA ISO/IEC 10746-4:01 AMD 1
January 1, 2003
Information technology — Open Distributed Processing — Reference Model: Architectural semantics AMENDMENT 1: Computational formalization
ITU-T Rec. X.904 | ISO/IEC 10746-4: Architectural Semantics: contains a formalisation of the ODP modelling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2, clauses 8 and 9, and a formalisation...
February 1, 2001
Information Technology - Open Distributed Processing - Reference Model: Architectural Semantics
The rapid growth of distributed processing has lead to a need for a coordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model of ODP provides such a...
February 1, 2001
Information Technology - Open Distributed Processing - Reference Model: Architectural Semantics
The rapid growth of distributed processing has lead to a need for a coordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model of ODP provides such a...
January 1, 2001
Information technology — Open Distributed Processing — Reference Model: Architectural semantics
The rapid growth of distributed processing has lead to a need for a coordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model of ODP provides such a...
January 1, 2001
Information Technology - Open Distributed Processing - Reference Model: Architectural Semantics
The rapid growth of distributed processing has lead to a need for a coordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model of ODP provides such a...
January 1, 2001
Information technology - Open Distributed Processing - Reference Model: Architectural semantics AMENDMENT 1: Computational formalization
ITU-T Rec. X.904 | ISO/IEC 10746-4: Architectural Semantics: contains a formalisation of the ODP modelling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2, clauses 8 and 9, and a formalisation...

References

Advertisement