ISO/IEC 10746-4:1998

Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4:

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 framework. It creates an architecture within which support of distribution, interworking, interoperability and portability can be integrated. The Basic Reference Model of Open Distributed Processing (RM-ODP), (see ITU-T Recs. X.901 to X.904 | ISO/IEC 10746), is based on precise concepts derived from current distributed processing developments and, as far as possible, on the use of formal description techniques for specification of the architecture. The RM-ODP consists of: ? ITU-T Rec. X.901 | ISO/IEC 10746-1: 2YHUYLHZ:_ Contains a motivational overview of ODP giving scooping, justification and explanation of key concepts, and an outline of ODP architecture. This part is not normative. ? ITU-T Rec. X.902 | ISO/IEC 10746-2: )RXQGDWLRQV:_ Contains the definition of the concepts and analytical framework and notation for normalized description of (arbitrary) distributed processing systems. This is only to a level of detail sufficient to support ITU-T Rec. X.903 | ISO/IEC 10746-3 and to establish requirements for new specification techniques. This part is normative. ? ITU-T Rec. X.903 | ISO/IEC 10746-3: $UFKLWHFWXUH: Contains_ the specification of the required characteristics that qualify distributed processing as open. These are the constraints to which ODP standards must conform. It uses the descriptive techniques from ITU-T Rec. X.902 | ISO/IEC 10746-2. This part is normative. ? ITU-T Rec. X.904 | ISO/IEC 10746-4: $UFKLWHFWXUDO_6HPDQWLFV:_Contains a formalisation of the ODP modeling 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 standardized formal description techniques. This part 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 modeling and specification concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2 and 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 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. An architectural semantics provides the additional benefits of: ? assisting the sound and uniform development of formal descriptions of ODP systems; and ? of permitting uniform and consistent comparison of formal descriptions of the same standard in different formal specification languages. Rather than provide a mapping from all the concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2, this Recommendation | International Standard focuses on the most basic. A semantics for the higher level architectural concepts is provided indirectly through their definition in terms of the basic ODP concepts. Examples of the use of some of the formal specification languages in this report can be found in TR 10167 (Guidelines for the Application of ESTELLE, LOTOS and SDL). In the following clauses, the concepts are numbered in accordance with the scheme used in ITU-T Rec. X.902 | ISO/IEC 10746-2. This Recommendation | International Standard specifies an architectural semantics for ODP. This is required to: ? provide formalisation of the ODP modelling concepts; ? assist sound and uniform development of formal descriptions of standards for distributed systems; ? act as a bridge between the ODP modelling co

Technologies de l'information — Traitement réparti ouvert — Modèle de référence: Sémantique architecturale — Partie 4:

La croissance rapide des applications réparties a fait naître le besoin d'un cadre pour coordonner la normalisation du traitement réparti ouvert (ODP, RSHQ_GLVWULEXWHG_SURFHVVLQJ). Le modèle de référence du traitement réparti ouvert fournit ce cadre. Il établit une architecture qui permet d'intégrer la répartition, l'interfonctionnement, l'interopérabilité et la portabilité. Le modèle de référence de base du traitement réparti ouvert (RM-ODP, UHIHUHQFH_PRGHO_RI_RSHQ_GLVWULEXWHG_SURFHVVLQJ) (voir les Rec. UIT-T X.901 à X.904 | ISO/CEI 10746) repose sur des concepts précis issus des développements récents dans le domaine du traitement réparti et s'appuie, dans la mesure du possible, sur l'utilisation des techniques de description formelle pour la spécification de l'architecture. Le modèle RM-ODP se compose: ? de la Rec. UIT-T X.901 | ISO/CEI 10746-1: 9XH_GHQVHPEOH_ elle contient un aperçu général du modèle RM-ODP, en précise les motivations, le champ d'application et la justification, et propose une explication des concepts clés, ainsi qu'une présentation de l'architecture des systèmes ODP. Ce texte n'est pas normatif; ? de la Rec. UIT-T X.902 | ISO/CEI 10746-2: )RQGHPHQWV_ elle contient la définition des concepts ainsi que le cadre analytique et la notation à utiliser pour la description normalisée de systèmes de traitement réparti (arbitraires). Elle s'en tient à un niveau de détail suffisant pour étayer la Rec. UIT-T X.903 | ISO/CEI 10746-3 et pour établir les prescriptions applicables à de nouvelles techniques de spécification. Ce texte est normatif; ? de la Rec. UIT-T X.903 | ISO/CEI 10746-3: $UFKLWHFWXUH_ elle contient la spécification des caractéristiques requises pour qu'un système de traitement réparti puisse être qualifié d'ouvert. Il s'agit des contraintes que les normes ODP doivent respecter. Ce texte, qui utilise les techniques descriptives de la Rec. UIT-T X.902 | ISO/CEI 10746-2. Ce texte est normatif; ? de la Rec. UIT-T X.904 | ISO/CEI 10746-4: 6pPDQWLTXH_DUFKLWHFWXUDOH_ elle contient une formalisation des concepts de modélisation ODP définis dans les articles 8 et 9 de la Rec. UIT-T X.902 | ISO/CEI 10746-2 et une formalisation des langages de point de vue définis dans la Rec. UIT-T X.903 | ISO/CEI 10746-3. La formalisation est obtenue par l'interprétation de chaque concept en fonction des constructions des différentes techniques de description formelle normalisées. Ce texte est normatif. La présente Recommandation | Norme internationale a pour objet de fournir une sémantique architecturale pour les systèmes ODP, ce qui se traduit par une interprétation des concepts de modélisation de base et de spécification définis dans la Rec. UIT-T X.902 | ISO/CEI 10746-2 et des langages de point de vue définis dans la Rec. UIT-T X.903 | ISO/CEI 10746-3; elle utilise les diverses caractéristiques de différents langages de spécification formelle. Une sémantique architecturale est élaborée pour quatre différents langages de spécification formelle: LOTOS, ESTELLE, SDL et Z, ce qui conduit à une formalisation de l'architecture des systèmes ODP. Un processus d'élaboration itérative et de retour a permis d'améliorer la cohérence des Rec. UIT-T X.902 | ISO/CEI 10746-2 et UIT-T X.903 | ISO/CEI 10746-3. La mise au point d'une sémantique architecturale présente les avantages supplémentaires suivants: ? favoriser l'élaboration harmonieuse et uniforme des descriptions formelles de systèmes ODP; ? permettre une comparaison uniforme et cohérente des descriptions formelles de la même norme dans différents langages de spécification formelle. La présente Recommandation | Norme internationale contient une interprétation, non pas de tous les concepts définis dans la Rec. UIT-T X.902 | ISO/CEI 10746-2, mais uniquement des concepts les plus fondamentaux. Pour les concepts architecturaux de niveau supérieur, une sémantique est fournie indirectement par la définition de ces concepts en fonction des concepts

General Information

• Status: Published
• Publication Date: 19-Dec-1998
• ICS: 35.080 - Software
• Technical Committee: ISO/IEC JTC 1/SC 7 - Software and systems engineering
• Drafting Committee: ISO/IEC JTC 1/SC 7 - Software and systems engineering
• Current Stage: 9093 - International Standard confirmed
• Completion Date: 25-Aug-2017

Relations

• Amended By: ISO/IEC 10746-4:1998/Amd 1:2001 - Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: — Amendment 1: Computational formalization
• Effective Date: 06-Jun-2022
• Parent: ISO/IEC 10746-4:1998/Amd 1:2001 - Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: — Amendment 1: Computational formalization
• Effective Date: 15-Apr-2008

Standards Content (Sample)

ISO/IEC
INTERNATIONAL
STANDARD 10746-4
First edition
1998-12-15
Information technology — Open Distributed
Processing — Reference Model:
Architectural semantics
Technologies de l'information — Traitement distribué ouvert — Modèle de
référence: Sémantique architecturale
Reference number
B C
Contents Page
1 Scope . 1
2 Normative references . 2
3 Definitions. 2
3.1 Definitions from ISO/IEC 8807. 2
3.2 Definitions from ITU-T Recommendation Z.100. 2
3.3 Definitions from the Z-Base Standard . 3
3.4 Definitions from ISO/IEC 9074. 3
4 Interpretation of modelling concepts . 3
4.1 Architectural semantics in LOTOS. 3
4.2 Architectural semantics in ACT ONE . 9
4.3 Architectural semantics in SDL-92. 15
4.4 Architectural semantics in Z. 20
4.5 Architectural semantics in ESTELLE. 25
©  ISO/IEC 1998
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or
mechanical, including photocopying and microfilm, without permission in writing from the publisher.
ISO/IEC Copyright Office • Case postale 56 • CH-1211 Genève 20 • Switzerland
Printed in Switzerland
ii
© ISO/IEC
Foreword
ISO (the International Organization for Standardization) and IEC (the International Electrotechnical Commission) form
the specialized system for worldwide standardization. National bodies that are members of ISO or IEC participate in the
development of International Standards through technical committees established by the respective organization to deal
with particular fields of technical activity. ISO and IEC technical committees collaborate in fields of mutual interest.
Other international organizations, governmental and non-governmental, in liaison with ISO and IEC, also take part in the
work.
In the field of information technology, ISO and IEC have established a joint technical committee, ISO/IEC JTC 1. Draft
International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication
as an International Standard requires approval by at least 75 % of the national bodies casting a vote.
International Standard ISO/IEC 10746-4 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information
technology, Subcommittee SC 33, Distributed application services, in collaboration with ITU-T. The identical text is
published as ITU-T Recommendation X.904.
ISO/IEC 10746 consists of the following parts, under the general title Information technology — Open Distributed
Processing — Reference Model:
— Part 1: Overview
— Part 2: Foundations
— Part 3: Architecture
— Part 4: Architectural semantics
iii
ªISO/IEC 10746-4:1998(E) ISO/IEC
Introduction
This Recommendation | International Standard is an integral part of the ODP Reference Model. It contains a
formalisation of the ODP modeling concepts defined in ITU-T Rec. X.902 ‰ ISO/IEC 10746-2, clauses 8 and 9. The
formalisation is achieved by interpreting each concept in terms of the constructs of the different standardised formal
description techniques.
This Recommendation | International Standard is accompanied by an amendment and a technical report. The associated
amendment focuses on the formalisation of the computational viewpoint language contained in ITU-T Rec. X.903 |
ISO/IEC 10746-3. The associated technical report contains examples on how the formalisation of the ODP Reference
Model can be applied to develop specifications.
iv
,62,(&(
,17(51$7,21$/67$1'$5'
ISO/IEC 10746-4 : 1998 (E)
ITU-T Rec. X.904 (1997 E)
,7875(&200(1'$7,21
,1)250$7,217(&+12/2*<±23(1',675,%87('352&(66,1*±
5()(5(1&(02'(/$5&+,7(&785$/6(0$17,&6
1 Scope
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 framework. It creates an
architecture within which support of distribution, interworking, interoperability and portability can be integrated.
The Basic Reference Model of Open Distributed Processing (RM-ODP), (see ITU-T Recs. X.901 to X.904 | ISO/IEC
10746), is based on precise concepts derived from current distributed processing developments and, as far as possible,
on the use of formal description techniques for specification of the architecture.
The RM-ODP consists of:
– ITU-T Rec. X.901 | ISO/IEC 10746-1: 2YHUYLHZ:Contains a motivational overview of ODP giving
scooping, justification and explanation of key concepts, and an outline of ODP architecture. This part is
not normative.
– ITU-T Rec. X.902 | ISO/IEC 10746-2: )RXQGDWLRQV: Contains the definition of the concepts and
analytical framework and notation for normalized description of (arbitrary) distributed processing
systems. This is only to a level of detail sufficient to support ITU-T Rec. X.903 | ISO/IEC 10746-3 and to
establish requirements for new specification techniques. This part is normative.
– ITU-T Rec. X.903 | ISO/IEC 10746-3: $UFKLWHFWXUH: Contains the specification of the required
characteristics that qualify distributed processing as open. These are the constraints to which ODP
standards must conform. It uses the descriptive techniques from ITU-T Rec. X.902 | ISO/IEC 10746-2.
This part is normative.
– ITU-T Rec. X.904 | ISO/IEC 10746-4: $UFKLWHFWXUDO6HPDQWLFV:Contains a formalisation of the ODP
modeling 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 standardized formal description
techniques. This part 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 modeling and specification concepts of ITU-T Rec. X.902 |
ISO/IEC 10746-2 and 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 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.
An architectural semantics provides the additional benefits of:
– assisting the sound and uniform development of formal descriptions of ODP systems; and
– of permitting uniform and consistent comparison of formal descriptions of the same standard in different
formal specification languages.
Rather than provide a mapping from all the concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2, this Recommendation |
International Standard focuses on the most basic. A semantics for the higher level architectural concepts is provided
indirectly through their definition in terms of the basic ODP concepts.
Examples of the use of some of the formal specification languages in this report can be found in TR 10167 (Guidelines
for the Application of ESTELLE, LOTOS and SDL).
In the following clauses, the concepts are numbered in accordance with the scheme used in ITU-T Rec. X.902 |
ISO/IEC 10746-2.
,7875HF;( 1
,62,(&(
This Recommendation | International Standard specifies an architectural semantics for ODP. This is required to:
– provide formalisation of the ODP modelling concepts;
– assist sound and uniform development of formal descriptions of standards for distributed systems;
– act as a bridge between the ODP modelling concepts and the semantic models of the specification
languages: LOTOS, SDL, ESTELLE and Z;
– provide a basis for uniform and consistent comparison between formal descriptions of the same standard
in specification languages that are used to develop an architectural semantics.
This part is normative.
 1RUPDWLYHUHIHUHQFHV
The following Recommendations and International Standards contain provisions which, through reference in this text,
constitute provisions of this Recommendation | International Standard. At the time of publication, the editions indicated
were valid. All Recommendations and Standards are subject to revision, and parties to agreements based on this
Recommendation | International Standard are encouraged to investigate the possibility of applying the most recent
edition of the Recommendations and Standards listed below. Members of IEC and ISO maintain registers of currently
valid International Standards. The Telecommunication Standardization Bureau of the ITU maintains a list of currently
valid ITU-T Recommendations.
– ISO/IEC 8807:1989, ,QIRUPDWLRQSURFHVVLQJV\VWHPV±2SHQ6\VWHPV,QWHUFRQQHFWLRQ±/2726±$
IRUPDOGHVFULSWLRQWHFKQLTXHEDVHGRQWKHWHPSRUDORUGHULQJRIREVHUYDWLRQDOEHKDYLRXU
– ITU-T Recommendation Z.100 (1993), &&,776SHFLILFDWLRQDQG'HVFULSWLRQ/DQJXDJH6'/
– ISO/IEC TR 10167:1991, ,QIRUPDWLRQWHFKQRORJ\±2SHQ6\VWHPV,QWHUFRQQHFWLRQ±*XLGHOLQHVIRUWKH
DSSOLFDWLRQRI(VWHOOH/2726DQG6'/
1)
– ISO/IEC 13568 , ,QIRUPDWLRQWHFKQRORJ\±3URJUDPPLQJ/DQJXDJHVWKHLU(QYLURQPHQWVDQG6\VWHP
6RIWZDUH,QWHUIDFHV=6SHFLILFDWLRQODQJXDJH
– The Z Notation, $5HIHUHQFH0DQXDO-06SLYH\,QWHUQDWLRQDO6HULHVLQ&RPSXWHU6FLHQFH6HFRQG
(GLWLRQ3UHQWLFH+DOO,QWHUQDWLRQDO1992
– ISO/IEC 9074:1997, ,QIRUPDWLRQWHFKQRORJ\±2SHQ6\VWHPV,QWHUFRQQHFWLRQ±(VWHOOH$IRUPDO
GHVFULSWLRQWHFKQLTXHEDVHGRQDQH[WHQGHGVWDWHWUDQVLWLRQPRGHO
 'HILQLWLRQV
 'HILQLWLRQVIURP,62,(&
This Recommendation | International Standard makes use of the following terms defined in ISO/IEC 8807:
DFWLRQ GHQRWDWLRQ DFWXDOLVDWLRQ RI SDUDPHWHUV EHKDYLRXU H[SUHVVLRQ FKRLFH FRQIRUPDQFH GLVDEOLQJ HQDEOLQJ
HQULFKPHQWHTXDWLRQHYHQWH[WHQVLRQIRUPDOJDWHOLVWIRUPDOSDUDPHWHUOLVWJDWHJDWHKLGLQJJXDUGLQVWDQWLDWLRQ
LQWHUOHDYLQJ LQWHUQDO REVHUYDEOH HYHQW RSHUDWLRQ SDUDOOHO FRPSRVLWLRQ SDUDPHWHULVHG W\SH GHILQLWLRQ SURFHVV
GHILQLWLRQUHGXFWLRQVHOHFWLRQSUHGLFDWHVRUWV\QFKURQLVDWLRQW\SHGHILQLWLRQYDOXHSDUDPHWHUOLVW
 'HILQLWLRQVIURP,7875HFRPPHQGDWLRQ=
This Recommendation | International Standard makes use of the following terms defined in ITU-T Rec. Z.100:
DFWLRQVWDWHPHQWDFWLYHDWOHDVWEORFNW\SHFDOOFKDQQHOFRQWHQWSDUDPHWHUFRQWLQRXVVLJQDOFUHDWHHQDEOLQJ
FRQGLWLRQH[SRUWH[SRUWHGSURFHGXUHH[SRUWHGYDULDEOHILQDOL]HGJDWHLPSRUWLPSRUWHGYDULDEOHLQSXWQH[WVWDWH
QRGHOD\QRZRXWSXWSURFHGXUHSURFHVVW\SHSURYLGHGUHGHILQHGUHPRWHSURFHGXUHUHVHWUHWXUQUHYHDOHGYDULDEOH
VHUYLFHW\SHVHWVLJQDOVLJQDOURXWHVWRSV\VWHPW\SHWDVNWLPHWLPHUWUDQVLWLRQYLHZYLHZHGYDULDEOHYLUWXDO
_______________
1)
Currently at the stage of draft.
2 ,7875HF;(
,62,(&(
 'HILQLWLRQVIURPWKH=%DVH6WDQGDUG
This Recommendation | International Standard makes use of the following terms defined in the Z-Base Standard:
D[LRPDWLF GHVFULSWLRQ FRQMXQFWLRQ GDWD UHILQHPHQW LQYDULDQW, RSHUDWLRQ UHILQHPHQW RYHUULGLQJ SRVWFRQGLWLRQ
SUHFRQGLWLRQVFKHPDRSHUDWLRQVWDWHIUDPLQJVFKHPDFDOFXOXVVFKHPDFRPSRVLWLRQ
 'HILQLWLRQVIURP,62,(&
This Recommendation | International Standard makes use of the following terms defined in ISO/IEC 9074:
DFWLYLW\DVVLJQPHQWVWDWHPHQWDWWDFKFKDQQHOFKDQQHOGHILQLWLRQFRQQHFWFRQWUROVWDWH'(/$<&ODXVHGHWDFK
GLVFRQQHFWH[SRUWHGYDULDEOHH[WHUQDOLQWHUDFWLRQSRLQW)520&ODXVHIXQFWLRQLQLWLQVWDQWLDWLRQLQWHUDFWLRQ
LQWHUDFWLRQSRLQWPRGXOHERG\GHILQLWLRQPRGXOHKHDGHUGHILQLWLRQPRGXOHLQVWDQFHRXWSXWSDUHQWLQVWDQFHSULPLWLYH
SURFHGXUH SURFHGXUH 3529,'('&ODXVH UHOHDVH UROH V\VWHPDFWLYLW\ V\VWHPSURFHVV 72&ODXVH WUDQVLWLRQ
WUDQVLWLRQEORFNWUDQVLWLRQFODXVH:+(1FODXVH
 ,QWHUSUHWDWLRQRIPRGHOOLQJFRQFHSWV
 $UFKLWHFWXUDOVHPDQWLFVLQ/2726
LOTOS is a standardized (ISO/IEC 8807) Formal Specification Language (FSL). Tutorial material is available in the
standard.
This clause explains how the fundamental modeling concepts can be expressed in LOTOS (see IS0/IEC 8807). It should
be pointed out that there exist two main ways in LOTOS to model the concepts contained in ITU-T Rec. X.902 |
ISO/IEC 10746-2. These are based upon the process algebra part of the language and the ACT ONE data typing part of
the language. Since the ACT ONE formalisation of the concepts is applicable to SDL-92 also, the ACT ONE
formalization is given in an independent clause. See 4.2.
To avoid confusion in the ODP and LOTOS terminology, the following clause uses LWDOLFVto denote LOTOS specific
terms.
 %DVLFPRGHOLQJFRQFHSWV
 2EMHFW
An LQVWDQWLDWLRQof a LOTOS SURFHVVGHILQLWLRQwhich can be uniquely referenced.
 (QYLURQPHQWRIDQREMHFW
The part of a model which is not part of the object. In LOTOS, the environment of an object within a specification at a
given time is given by the environment of the specification and by the other E
...

NORME ISO/CEI
INTERNATIONALE 10746-4
Première édition
1998-12-15
Technologies de l'information —
Traitement réparti ouvert — Modèle de
référence: Sémantique architecturale
Information technology — Open Distributed Processing — Reference
Model: Architectural semantics
Numéro de référence
ISO/CEI 10746-4:1998(F)
©
ISO/CEI 1998
ISO/CEI 10746-4:1998(F)
Sommaire
3DJH
1 Domaine d’application.
.................................. 1
2 Références normatives. 2
3 Définitions . 3
3.1 Termes définis dans l'ISO/CEI 8807 . 3
3.2 Termes définis dans la Recommandation UIT-T Z.100 . 3
3.3 Termes définis dans "The Z Base Standard" . 3
3.4 Termes définis dans l'ISO/CEI 9074 . 3
4 Interprétation des concepts de modélisation. 3
4.1 Sémantique architecturale en LOTOS. 3
4.2 Sémantique architecturale en ACT ONE. 10
4.3 Sémantique architecturale en SDL-92. 17
4.4 Sémantique architecturale en Z . 23
4.5 Sémantique architecturale en ESTELLE. 29
© ISO/CEI 1998
Droits de reproduction réservés. Sauf prescription différente, aucune partie de cette publication ne peut être reproduite ni utilisée sous quelque
forme que ce soit et par aucun procédé, électronique ou mécanique, y compris la photocopie et les microfilms, sans l'accord écrit de l’ISO à
l’adresse ci-après ou du comité membre de l’ISO dans le pays du demandeur.
ISO copyright office
Case postale 56 � CH-1211 Geneva 20
Tel. + 41 22 749 01 11
Fax. + 41 22 734 10 79
E-mail [e-mail]
Web www.iso.ch
Version française parue en 2000
ImpriméenSuisse
ii
� ISO/CEI ISO/CEI 10746-4:1998(F)
Avant-propos
L'ISO (Organisation internationale de normalisation) et la CEI (Commission électrotechnique internationale)
forment le système spécialisé de la normalisation mondiale. Les organismes nationaux membres de l'ISO ou de la
CEI participent au développement de Normes internationales par l'intermédiaire des comités techniques créés par
l'organisation concernée afin de s'occuper des domaines particuliers de l'activité technique. Les comités
techniques de l'ISO et de la CEI collaborent dans des domaines d'intérêt commun. D'autres organisations
internationales, gouvernementales et non gouvernementales, en liaison avec l'ISO et la CEI participent également
aux travaux.
Dans le domaine des technologies de l'information, l'ISO et la CEI ont créé un comité technique mixte,
l'ISO/CEI JTC 1. Les projets de Normes internationales adoptés par le comité technique mixte sont soumis aux
organismes nationaux pour vote. Leur publication comme Normes internationales requiert l'approbation de 75 % au
moins des organismes nationaux votants.
La Norme internationale ISO/CEI 10746-4 a été élaborée par le comité technique mixte ISO/CEI JTC 1,
Technologies de l'information, sous-comité SC 33, Services d'applications distribuées, en collaboration avec
l'UIT-T. Le texte identique est publié en tant que Recommandation UIT-T X.904.
L'ISO/CEI 10746 comprend les parties suivantes, présentées sous le titre général Technologies de l'information —
Traitement réparti ouvert — Modèle de référence:
� Partie 1: Aperçu général
� Partie 2: Fondements
� Partie 3: Architecture
� Partie 4: Sémantique architecturale
iii
ISO/CEI 10746-4:1998(F) � ISO/CEI
Introduction
La présente Recommandation | Norme internationale fait partie intégrante du modèle de référence du traitement réparti
ouvert (ODP, RSHQGLVWULEXWHGSURFHVVLQJ). Elle contient une formalisation des concepts de modélisation ODP définis
dans les articles 8 et 9 de la Rec. UIT-T X.902 | ISO/CEI 10746-2. La formalisation est obtenue par l'interprétation de
chaque concept en fonction des constructions des différentes techniques de description formelle normalisées.
La présente Recommandation | Norme internationale est accompagnée d'un amendement et d'un rapport technique.
L'amendement s'intéresse à la formalisation du langage du point de vue informatique contenu dans la Rec. UIT-T X.903 |
ISO/CEI 10746-3. Le rapport technique associé présente des exemples sur la manière possible d'appliquer des
formalismes du modèle de référence ODP au développement de spécifications.
iv
,62&(,)
1250(,17(51$7,21$/(
ISO/CEI 10746-4 : 1998 (F)
Rec. UIT-T X.904 (1997 F)
5(&200$1'$7,218,77
7(&+12/2*,(6'(/
,1)250$7,21±75$,7(0(175e3$57,289(57±
02'Ê/('(5e)e5(1&(6e0$17,48($5&+,7(&785$/(
 'RPDLQHG
DSSOLFDWLRQ
La croissance rapide des applications réparties a fait naître le besoin d'un cadre pour coordonner la normalisation du
traitement réparti ouvert (ODP, RSHQGLVWULEXWHGSURFHVVLQJ). Le modèle de référence du traitement réparti ouvert fournit
ce cadre. Il établit une architecture qui permet d'intégrer la répartition, l'interfonctionnement, l'interopérabilité et la
portabilité.
Le modèle de référence de base du traitement réparti ouvert (RM-ODP, UHIHUHQFHPRGHORIRSHQGLVWULEXWHGSURFHVVLQJ)
(voir les Rec. UIT-T X.901 à X.904 | ISO/CEI 10746) repose sur des concepts précis issus des développements récents
dans le domaine du traitement réparti et s'appuie, dans la mesure du possible, sur l'utilisation des techniques de
description formelle pour la spécification de l'architecture.
Le modèle RM-ODP se compose:
– de la Rec. UIT-T X.901 | ISO/CEI 10746-1: 9XHG
HQVHPEOH elle contient un aperçu général du modèle
RM-ODP, en précise les motivations, le champ d'application et la justification, et propose une explication
des concepts clés, ainsi qu'une présentation de l'architecture des systèmes ODP. Ce texte n'est pas
normatif;
– de la Rec. UIT-T X.902 | ISO/CEI 10746-2: )RQGHPHQWV elle contient la définition des concepts ainsi
que le cadre analytique et la notation à utiliser pour la description normalisée de systèmes de traitement
réparti (arbitraires). Elle s'en tient à un niveau de détail suffisant pour étayer la Rec. UIT-T X.903 |
ISO/CEI 10746-3 et pour établir les prescriptions applicables à de nouvelles techniques de spécification.
Ce texte est normatif;
– de la Rec. UIT-T X.903 | ISO/CEI 10746-3: $UFKLWHFWXUH elle contient la spécification des
caractéristiques requises pour qu'un système de traitement réparti puisse être qualifié d'ouvert. Il s'agit des
contraintes que les normes ODP doivent respecter. Ce texte, qui utilise les techniques descriptives de la
Rec. UIT-T X.902 | ISO/CEI 10746-2. Ce texte est normatif;
– de la Rec. UIT-T X.904 | ISO/CEI 10746-4: 6pPDQWLTXHDUFKLWHFWXUDOH elle contient une formalisation
des concepts de modélisation ODP définis dans les articles 8 et 9 de la Rec. UIT-T X.902 |
ISO/CEI 10746-2 et une formalisation des langages de point de vue définis dans la Rec. UIT-T X.903 |
ISO/CEI 10746-3. La formalisation est obtenue par l'interprétation de chaque concept en fonction des
constructions des différentes techniques de description formelle normalisées. Ce texte est normatif.
La présente Recommandation | Norme internationale a pour objet de fournir une sémantique architecturale pour les
systèmes ODP, ce qui se traduit par une interprétation des concepts de modélisation de base et de spécification définis
dans la Rec. UIT-T X.902 | ISO/CEI 10746-2 et des langages de point de vue définis dans la Rec. UIT-T X.903 |
ISO/CEI 10746-3; elle utilise les diverses caractéristiques de différents langages de spécification formelle. Une
sémantique architecturale est élaborée pour quatre différents langages de spécification formelle: LOTOS, ESTELLE,
SDL et Z, ce qui conduit à une formalisation de l'architecture des systèmes ODP. Un processus d'élaboration itérative et
de retour a permis d'améliorer la cohérence des Rec. UIT-T X.902 | ISO/CEI 10746-2 et UIT-T X.903 |
ISO/CEI 10746-3.
La mise au point d'une sémantique architecturale présente les avantages supplémentaires suivants:
– favoriser l'élaboration harmonieuse et uniforme des descriptions formelles de systèmes ODP;
– permettre une comparaison uniforme et cohérente des descriptions formelles de la même norme dans
différents langages de spécification formelle.
5HF8,77;) 1
,62&(,)
La présente Recommandation | Norme internationale contient une interprétation, non pas de tous les concepts définis
dans la Rec. UIT-T X.902 | ISO/CEI 10746-2, mais uniquement des concepts les plus fondamentaux. Pour les concepts
architecturaux de niveau supérieur, une sémantique est fournie indirectement par la définition de ces concepts en
fonction des concepts ODP fondamentaux.
Des exemples d'utilisation de certains des langages de spécification formelle dont il est question dans la présente
Spécification sont donnés dans TR 10167 (Principes directeurs pour l'application d'ESTELLE, LOTOS et SDL).
Dans les articles suivants, la numérotation des paragraphes relatifs aux concepts est conforme à la numérotation utilisée
dans la Rec. UIT-T X.902 | ISO/CEI 10746-2.
La présente Recommandation | Norme internationale, qui contient la définition d'une sémantique architecturale pour les
systèmes ODP, permet:
– de fournir une formalisation des concepts de modélisation ODP;
– de favoriser une élaboration harmonieuse et uniforme des descriptions formelles des normes applicables
aux systèmes répartis;
– de relier les concepts de modélisation ODP et les modèles sémantiques des langages de spécification
LOTOS, SDL, ESTELLE et Z;
– de constituer une base pour une comparaison uniforme et cohérente des descriptions formelles de la même
norme dans les langages de spécification utilisés pour élaborer une sémantique architecturale.
Ce texte est normatif.
 5pIpUHQFHVQRUPDWLYHV
Les Recommandations et les Normes internationales suivantes contiennent des dispositions qui, par suite de la référence
qui y est faite, constituent des dispositions valables pour la présente Recommandation | Norme internationale. Au
moment de la publication, les éditions indiquées étaient en vigueur. Toutes Recommandations et Normes sont sujettes à
révision et les parties prenantes aux accords fondés sur la présente Recommandation | Norme internationale sont invitées
à rechercher la possibilité d'appliquer les éditions les plus récentes des Recommandations et Normes Internationales
indiquées ci-après. Les membres de la CEI et de l'ISO possèdent le registre des Normes Internationales en vigueur. Le
Bureau de la normalisation des télécommunications de l'UIT tient à jour une liste des Recommandations de l'UIT-T en
vigueur.
– ISO/CEI 8807:1989, 6\VWqPHVGHWUDLWHPHQWGHO
LQIRUPDWLRQ±,QWHUFRQQH[LRQGHV\VWqPHVRXYHUWV±
/2726±7HFKQLTXHGHGHVFULSWLRQIRUPHOOHEDVpHVXUO
RUJDQLVDWLRQWHPSRUHOOHGHFRPSRUWHPHQW
REVHUYDWLRQQHO
– Recommandation UIT-T Z.100 (1993), /DQJDJHGHGHVFULSWLRQHWGHVSpFLILFDWLRQGX&&,77
– ISO/CEI TR 10167:1991, 7HFKQRORJLHV GH O
LQIRUPDWLRQ ± ,QWHUFRQQH[LRQ GH V\VWqPHV RXYHUWV ±
3ULQFLSHVGLUHFWHXUVSRXUO
DSSOLFDWLRQG
(VWHOOH/2726HW6'/
1)
– ISO/CEI 13568 ,,QIRUPDWLRQWHFKQRORJ\±3URJUDPPLQJ/DQJXDJHVWKHLU(QYLURQPHQWVDQG6\VWHP
6RIWZDUH,QWHUIDFHV=6SHFLILFDWLRQODQJXDJH
– The Z Notation, $5HIHUHQFH0DQXDO-06SLYH\,QWHUQDWLRQDO6HULHVLQ&RPSXWHU6FLHQFH6HFRQG
(GLWLRQ3UHQWLFH+DOO,QWHUQDWLRQDO, 1992.
– ISO/CEI 9074:1997, 7HFKQRORJLHVGHO
LQIRUPDWLRQ±,QWHUFRQQH[LRQGHV\VWqPHVRXYHUWV26,±(VWHOOH
7HFKQLTXHGHGHVFULSWLRQIRUPHOOHEDVpHVXUXQPRGqOHGHWUDQVLWLRQG
pWDWpWHQGX
_______________
1)
Actuellement à l'état de projet.
2 5HF8,77;)
,62&(,)
 'pILQLWLRQV
 7HUPHVGpILQLVGDQVO
,62&(,
La présente Recommandation | Norme internationale utilise les termes ci-après dont les équivalents anglais sont définis
dans l'ISO/CEI 8807:
DFWLYDWLRQDFWXDOLVDWLRQGHSDUDPqWUHVFKRL[FRPSRVLWLRQSDUDOOqOHFRQIRUPLWpGpILQLWLRQGHSURFHVVXVGpILQLWLRQGH
W\SH GpILQLWLRQ GH W\SH SDUDPpWUp GpQRWDWLRQ G
DFWLRQ GpVDFWLYDWLRQ HQULFKLVVHPHQW HQWUHODFHPHQW pTXDWLRQ
pYpQHPHQWpYpQHPHQWLQWHUQHREVHUYDEOHH[SUHVVLRQGHFRPSRUWHPHQWH[WHQVLRQJDUGHLQVWDQFLDWLRQOLVWH GH
SDUDPqWUHVIRUPHOVOLVWHGHSDUDPqWUHVGHYDOHXUVOLVWHGHSRUWHVIRUPHOOHVSUpGLFDWGHVpOHFWLRQRFFXOWDWLRQGHSRUWH
RSpUDWLRQSRUWHUpGXFWLRQVRUWHV\QFKURQLVDWLRQ
 7HUPHVGpILQLVGDQVOD5HFRPPDQGDWLRQ8,77=
La présente Recommandation | Norme internationale utilise les termes ci-après définis dans la Rec. UIT-T Z.100:
DFWLIDFWLRQVWDWHPHQWDUUrWFDOOFDQDOFODXVHDWOHDVWFRQGLWLRQGHYDOLGDWLRQFRQWHQWSDUDPHWHUFUpHUHQWUpHpWDW
VXLYDQWH[SRUWILQDOL]HGLPSRUWLQLWLDOLVDWLRQPDLQWHQDQWQRZSURFpGXUHSURFpGXUHGLVWDQWHSURFpGXUHH[SRUWpH
SRUWHSURYLGHGUpLQLWLDOLVDWLRQUHWDUGUHWRXUURXWHGHVLJQDX[DFKHPLQHPHQWGHVLJQDOVLJQDOVLJQDOFRQWLQX
VRUWLHWkFKHWHPSRULVDWHXUWHPSVWUDQVLWLRQW\SHGHEORFW\SHGHSURFHVVXVW\SHGHVHUYLFHW\SHGHV\VWqPHW\SH
UHGpILQLW\SHYLUWXHOYDULDEOHH[SRUWpHYDULDEOHLPSRUWpHYDULDEOHUpYpOpHYDULDEOHYLVXDOLVpHYLVXDOLVDWLRQ
 7HUPHVGpILQLVGDQV7KH=%DVH6WDQGDUG
La présente Recommandation | Norme internationale utilise les termes ci-après dont les équivalents anglais sont définis
dans "The Z base standard":
DIILQHPHQWGHGRQQpHVDIILQHPHQWG
RSpUDWLRQFDOFXOGHVFKpPDFRPSRVLWLRQGHVFKpPDFRQMRQFWLRQGHVFULSWLRQ
D[LRPDWLTXHLQYDULDQWSRVWFRQGLWLRQSUpFRQGLWLRQUHPSODFHPHQWVFKpPDRSpUDWLRQpWDWHQFDGUHPHQW.
 7HUPHVGpILQLVGDQVO
,62&(,
La présente Recommandation | No
...